Mutual Inclusion and Synchronous Communication
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.
KeywordsPhase Synchronization Local Correctness Boolean Variable Communicate Sequential Process Synchronous Communication
Unable to display preview. Download preview PDF.