skip to main content
research-article

A Quarter-Century of Wait-Free Synchronization

Published: 04 June 2015 Publication History
First page of PDF

References

[1]
Marcos K. Aguilera, Sven Frolund, Vassos Hadzilacos, Stephanie Horn, and Sam Toueg. Abortable and query-abortable objects and their efficient implementation. In PODC '07: Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing, pages 23--32, 2007.
[2]
Hagit Attiya, Rachid Guerraoui, and Petr Kouznetsov. Computing with reads and writes in the absence of step contention. In DISC '05: Proceedings of the 19th International Symposium on Distributed Computing, pages 122--136, 2005.
[3]
Edgar W. Dijkstra. Solution of a problem in concurrent programming control. Commununications of the ACM, 8(9):569, 1965.
[4]
Faith Fich, Maurice Herlihy, and Nir Shavit. On the space complexity of randomized synchronization. Journal of the ACM, 45(5):843--862, 1998.
[5]
Michael Fischer, Nancy Lynch, and Michael Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374--382, 1985.
[6]
Rachid Guerraoui and Eric Ruppert. Linearizability is not always a safety property. In Networked Systems - Second International Conference, NETYS 2014, pages 57--69, 2014.
[7]
Vassos Hadzilacos and Sam Toueg. On deterministic abortable objects. In PODC '13: Proceedings of the 32nd ACM Symposium on Principles of Distributed Computing, pages 4--12, 2013.
[8]
Maurice Herlihy. Impossibility and universality results for wait-free synchronization. In PODC '88: Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing, pages 276--290, 1988.
[9]
Maurice Herlihy. Impossibility results for asynchronous PRAM. In SPAA '91: Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, pages 327--336, 1991.
[10]
Maurice Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124--149, 1991.
[11]
Maurice Herlihy, Victor Luchangco, and Mark Moir. Obstruction-free synchronization: Double-ended queues as an example. In ICDCS '03: Proceedings of the 23rd International Conference on Distributed Computing Systems, pages 522--529, Washington, DC, USA, 2003. IEEE Computer Society.
[12]
Maurice Herlihy and Jeannette Wing. Axioms for concurrent objects. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 13--26, New York, NY, USA, 1987. ACM Press.
[13]
Maurice Herlihy and Jeannette Wing. Linearizability: A correctness condition for concurrent objects. Transactions on Programming Languages and Systems, 12(3):463--492, July 1990.
[14]
Prasad Jayanti. On the robustness of Herlihy's hierarchy. In PODC '93: Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing, pages 145--157, 1993.
[15]
Leslie Lamport. On concurrent reading and writing. Communications of the ACM, 20(11):806--811, November 1977.
[16]
Leslie Lamport. On interprocess communication. Part I: Basic formalism. Distributed Computing, 1(2):77--85, 1986.
[17]
Leslie Lamport. On interprocess communication. Part II: Algorithms. Distributed Computing, 1(2):86--101, 1986.
[18]
Wai-Kau Lo and Vassos Hadzilacos. All of us are smarter than any of is: wait-free hierarchies are not robust. In STOC '97: In Proceedings of the 29th Annual ACM Symposium on Theory of Computing, pages 579--588, 1997.
[19]
Gary Peterson. Concurrent reading while writing. ACM Transactions of Programming Languages and Systems, 5(1):46--55, 1983.
[20]
Ophir Rachman. Anomalies in the wait-free hierarchy. In WDAG '94: Proceedings of the 8th International Workshop on Distributed Algorithms, pages 156--163, 1994.
[21]
Eric Schenk. The consensus hierarchy is not robust. In PODC '97: In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing, page 279, 1997.

Index Terms

  1. A Quarter-Century of Wait-Free Synchronization

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGACT News
    ACM SIGACT News  Volume 46, Issue 2
    June 2015
    103 pages
    ISSN:0163-5700
    DOI:10.1145/2789149
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 04 June 2015
    Published in SIGACT Volume 46, Issue 2

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 175
      Total Downloads
    • Downloads (Last 12 months)40
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media