A performance evaluation of lock-free synchronization protocols

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn Part F129432, Issue , 1994, Pages 130-140

  Lamarca, Anthony ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; LOCKS (FASTENERS);

ALGORITHM'S PERFORMANCE; ANALYTICAL PERFORMANCE MODEL; COMMUNICATION BANDWIDTH; LOCK-FREE SYNCHRONIZATION; MEMORY ACCESS; OPTIMISTIC SYNCHRONIZATION; PARALLEL MACHINE; SHARED MEMORY MULTIPROCESSOR;

SYNCHRONIZATION;

EID: 27844475661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/197917.197975     Document Type: Conference Paper

References (24)

1. J. Alemany and E. W. Felten. Performance Issues in Non-blocking Synchronization on Shared-Memory Multiprocessors. In J 1th Annual ACM Symposium on Principles of Distributed Computing, August 1992.
2. R. J. Anderson and H. Woll. Wait-Free Parallel Algorithms for the Union-Find Pproblem. In 23st Annual ACM Symposium on Theory of Computing, pages 360-370, 1991.
3. T. Anderson, B. Bershad, E. Lazowska, and H. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. In Proceedings of the 13th Symposium on Operating Systems Principles, pages 95-107, October 1991.
4. T. E. Anderson. The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1):6-16, January 1990.
5. G. Barnes. A method for implementing lock-free data structures. In Proceedings of the 5th ACM Symposium on Parallel Algorithms & Architecture, June 1993.
6. B. Bershad. Practical Considerations for Non-Blocking Concurrent Objects. In Proceedings of the 13th International Conference on Distributed Computing Systems, pages 264-274, May 1993.
7. B. Bershad, D. Redell, and J. Ellis. Fast Mutual Exclusion for Uniprocessors. In Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 223-233, October 1992.
8. Brian N. Bershad, Matthew J. Zekauskas, and Wayne A. Sawdon. The Midway Distributed Shared Memory System. In Proceedings of the 38th IEEE Computer Society International Conference (COM-PCON '93), pages 528-537, February 1993.
9. E. A. Brewer, A. Colbrook, C. N. Dellarocas, and W. E. Weihl. PROTEUS: A High-Performance Parallel-Architecture Simulator. In 1992 ACM Sigmetrics, pages 247-8, June 1992.
10. J. B. Carter, J. K. Bennett, and W. Zwaenepoel. Implementation and Performance of Munin. In Proceedings of the 13th Symposium on Operating Systems Principles, pages 152-164, October 1991.
11. D. Culler, R. Karp, D. Patterson, A. Sahay, K. E. Schauser, E. Santos, R. Subramonian, and T. von Eicken. LogP: Towards a Realistic Model of Parallel Computation. In Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1-12, May 1993.
12. Digital Equipment Corporation. DECchip 21064-AA Microprocessor, Hardware Reference Manual, 1992. Order Number: EC-N0079-72.
13. G. Graunke and S. Thakkar. Synchronization Alorithms for Shared-Memory Multiprocessors. IEEE Computer, 23(6):60-69, June 1990.
14. M. Herlihy. A Methodology for Implementing Highly Concurrent Structures. Proceedings of the 2nd ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, March 1990.
15. M. Herlihy. A Methodology for Implementing Highly Concurrent Data Objects., 1991. CRL Technical Report 91/10.
16. M. Herlihy and J. E. B. Moss. Transactional Memory: Architectural Support for Lock-free Data Structures. 20th Annual International Symposium on Computer Architecture, 21(2):289-300, May 1993.
17. D. Lenoski, J. Laudon, T. Joe, D. Nakahira, L. Stevens, A. Gupta, and J. Hennessy. The DASH Prototype: Implementation and Performance. In 19th Annual International Symposium on Computer Architecture, pages 92-105, May 1992.
18. H. Massalin and C. Pu. Threads and Input/Output in the Synthesis Kernel. In Proceedings of the 12th Symposium on Operating Systems Principles, pages 191-200, December 1989.
19. J. Mellor-Crummey and M. L. Scott. Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ACM Transactions on Computer Systems, 9(1), February 1991.
20. L. Snyder. Type Architecture, Shared Memory and the Corollary of Moest Potential. Annual Review of Computer Science, 1:289-318, 1986.
21. J. Torrellas, A. Gupta, and J. Hennessy. Characterizing the Caching and Synchronization Performance of a Multiprocessor Operating System. In Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 162-174, October 1992.
22. J. M. Wing and C. Gong. A Library of Concurrent Objects and Their Proofs of Correctness., 1990. Technical Report CMU-CS-90-151, Carnegie Mellon University.
23. J. M. Wing and C. Gong. Testing and Verifying Concurrent Objects. Journal of Parallel and Distributed Computing, 17(2):164-182, February 1993.
24. J. Zahorjan, E. Lazowska, and D. Eager. Spinning Verses Waiting in Parallel Systems with Uncertainty. In Proceedings of the International Seminar on Distributed and Parallel Systems, pages 455-472, December 1988.