Advertisement

Wait-free test-and-set

Extended abstract
  • Yehuda Afek
  • Eli Gafni
  • John Tromp
  • Paul M. B. Vitanyi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 647)

Abstract

This paper presents an economical, randomized, wait-free construction of an n-process test-and-set bit from read write registers. The test-and-set shared object has two atomic operations, test&set, which atomically reads the bit and sets its value to 1, and the reset operation that resets the bit to 0.

We identify two new complexity measures by which to evaluate waitfree algorithms: (a) The amount of randomness used, and (b) ‘Parallel-Time’-the maximum sequential depth of an execution (i.e. longest chain of operations that must precede each other).

The previously best known algorithm for n-process test-and-set [Her91] takes an expected Ω(n2) parallel time, and Ω(n4) sequential time per operation, and Ω(n2log n) space per processor. In contrast, our direct implementation improves this on all counts by using O(log n) coin flips, O(log n) parallel time, O(n) sequential time, per operation, and O(n) space per processor. Thus the question on the difference in the expected complexity of randomized constructions of concurrent objects from read/write registers is raised.

Keywords

Mutual Exclusion Consensus Problem Round Number Parallel Time Concurrent Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abr88]
    K. Abrahamson. On achieving consensus using a shared memory. In Proc. of the 7th ACM Symp. on Principles of Distributed Computing, pages 291–302, 1988.Google Scholar
  2. [ADS89]
    Hagit Attiya, Danny Dolev, and Nir Shavit. Bounded polynomial randomized consensus. Extended Abstract, January 1989.Google Scholar
  3. [AH90]
    J. Aspnes and M. Herlihy. Fast randomized consensus using shared memory. Journal of Algorithms, pages 281–294, September 1990.Google Scholar
  4. [Asp90]
    J. Aspnes. Time and space efficient randomized consensus. In Proc. of the Ninth ACM Symp. on Principles of Distributed Computing, pages 325–331, August 1990.Google Scholar
  5. [BR91]
    G. Bracha and O. Rachman. Randomized consensus in expected o(n2logn) operations. In Proceedings of the 4th International Workshop on Distributed Algorithms, October 1991.Google Scholar
  6. [Her88]
    M. P. Herlihy. Impossibility and universality results for wait-free synchronization. In Proc. of the Seventh ACM Symp. on Principles of Distributed Computing, pages 291–302, 1988.Google Scholar
  7. [Her91]
    M. P. Herlihy. Randomized wait-free concurrent objects. In Proc. of the Tenth ACM Symp. on Principles of Distributed Computing, pages 11–22, 1991.Google Scholar
  8. [IL87]
    A. Israeli and M. Li. Bounded time stamps. In Proc. of the 28th IEEE Annual Symp. on Foundation of Computer Science, pages 362–371, October 1987.Google Scholar
  9. [LAA87]
    M. C. Loui and H. H. Abu-Amara. Memory requirements for agreement among unreliable asynchronous processes. Advances in Computing Research, JAI Press, 4:163–183, 1987.Google Scholar
  10. [Lam86]
    L. Lamport. On interprocess communication, parts i and ii. Distributed Computing, 1:77–101, 1986.CrossRefGoogle Scholar
  11. [LTV89]
    M. Li, J. Tromp, and P. M. B. Vitányi. How to construct concurrent wait-free variables. Technical Report CS-8916, CWI, Amsterdam, April 1989. See also: pp. 488–505 in: Proc. International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science, Vol. 372, Springer Verlag, 1989.Google Scholar
  12. [PF77]
    G. L. Peterson and M. J. Fischer. Economical solutions for the critical section problem in a distributed system. In Proc. 9th ACM Symp. on Theory of Computing, pages 91–97, 1977.Google Scholar
  13. [Plo88]
    S. A. Plotkin. Chapter 4: Sticky Bits and Universality of Consensus. PhD thesis, M.I.T., August 1988.Google Scholar
  14. [SSW90]
    M. Saks, N. Shavit, and H. Woll. Optimal time randomized consensusmaking resilient algorithms fast in practice. In Proc. of SODA 90, December 1990.Google Scholar
  15. [TV90]
    J. Tromp and P. M. B. Vitányi. Randomized wait-free test-and-set. Manuscript, November 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Yehuda Afek
    • 1
    • 2
    • 3
    • 4
  • Eli Gafni
    • 2
  • John Tromp
    • 3
  • Paul M. B. Vitanyi
    • 3
    • 5
  1. 1.Computer Science DepartmentTel-Aviv UniversityRamat-AvivIsrael
  2. 2.Department of Computer ScienceUniversity of CaliforniaLos Angeles
  3. 3.Centrum voor Wiskunde en InformaticaSJ AmsterdamThe Netherlands
  4. 4.AT&T Bell LaboratoriesMurray Hill
  5. 5.Faculteit Wiskunde en InformaticaUniversiteit van AmsterdamThe Netherlands

Personalised recommendations