Non-blocking timeout in scalable queue-based spin locks

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2002, Pages 31-40

  Scott, Michael L ^a  

^a University of Rochester   (United States)

Author keywords

Scalability; Spin locks; Synchronization; Timeout

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEM RECOVERY; DATA STRUCTURES; DATABASE SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; MULTIPROGRAMMING; REAL TIME SYSTEMS;

NON BLOCKING TIMEOUT; QUEUE BASED SPIN LOCKS; SCALABILITY; SHARED MEMORY SYSTEMS;

PARALLEL PROCESSING SYSTEMS;

EID: 0036949295     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/571825.571830     Document Type: Conference Paper

References (20)

1. A. Agarwal, R. Bianchini, D. Chaiken, K. Johnson, D. Kranz, J. Kubiatowicz, B.-H. Lim, K. Mackenzie, and D. Yeung. The MIT Alewife machine: Architecture and performance. In 22nd Intl. Symp. on Computer Architecture, pages 2-13, Santa Margherita Ligure, Italy, Jun. 1995.
2. T. E. Anderson. The performance of spin lock alternatives for shared-memory multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1):6-16, Jan. 1990.
3. T. E. Anderson, B. N. Bershad, E. D. Lazowska, and H. M. Levy. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems, 10:53-79, Feb. 1992.
4. D. L. Black. Scheduling support for concurrency and parallelism in the Mach operating system. Computer, 23(5):35-43, May 1990.
5. T. S. Craig. Building FIFO and priority-queueing spin locks from atomic swap. Technical Report TR 93-02-02, Department of Computer Science, University of Washington, Feb. 1993.
6. J. Edler, J. Lipkis, and E. Schonberg. Process management for highly parallel UNIX systems. In USENIX Workshop on Unix and Supercomputers, pages 1-17, Pittsburgh, PA, Sep. 1988.
7. G. Graunke and S. Thakkar. Synchronization algorithms for shared-memory multiprocessors. Computer, 23(6):60-69, Jun. 1990.
8. M. Herlihy. Personal communication, Oct. 2001.
9. A. R. Karlin, K. Li, M. S. Manasse, and S. Owicki. Empirical studies of competitive spinning for a shared-memory multiprocessor. In 13th ACM Symp. on Operating Systems Principles, pages 41-55, Pacific Grove, CA, Oct. 1991.
10. L. I. Kontothanassis, R. W. Wisniewski, and M. L. Scott. Scheduler-conscious synchronization. ACM Transactions on Computer Systems, 15(1):3-40, Feb. 1997.
11. S. Kumar, D. Jiang, R. Chandra, and J. P. Singh. Evaluating synchronization on shared address space multiprocessors: Methodology and performance. In SIGMETRICS Intl. Conf. on Measurement and Modeling of Computer Systems, pages 23-34, Atlanta, GA, May 1999.
12. B.-H. Lim and A. Agarwal. Reactive synchronization algorithms for multiprocessors. In 6th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, pages 25-35, San Jose, CA, Oct. 1994.
13. V. Luchangco. Personal communication, Jan. 2002.
14. P. Magnussen, A. Landin, and E. Hagersten. Queue locks on cache coherent multiprocessors. In 8th Intl. Parallel Processing Symposium, pages 165-171, Cancun, Mexico, Apr. 1994. Expanded version available as "Efficient Software Synchronization on Large Cache Coherent Multiprocessors", SICS Research Report T94:07, Swedish Inst. of Computer Science, Feb. 1994.
15. B. D. Marsh, M. L. Scott, T. J. LeBlanc, and E. P. Markatos. First-class user-level threads. In 13th ACM Symp. on Operating Systems Principles, pages 110-121, Pacific Grove, CA, Oct. 1991.
16. J. M. Mellor-Crummey and M. L. Scott. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computer Systems, 9(1):21-65, Feb. 1991.
17. J. K. Ousterhout. Scheduling techniques for concurrent systems. In 3rd Intl. Conf. on Distributed Computing Systems, pages 22-30, Miami/Ft. Lauderdale, FL, Oct. 1982.
18. M. L. Scott. Non-blocking timeout in scalable queue-based spin locks. Technical Report TR 773, Department of Computer Science, University of Rochester, Feb. 2002. Available at http://www.cs.rochester.edu/trs/systems-trs.html.
19. M. L. Scott and W. N. Scherer III. Scalable queue-based spin locks with timeout. In 8th ACM Symp. on Principles and Practice of Parallel Programming, pages 44-52, Snowbird, UT, Jun. 2001.
20. R. C. Unrau, O. Krieger, B. Gamsa, and M. Stumm. Hierarchical clustering: A structure for scalable multiprocessor operating system design. The Journal of Supercomputing, 9(1/2):105-134, 1995.