Construction of Primitives for a Multiprocess Environment.
STANFORD UNIV CALIF DIGITAL SYSTEMS LAB
Pagination or Media Count:
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 mechanisms 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 Dijkstras P-V semaphore operations serves as a case study in exercising the primitive former to properly control interprocess concurrency.
- Computer Programming and Software
- Computer Hardware