A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Barriers, a common synchronization primitive in SPMDstyle programs, are used to partition a program into a sequence of parallel phases. Popular parallel programming models, such as MPI and OpenMP, allow barriers to be textually unaligned. Textually unaligned barriers make it difficult for the programmer to understand the synchronization phases in the program, and they can easily lead to synchronization errors. In this paper, we present an interprocedural analysis for matching barriers in adoi:10.1145/1229428.1229472 dblp:conf/ppopp/ZhangD07 fatcat:bbfpuchmbfad7c56cilnev5x3e