Experiences with locking in a numa multiprocessor operating system kernel

Proceedings of the 1st USENIX Conference on Operating Systems Design and Implementation, OSDI 1994

Volumn , Issue , 1994, Pages

  Unrau, Ronald C ^a,b   Krieger, Orran ^a   Gamsa, Benjamin ^a   Stumm, Michael ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b IBM CANADA LTD   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; MEMORY ARCHITECTURE; MULTIPROCESSING SYSTEMS; SYSTEMS ANALYSIS;

COARSE GRAINS; HIGH CONCURRENCIES; LOCKING TECHNIQUE; LOW LATENCY; OPERATING SYSTEM KERNEL; SECOND ORDER EFFECT; SHARED MEMORY MULTIPROCESSOR; SPACE OVERHEAD;

LOCKS (FASTENERS);

EID: 84918813850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. David L. Black, Avadis Tevanian Jr., David B. Golub, and Michael W. Young. Locking and reference counting in the mach kernel. In Proc. 1991 ICPP, volume II, Software, pages II-167-II-173, Boca Raton, FL, August 1991. CRC Press.
2. H. H. Y. Chang and B. Rosenburg. Experience porting mach to the RP3 large-scale shared-memory multiprocessor. Future Generation Computer Systems, 7(2-3):259-267, April 1992.
3. E. Chaves, P. C. Das, T. J. LeBlanc, B. D. Marsh, and M. L. Scott. Kernel-kernel communicationinasharedmemory multiprocessor. Concurrency: Practice and Experience, 5(3):171-191, May 1993.
4. J. Bradley Chen and Brian N. Bershad. The impact of operating system structure on memory system performance. In Proc. 14th ACM SOSP, pages 120-133, 1993.
5. Travis S. Craig. Building FIFO and priorityqueuing spin locks from atomic swap. Technical Report TR 93-02-02, University of Washington, 02 1993. (ftp tr/1993/02/UW-CSE-93-02-02. PS. Z from cs.washington. edu).
6. R. P. Draves, B. N. Bershad, R. F. Rashid, and R. W. Dean. Using continuations to implement thread management and communication in operating systems. In Proc. 13th ACM SOSP, page 122, Pacific Grove, CA, October 1991.
7. S. Frank, J. Rothnie, and H. Burkhardt. The KSR1: Bridging the gap between shared memory and MPPs. In IEEE Compcon 1993 Digest of Papers, pages 285-294, 1993.
8. B. Gamsa, O. Krieger, and M. Stumm. OptimizingIPC performance for shared-memory multiprocessors. In Proc. 1994 ICPP, pages 208-211, Boca Raton, FL, August 1994. CRC Press.
9. Erik Hagersten, Anders Landin, and Seif Haridi. "DDM - A Cache-Only Memory Architecture" I. EEE Computer, pages 44-54, September 1992.
10. Maurice Herlihy. Wait-free synchronization. ACM TOPLAS, 13(1):124-149, January 1991.
11. Maurice Herlihy. A methodology for implementing highly concurrent objects. ACM TOPLAS, 15(5):745-770, November 1993.
12. J. Kent Peacock, S. Saxena, D. Thomas, F. Yang, and W. Yu. Experiences from multithreading system V release 4. In SEDMS III, pages 77-91. Usenix Assoc, March 1992.
13. Orran Krieger. HFS: A flexible file system for shared memory multiprocessors. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada, 1994.
14. Orran Krieger, Michael Stumm, and Ronald Unrau. The Alloc Stream Facility: A redesign of application-level stream I/O. Technical Report CSRI-275, Computer Systems Research Institute, University of Toronto, Toronto, Canada, M5S 1A1, October 1992.
15. Beng-Hong Lim and Anant Agarwal. Reactive synchronization algorithms for multiprocessors. In ASPLOS-VI, 1994. To appear.
16. Susan LoVerso, Noemi Paciorek, Alan Langerman, and George Feinberg. The OSF/1 UNIX filesystem (UFS). In USENIX Conference Proceedings, pages 207-218, Dallas, TX, January 21-25 1991. USENIX.
17. Peter Magnussen, Anders Landin, and Erik Hagersten. Queue locks on cache coherent multiprocessors. In 8th IPPS, pages 26-29, 1994.
18. H. Massalin and C. Pu. A lock-free multiprocessor OS kernel. Technical Report CUCS-005-91, Department of Computer Science, Columbia University, February 1991.
19. 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, February 1991.
20. Noemi Paciorek, Susan Lo Verso, and Alan Langerman. Debugging multiprocessor operating system kernels. In SEDMS II, pages 185-202. USENIX, Atlanta GA, March 21-22 1991.
21. J. Kent Peacock. File system multithreading in system V release 4 MP. In USENIX Conference Proceedings, pages 19-30, San Antonio, TX, Summer 1992. USENIX.
22. Abraham Silberschatz, James L. Peterson, and Peter Galvin. Operating Systems Concepts. Addison-Wesley, third edition edition, 1991.
23. Daniel Stodolsky, J. Bradley Chen, and Brian N. Bershad. Fast interrupt priority management in operating system kernels. In USENIX Microkernels Workshop. USENIX, 1993.
24. Josep Torrellas, Anoop Gupta, and John L. Hennessy. Characterizing the caching and synchronization performance of a multiprocessor operating system. In ASPLOS-IV Proceedings, pages 162-174, Boston, Massachusetts, 1992.
25. R. Unrau, M. Stumm, O. Krieger, and B. Gamsa. Hierarchical clustering: A structure for scalable multiprocessor operating system design. Journal of Supercomputing. To appear. Also available as technical report CSRI-268 from ftp. csri.toronto.edu.
26. Ronald C. Unrau. Scalable Memory Management through Hierarchical Symmetric Multiprocessing. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada, January 1993.
27. Zvonko G. Vranesic, Michael Stumm, RonWhite, and David Lewis. "The Hector Multiprocessor". Computer, 24(1), January 1991.