Skip to Main content Skip to Navigation
Conference papers

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers

Antoniu Pop 1 Albert Cohen 2 
2 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : This paper presents a technique for representing the high level semantics of parallel programming languages in the intermediate representation of optimizing compilers. The semantics of these languages does not fit well in the intermediate representation of classical optimizing compilers, designed for single-threaded applications, and is usually lowered to threaded code with opaque concurrency bindings through source-to-source compilation or a front-end compiler pass. The semantical properties of the high-level parallel language are obfuscated at a very early stage of the compilation flow. This is detrimental to the effectiveness of downstream optimizations. We define the properties we introduce in this representation and prove that they are preserved by existing optimization passes. We characterize the optimizations that are enabled or interfere with this representation and evaluate the impact of the serial optimizations enabled by this technique for concurrent programs, using a prototype implemented in a branch of GCC 4.6. While we focus on the OpenMP language as a running example, we also analyze how our semantical abstraction can serve the unification of the analyses and optimizations for a variety of parallel programming languages.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Albert Cohen Connect in order to contact the contributor
Submitted on : Tuesday, January 4, 2011 - 12:48:00 AM
Last modification on : Monday, June 27, 2022 - 3:02:27 AM
Long-term archiving on: : Monday, November 5, 2012 - 3:16:29 PM


Files produced by the author(s)


  • HAL Id : inria-00551518, version 1


Antoniu Pop, Albert Cohen. Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers. Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10), Jul 2010, Vienna, Austria. ⟨inria-00551518⟩



Record views


Files downloads