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:   Print book : EnglishView all editions and formats
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 pages
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


Primary Entity

<http://www.worldcat.org/oclc/227540755> # On Synchronization Primitive Systems.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "227540755" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16900298#Place/ft_belvoir> ; # Ft. Belvoir
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/theses> ; # Theses
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/theoretical_mathematics> ; # Theoretical Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/combinatorial_analysis> ; # Combinatorial analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/semantics> ; # Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/theorems> ; # Theorems)
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/programming_languages> ; # Programming languages
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/set_theory> ; # Set theory
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Thing/semaphores> ; # SEMAPHORES
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/mathematical_logic> ; # (Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Topic/scheduling> ; # Scheduling
   schema:about <http://experiment.worldcat.org/entity/work/data/16900298#Thing/synchronism> ; # SYNCHRONISM
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/16900298#Person/lipton_richard_j> ; # Richard J. Lipton
   schema:contributor <http://experiment.worldcat.org/entity/work/data/16900298#Organization/maryland_univ_college_park_computer_science_center> ; # MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER.
   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/16900298> ;
   schema:inLanguage "en" ;
   schema:name "On Synchronization Primitive Systems."@en ;
   schema:productID "227540755" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227540755#PublicationEvent/ft_belvoirdefense_technical_information_centerjun_1973> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/16900298#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227540755> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/16900298#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Organization/maryland_univ_college_park_computer_science_center> # MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER.
    a schema:Organization ;
   schema:name "MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER." ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Person/lipton_richard_j> # Richard J. Lipton
    a schema:Person ;
   schema:familyName "Lipton" ;
   schema:givenName "Richard J." ;
   schema:name "Richard J. Lipton" ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Topic/combinatorial_analysis> # Combinatorial analysis
    a schema:Intangible ;
   schema:name "Combinatorial analysis"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Topic/mathematical_logic> # (Mathematical logic
    a schema:Intangible ;
   schema:name "(Mathematical logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Topic/programming_languages> # Programming languages
    a schema:Intangible ;
   schema:name "Programming languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16900298#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
   schema:name "Theoretical Mathematics"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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