A complete and constant time wait-free implementation of CAS from LL/SC and vice versa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1499, Issue , 1998, Pages 216-230

  Jayanti, Prasad ^a  

^a DARTMOUTH COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

CONCURRENT PROGRAM; CONSTANT TIME; SHARED MEMORY; SIMPLE MODIFICATIONS; TIME COMPLEXITY; WAIT FREE; WRITE OPERATIONS;

MEMORY ARCHITECTURE;

EID: 84947930760     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056485     Document Type: Conference Paper

References (12)

1. J. Anderson and M. Moir. Universal constructions for multi-object operations. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, pages 184-194, August 1995.
2. M.P. Herlihy. Wait-free synchronization. ACM TOPLAS, 13(1):124-149, 1991.
3. M. P. Herlihy and N. Shavit. The asynchronous computability theorem for t-resilient tasks. In Proceedings of the 25th ACM Symposium on Theory of Computing, pages 111-120, 1993.
4. M.P. Herlihy and J.M. Wing. Linearizability: A correctness condition for concurrent objects. ACM TOPLAS, 12 (3):463-492, 1990.
5. IBM. The Power PC Architecture: A specification for a new family of RISC processors. Morgan-Kaufmann, 1994.
6. A. Israeli and L. Rappoport. Disjoint-Access-Parailel implementations of strong shared-memory primitives. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pages 151-160, August 1994.
7. P. Jayanti, 1998. See http://www.cs.dartmouth.edu/-prasad.
8. E. Jensen, G. Hagensen, and J. Broughton. A new approach to exclusive data access in shared-memory multiprocessors. Technical Report Technical Report UCRL-97663, Lawrence Livermore National Laboratory, 1987.
9. G. Kane. MIPS RISC Architecture- Prentice-Hall, Englewood Cliffs, N.J., 1989.
10. L. Lamport. Concurrent reading and writing. Communications of the ACM, 20(11):806-811, 1977.
11. M. Moir. Practical implementations of non-blocking synchronization primitives. In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing, pages 219-228, August 1997.
12. R. Site. Alpha Architecture Reference Manual. Digital Equipment Corporation, 1992.