CaltechAUTHORS
  A Caltech Library Service

Distributed Mutual Exclusion on a Ring of Processes

Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83

[img]
Preview
Other (Adobe PDF (842KB))
See Usage Policy.

823Kb
[img]
Preview
Postscript
See Usage Policy.

942Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83

Abstract

A set of processes called "masters" are sharing a critical section on a mutual exclusion basis. The servers communicate with each other in a ring. Three solutions for solving the mutual exclusion problem are presented. They all rely on the presence of a unique privilege in the ring. The notation used extends CSP input and output commands with a Boolean primitive, the "probe", which makes it possible to determine whether a communication action is pending on a channel. A master communicates only with its private "server". In the correctness proofs, the concept of "trace" is introduced, i.e. a total ordering of actions corresponding to a possible interleaving of the atomic actions of a concurrent computation. [Note: report includes the date April 83/October 83 but published in 1984]


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1984.5080-tr-83
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26992
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:07 Aug 2002
Last Modified:26 Dec 2012 14:11

Repository Staff Only: item control page