Barrier Inference

Barrier Inference (1998)

by David Gay

Citations:

53 - 6 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Barrier Inference	user correction - Legacy Corrections
AUTHOR NAME	David Gay	SVM HeaderParse 0.1
AUTHOR AFFIL	Research Project; Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley,	SVM HeaderParse 0.2
ABSTRACT	Many parallel programs are written in SPMD style, i.e. by running the same sequential program on all processes. SPMD programs include synchronization, but it is easy to write incorrect synchronization patterns. We propose a system that verifies a program's synchronization pattern. We also propose language features to make the synchronization pattern more explicit and easily checked. We have implemented a prototype of our system for Split-C and successfully verified the synchronization structure of realistic programs. 1 Introduction Explicitly-parallel programming---where the programmer specifies the parallelism in a computation---is arguably the most widely used parallel programming paradigm. Despite many years of practical experience, there has been little work on the static semantics of explicitly-parallel programming languages. We propose a static semantics for global synchronization that guarantees an explicitly parallel program has no global synchronization errors. Our proposal i...	user correction - Legacy Corrections
YEAR	1998	user correction - Legacy Corrections
CITATIONS	10 found	ParsCit 1.0