TY - GEN
T1 - Evaluating the impact of thread escape analysis on a memory consistency model-aware compiler
AU - Wong, Chi Leung
AU - Sura, Zehra
AU - Fang, Xing
AU - Lee, Kyungwoo
AU - Midkiff, Samuel P.
AU - Lee, Jaejin
AU - Padua, David
N1 - Copyright:
Copyright 2015 Elsevier B.V., All rights reserved.
PY - 2006
Y1 - 2006
N2 - The widespread popularity of languages allowing explicitly parallel, multi-threaded programming, e.g. Java and C#, have focused attention on the issue of memory model design. The Pensieve Project is building a compiler that will enable both language designers to prototype different memory models, and optimizing compilers to adapt to different memory models. Among the key analyses required to implement this system are thread escape analysis, i.e. detecting when a referenced object is accessible by more than one thread, delay set analysis, and synchronization analysis. In this paper, we evaluate the impact of different escape analysis algorithms on the effectiveness of the Pensieve system when both delay set analysis and synchronization analysis are used. Since both analyses make use of results of escape analyses, their precison and cost is dependent on the precision of the escape analysis algorithm. It is the goal of this paper to provide a quantitative evalution of this impact.
AB - The widespread popularity of languages allowing explicitly parallel, multi-threaded programming, e.g. Java and C#, have focused attention on the issue of memory model design. The Pensieve Project is building a compiler that will enable both language designers to prototype different memory models, and optimizing compilers to adapt to different memory models. Among the key analyses required to implement this system are thread escape analysis, i.e. detecting when a referenced object is accessible by more than one thread, delay set analysis, and synchronization analysis. In this paper, we evaluate the impact of different escape analysis algorithms on the effectiveness of the Pensieve system when both delay set analysis and synchronization analysis are used. Since both analyses make use of results of escape analyses, their precison and cost is dependent on the precision of the escape analysis algorithm. It is the goal of this paper to provide a quantitative evalution of this impact.
UR - http://www.scopus.com/inward/record.url?scp=43949107903&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=43949107903&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69330-7_12
DO - 10.1007/978-3-540-69330-7_12
M3 - Conference contribution
AN - SCOPUS:43949107903
SN - 3540693297
SN - 9783540693291
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 170
EP - 184
BT - Languages and Compilers for Parallel Computing - 18th International Workshop, LCPC 2005, Revised Selected Papers
PB - Springer
T2 - 18th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2005
Y2 - 20 October 2005 through 22 October 2005
ER -