A Technique for the Effective and Automatic Reuse of Classical

Joisha, Pramod G. ; Schreiber, Robert S. ; Banerjee, Prithviraj ; Boehm, Hans-J. ; Chakrabarti, Dhruva R.

HP Development Company

关键词: compilers;    parallel-program optimization;    multithreading;    data-flow analysis;   

RP-ID  :  HPL-2010-81R1

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

A large body of data-flow analyses exists for analyzing and optimizing sequential code. Unfortunately, much of it cannot be directly applied on parallel code, for reasons of correctness. This paper presents a technique to automatically, aggressively, yet safely apply sequentially-sound data-flow transformations, without change, on shared-memory programs. The technique is founded on the notion of program references being "siloed" on certain control-flow paths. Intuitively, siloed references are free of interference from other threads within the confines of such paths. Data-flow transformations can, in general, be unblocked on siloed references. The solution has been implemented in a widely used compiler. Results on benchmarks from SPLASH-2 show that performance improvements of up to 41% are possible, with an average improvement of 6% across all the tested programs over all thread counts.