Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-41202-8_16
Title: Verification of static and dynamic barrier synchronization using bounded permissions
Authors: Le, D.-K.
Chin, W.-N. 
Teo, Y.-M.
Keywords: Barrier
Concurrency
Logic
Permissions
Verification
Issue Date: 2013
Source: Le, D.-K.,Chin, W.-N.,Teo, Y.-M. (2013). Verification of static and dynamic barrier synchronization using bounded permissions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS : 231-248. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-41202-8_16
Abstract: Mainstream languages such as C/C++ (with Pthreads), Java, and .NET provide programmers with both static and dynamic barriers for synchronizing concurrent threads in fork/join programs. However, such barrier synchronization in fork/join programs is hard to verify since programmers must not only keep track of the dynamic number of participating threads, but also ensure that all participants proceed in correctly synchronized phases. As barriers are commonly used in practice, verifying correct synchronization of barriers can provide compilers and analysers with important phasing information for improving the precision of their analyses and optimizations. In this paper, we propose an approach for statically verifying correct synchronization of static and dynamic barriers in fork/join programs. We introduce the notions of bounded permissions and phase numbers for keeping track of the number of participating threads and barrier phases respectively. The approach has been proven sound, and a prototype of it (named VeriBSync) has been implemented for verifying barrier synchronization of realistic programs in the SPLASH-2 benchmark suite. © 2013 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/78422
ISBN: 9783642412011
ISSN: 03029743
DOI: 10.1007/978-3-642-41202-8_16
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

4
checked on Feb 20, 2018

Page view(s)

38
checked on Feb 23, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.