A prioritized multiprocessor spin lock

IEEE Transactions on Parallel and Distributed Systems

Volumn 8, Issue 9, 1997, Pages 926-933

  Johnson, Theodore ^a,b   Harathi, Krishna ^c  

^a AT AND T LABS RESEARCH   (United States)

^b IEEE   (United States)

^c NONE

Author keywords

Mutual exclusion; Parallel processing; Priority queue; Real time system; Spin lock

Indexed keywords

BUFFER STORAGE; COMPUTER SIMULATION; NETWORK PROTOCOLS; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS;

MUTUAL EXCLUSION; PRIORITIZED SPIN LOCK ALGORITHM; PRIORITY QUEUE;

ALGORITHMS;

EID: 0031234733     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.615438     Document Type: Article

References (22)

1. T.E. Anderson, "The Performance of Spin Lock Alternatives for Shared Memory Multiprocessors," IEEE Trans. Parallel and Distributed Systems, vol. 1, no. 1, pp. 6-16, 1990.
2. G.R. Andrews, Concurrent Programming Principles and Practice. Benjamin/Cummings, 1991.
3. E.A. Brewer, Chrysanthos, and N. Dellarocas, "PROTEUS User Documentation," technical report, MIT Laboratory for Computer Science, 1991.
4. T.S. Craig, "Queuing Spin Lock Alternatives to Support Timing Predictability," Proc. Real-Time Systems Symp., pp. 148-157, 1993.
5. R.R. Glenn, D.V. Pryor, J.M. Conroy, and T. Johnson, "A Bistability Throughput Phenomenon in a Shared-Memory Mimd Machine," J. Supercomputing, vol. 7, pp. 357-375, 1993.
6. A. Goscinski, "Two Algorithms for Mutual Exclusion in Real-Time Distributed Computer Systems," J. Parallel and Distributed Computing, vol. 9, pp. 77-82, 1990.
7. K. Harathi and T. Johnson, "A Priority Synchronization Algorithm for Multiprocessors," Technical Report tr93.005, UF, 1993. Available at ftp.cis.ufl.edu:cis/tech-reports.
8. T. Johnson and R. Newman-Wolfe, "A Comparison of Fast and Low Overhead Distributed Priority Locks," J. Parallel and Distributed Computing, vol. 32, no. 1, pp. 74-89, 1996. Also available at ftp.cis.ufl.edu:/cis/tech-reports/tr94/tr94-022.ps.Z.
9. C.P. Kruskal, L. Rudolph, and M. Snir, "Efficient Synchronization on Multiprocessors with Shared Memory," Proc. Fifth ACM Symp. Principles of Distributed Computing, pp. 218-228, 1986.
10. E.P. Markatos and T.J. LeBlanc, "Multiprocessor Synchronization Primitive with Priorities," Proc. IEEE Workshop Real-Time Operating Systems and Software, pp. 148-157, 1991.
11. J.M. Mellor-Crummey and M.L. Scott, "Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors," ACM Trans. Computer Systems, vol. 9, no. 1, pp. 21-65, 1991.
12. L.D. Molesky, C. Shen, and G. Zlokapa, "Predictable Synchronization Mechanisms for Real-Time Systems," Real-Time Systems, vol. 2, no. 3, pp. 163-180, 1990.
13. Motorola, M68000 family programmer's reference manual.
14. S. Prakash, Y.H. Lee, and T. Johnson, "A Non-Blocking Algorithm for Shared Queues Using Compare-and-Swap," Proc. Int'l Conf. Parallel Processing, pp. II68-II75, 1991.
15. R. Rajkumar, "Real-Time Synchronization Protocols for Shared Memory Multiprocessors," Proc. IEEE 10th Int'l Conf. Distributed Computing Systems, pp. 116-123, 1990.
16. R. Rajkumar, L. Sha, and J.P. Lehoczky, "Priority Inheritance Protocols: An Approach to Real-Time Synchronization," IEEE Trans. Computers, vol. 39, no. 9, pp. 1,175-1,185, Sept. 1990.
17. L.C. Shu, M. Young, and R. Rajkumar, "An Abort Ceiling Protocol for Controlling Priority Inversion," Proc. Int'l Workshop Real-Time Computing Systems and Applications, 1994.
18. J.A. Stankovic and K. Ramamritham, Tutorial Hard Real-Time Systems. IEEE CS Press, 1986.
19. H. Takada and K. Sakamura, "Controlling Priority Inversion Using Abortions," Proc. Second Int'l Workshop Real-Time Computing Systems and Applications, 1994.
20. H. Takada and K. Sakamura, "Real-Time Scalability of Nested Spin Locks," Proc. Second Int'l Workshop Real-Time Computing Systems and Applications, 1995.
21. H. Takada and K. Sakamura, "Towards a Scalable Real-Time Kernel for Function-Distributed Multiprocessors," Proc. 20th IFAC/IFIP Workshop Real-Time Programming, 1995.
22. J. Turek, D. Shasha, and S. Prakash, "Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Non-blocking, "Proc. ACM Symp. Principles of Database Systems, pp. 212-222, 1992.