CaltechAUTHORS
  A Caltech Library Service

Design of Synchronization Algorithms

Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Design of Synchronization Algorithms. In: Constructive Methods in Computing Science. NATO ASI Series. Series F. No.55. Springer Berlin Heidelberg , Berlin, Heidelberg, pp. 447-478. ISBN 9783642748868. https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613

Abstract

In these notes we discuss the design of concurrent programs that consist of a set of communicating sequential processes. The processes communicate via shared variables and synchronize via semaphores. We present an axiomatic definition of semaphores, and prove properties about them. The split binary semaphore is introduced and it is shown how it can be used in constructing the synchronization part of concurrent processes in order to maintain a given synchronization condition.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1007/978-3-642-74884-4_13DOIArticle
https://rdcu.be/b8fV0PublisherFree ReadCube access
Additional Information:© Springer-Verlag Berlin Heidelberg 1989. These notes are a compilation of the chapters on semaphores from a draft text on concurrent computations. The draft was written mainly while the second author was visiting at the California Institute of Technology. The research described was partly sponsored by the Defense Advanced Research Projects Agency, DARPA Order numbers 3771 & 6202, and monitored by the Office of Naval Research under contract numbers N00014-79-C-0597 & N000l4-87-K-0745.
Funders:
Funding AgencyGrant Number
Defense Advanced Research Projects Agency (DARPA)3771
Defense Advanced Research Projects Agency (DARPA)6202
Office of Naval Research (ONR)N00014-79-C-0597
Office of Naval Research (ONR)N000l4-87-K-0745
Subject Keywords:Shared Variable; Critical Section; Mutual Exclusion; Atomic Action; Concurrent Process
Series Name:NATO ASI Series. Series F
Issue or Number:55
Record Number:CaltechAUTHORS:20201008-131242613
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:105938
Collection:CaltechAUTHORS
Deposited By: George Porter
Deposited On:08 Oct 2020 22:38
Last Modified:08 Oct 2020 22:38

Repository Staff Only: item control page