UC BERKELEY
EECS technical reports
TECHNICAL REPORTS


CSD-97-965.pdf
CSD-97-965.ps
Oskicat catalog record
Conditions of Use

Archive Home Page

Barrier Inference

Authors:
Gay, David
Technical Report Identifier: CSD-97-965
July 1997
CSD-97-965.pdf
CSD-97-965.ps

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.