automatically exploiting cross-invocation parallelism using runtime ...

Chapter 2BackgroundImprecise and fragile static analyses limit the effectiveness of existing cross-invocationparallelization techniques. Addressing this vulnerability is the focus of this thesis. In thissection we explain the state of the art in automatic parallelization techniques. In Section2.1 we first identify the limitations of conventional analysis-based approaches to automaticparallelization. In Section 2.2 we provide a detailed discussion of current intra-invocationparallelization techniques, explaining how some of them compensate for the conservativenature of their analyses. Finally, in Section 2.3 we present existing cross-invocation parallelizationtechniques; in particular, how all of them rely on static analysis, which motivatesthe work of DOMORE and SPECCROSS.2.1 Limitations of Analysis-based Approaches in AutomaticParallelizationAutomatic parallelization is an ideal solution which frees programmers from the difficultiesof parallel programming and platform-specific performance tuning. Parallelizing compilerscan automatically parallelize affine loops [2, 7]. Loop A in Figure 2.1 shows an exampleloop. If a compiler proves that all memory variables in the body of the function foo do not11