Intel Corporation

Siemens Aktiengesellschaft

Zhao Hui Du

Guei-Yuan Lueh

Gansha Wu

Shih-wei Liao

Tin-Fook Ngai

Chu-Cheow Lim

Bu Qi Cheng

Yi Rong Yang

Yan Ling Lin

Systems and methods perform affine partitioning on a code stream to produce code segments that may be parallelized. The code segments include copies of the original code stream with conditional inserted that aid in parallelizing code. The conditional is formed by determining the constraints on a processor variable determined by the affine partitioning and applying the constraints to the original code stream.

Systems and methods for affine-partitioning programs onto multiple processing units

Code is affine partitioned to generate affine partitioning mappings. Parallel code is generated based on the affine partitioning mappings. Generating the parallel code includes coalescing loops in the parallel code generated from the affine partitioning mappings to generate coalesced parallel code and optimizing the coalesced parallel code.

Generating efficient parallel code using partitioning, coalescing, and degenerative loop and guard removal

Linear transformations of statements in code are performed to generate linear expressions associated with the statements. Parallel code is generated using the linear expressions. Generating the parallel code includes splitting the computation-space of the statements into intervals and generating parallel code for the intervals.

Splitting the computation space to optimize parallel code

A method to optimize speculative parallel thread execution comprises selecting a plurality of partition candidate pairs for speculative parallel thread execution, transforming each partition candidate pair of the plurality of partition candidate pairs to improve the expected performance gain of each pair, and selecting a set of one or more transformed partition candidate pairs that do not interfere with each other and produce a maximum expected performance gain.

Mechanism to optimize speculative parallel threading

A Markov chain model of a software system may be used to compute all-pairs reaching probabilities to provide guidance in performing speculative operations with respect to the software system.

Growing community of inventors

Shanghai, China

Zhao Hui Du