A shared memory algorithm and proof for the alternative construct in CSP

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Fujimoto, Richard M.
Other Author Feng, Hwa-chung
Title A shared memory algorithm and proof for the alternative construct in CSP
Date 1987
Description Communicating Sequential Processes (CSP) is a paradigm for communication and synchronization among distributed processes. The alternative construct is a key feature of CSP that allows nondeterministic selection of one among several possible communicants. Previous algorithms for this construct assume a message passing architecture and are not appropriate for multiprocessor systems that feature shared memory. This paper describes a distributed algorithm for the alternative construct that exploits the capabilities of a parallel computer with shared memory. The algorithm assumes a generalized version of Hoare's original alternative construct that allows output commands to be included in guards. A correctness proof of the proposed algorithm is presented to show that the algorithm conforms to some safety and liveness criteria. Extensions to allow termination of processes and to ensure fairness in guard selection are also given. Keywords: communicating sequential processes; alternative operation; shared memory multiprocessor; parallel processing.
Type Text
Publisher University of Utah
First Page 1
Last Page 33
Subject Shared memory algorithm; Communicating Sequential Processes; CSP
Subject LCSH Distributed shared memory
Language eng
Bibliographic Citation Fujimoto, R. M., & Feng, H.-C. (1987). A shared memory algorithm and proof for the alternative construct in CSP. 1-33. UUCS-87-021.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 6,829,644 bytes
Identifier ir-main,16335
ARK ark:/87278/s6v7031c
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2015-04-24
ID 705517
Reference URL https://collections.lib.utah.edu/ark:/87278/s6v7031c
Back to Search Results