Advertisement

Mutual Inclusion and Synchronous Communication

  • W. H. J. Feijen
  • A. J. M. van Gasteren
Part of the Monographs in Computer Science book series (MCS)

Abstract

In the history of parallel computing, many synchronization primitives have been proposed, but only few have acquired a prominent position. A set of primitives that do have acquired such a position are C.A. R. Hoare’s so-called CSP-constructs [Hoa78, Hoa85]. (CSP is an acronym for “Communicating Sequential Processes”.) The constructs gracefully combine communication — i.e. information transfer — and synchronization. Below we describe them, briefly and informally.

Keywords

Phase Synchronization Local Correctness Boolean Variable Communicate Sequential Process Synchronous Communication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • W. H. J. Feijen
    • 1
  • A. J. M. van Gasteren
    • 1
  1. 1.Department of Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations