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):

Report Date:

1975-08-01

Pagination or Media Count:

24.0

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 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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE