skip to content
On Synchronization Primitive Systems. Preview this item
ClosePreview this item
Checking...

On Synchronization Primitive Systems.

Author: Richard J Lipton; MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER.
Publisher: Ft. Belvoir Defense Technical Information Center JUN 1973.
Edition/Format:   Book : English
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Richard J Lipton; MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER.
OCLC Number: 227540755
Description: 119 p.
More information:

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

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/227540755>
library:oclcnum"227540755"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"1973"
schema:datePublished"JUN 1973"
schema:description"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)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1807637817>
schema:inLanguage"en"
schema:name"On Synchronization Primitive Systems."@en
schema:numberOfPages"119"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.