Accession Number : ADA017808
Title : Construction of Primitives for a Multiprocess Environment.
Descriptive Note : Technical note,
Corporate Author : STANFORD UNIV CALIF DIGITAL SYSTEMS LAB
Personal Author(s) : Hollander,Clifford R.
Report Date : AUG 1975
Pagination or Media Count : 24
Abstract : In a multiprocess environment, an operation is said to be primitive if it is guaranteed to execute atomically, in the sense that it is not subject to interference or interruption from other operations. The concern of this paper is not with the selection of an appropriate set of primitives, but rather with the mechanism(s) by which the atomicity they require can be realized. The methodology of the Vienna Definition Language (VDL) is exploited to obtain a formal description of such a primitive former. A conceptual implementation of Dijkstra's P-V semaphore operations serves as a case study in exercising the primitive former to properly control interprocess concurrency.
Descriptors : *Multiprocessors, *Computer programming, Semantics, Boolean algebra, Algorithms
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE