Abortable and query-abortable objects and their efficient implementation

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2007, Pages 23-32

  Aguilera, Marcos K ^a   Frolund, Svend ^b   Hadzilacos, Vassos ^c   Horn, Stephanie L ^c   Toueg, Sam ^c  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b Gatehouse A/S   (Denmark)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

Abortable types; Memory contention; Non triviality; Obstruction freedom; Shared memory; Universal constructions

Indexed keywords

BUFFER STORAGE; PROBLEM SOLVING;

ABORTABLE TYPES; ASYNCHRONOUS SHARED-MEMORY SYSTEMS; MEMORY CONTENTION; OBSTRUCTION-FREEDOM; QUERY-ABORTABLE OBJECTS; SHARED MEMORY; UNIVERSAL CONSTRUCTIONS;

QUERY PROCESSING;

EID: 36849022610     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1281100.1281107     Document Type: Conference Paper

References (6)

1. Hagit Attiya, Rachid Guerraoui, and Petr Kouznetsov. Computing with reads and writes in the absence of step contention. In DISC 05: 19th International Symposium on Distributed Computing, volume 3724 of Lecture Notes in Computer Science, pages 122-136. Springer, 2005.
2. Maurice Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(1): 124-149, 1991.
3. 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, page 522-529, Washington, DC, USA, 2003. IEEE Computer Society.
4. 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.
5. Prasad Jayanti. Adaptive and efficient abortable mutual exclusion. In PODC '03: Proceedings of the 22nd Annual Symposium on Principles of Distributed Computing, pages 295-304, New York, NY, USA, 2003. ACM Press.
6. Leslie Lamport. On interprocess communication. Part II: Algorithms. Distributed Computing, 1(2):86-101, 1986.