Distributed Computing

, Volume 12, Issue 4, pp 197–207 | Cite as

Progress under bounded fairness

  • Wim H. Hesselink
Original articles

Summary.

Progress is investigated for a shared-memory distributed system with a weak form of fault tolerance that allows processes to stop and restart functioning without notification. The concept of bounded fairness is introduced to formalize bounded delay under the assumption that each family of related processes continuously contains at least one active member. This is a generalization of wait-freedom, and also of a finitary form of weak fairness. Several useful proof rules are stated and proved. In a system with bounded fairness, a wait-free process can be constructed by forming a new process in which processes from the various families are scheduled in a round robin way. The theory is applied to prove progress within bounded delay for a linearizing concurrent data-object in shared memory. The safety properties of this algorithm have been treated elsewhere.

Key words:Bounded fairness – Concurrent data object – Fault tolerance – Memory management – Client server architecture 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Wim H. Hesselink
    • 1
  1. 1.Department of Mathematics and Computing Science, University of Groningen, PO Box 800, NL-9700 AV Groningen, The Netherlands (e-mail: wim@cs.rug.nl; http://www.cs.rug.nl/˜wim) NL

Personalised recommendations