Accession Number : AD0764782
Title : On Synchronization Primitive Systems.
Descriptive Note : Doctoral thesis,
Corporate Author : MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER
Personal Author(s) : Lipton,Richard J.
Report Date : JUN 1973
Pagination or Media Count : 119
Abstract : The report studies the question: what synchronization primitive should be used to handle inter-process communication. A formal model is presented of the process concept, and then the model is used to compare four different syncrhonization primitives. It is proved that there are differences between these synchronization primitives. Although only four synchronization primitives are compared, the general methods can be used to compare other synchronization primitives. Moreover, in the definitions of these synchronization primitives, conditional branches are explicitly allowed. In addition, the model separates the notion of process from the notion of scheduler. This separation enables one to unravel the controversy between Hansen and Courtois, Heymans, Parnas and to define formally the release mechanism of the PV synchronization primitive. (Modified author abstract)
Descriptors : (*MATHEMATICAL LOGIC, THEOREMS), SET THEORY, SCHEDULING, COMBINATORIAL ANALYSIS, PROGRAMMING LANGUAGES, SEMANTICS, THESES
Subject Categories : Theoretical Mathematics
Distribution Statement : APPROVED FOR PUBLIC RELEASE