Barrier Inference

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1997
Accession Number
ADA637072

Entities

People

  • David Gay

Organizations

  • University of California, Berkeley

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Elements
  • Environment
  • Guarantees
  • Language
  • Machine Languages
  • Models
  • Object Oriented Programming
  • Programming Languages
  • Prototypes
  • Reasoning

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Joint Military Operations and Doctrine.
  • Software Engineering

Technology Areas

  • AI & ML