Construction of Primitives for a Multiprocess Environment.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1975
- Accession Number
- ADA017808
Entities
People
- Clifford R. Hollander
Organizations
- Stanford University