Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis

Autor:	Rudolf Eigenmann, Ayon Basumallik
Rok vydání:	2008
Předmět:	Data flow diagram Correctness Programming language Dataflow Sequential consistency Computer science Basic block Graph (abstract data type) Control flow graph Consistency model Parallel computing computer.software_genre computer
Zdroj:	OpenMP in a New Era of Parallelism ISBN: 9783540795605 IWOMP
DOI:	10.1007/978-3-540-79561-2_7
Popis:	Current OpenMP compilers are often limited in their analysisand optimization of OpenMP programs by the challenge of incorporatingOpenMP memory consistency semantics into conventional dataflow algorithms. An important reason for this is that data flow analysiswithin current compilers traverse the program's control-flow graph(CFG) and the CFG does not accurately model the memory consistencyspecifications of OpenMP. In this paper, we present techniquesto incorporate memory consistency semantics into conventional dataflowanalysis by transforming the program's CFG into an OpenMP Producer-Consumer Flow Graph (PCFG), where a path exists from writes to readsof shared data if and only if a dependence is implied by the OpenMPmemory consistency model. We present algorithms for these transformations,prove the correctness of these algorithms and discuss a case wherethis transformation is used.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::803efc7f22e4f8e288009ab77dbf59bb https://doi.org/10.1007/978-3-540-79561-2_7 Zobrazit plný text záznamu