Summary
Algorithms for mutual exclusion that adapt to the current degree of contention are developed. Afilter and a leader election algorithm form the basic building blocks. The algorithms achieve system response times that are independent of the total number of processes and governed instead by the current degree of contention. The final algorithm achieves a constant amortized system response time.
Similar content being viewed by others
References
Afek Y, Gafni E, Merritt M, Taubenfeld G: Contention sensitive mutual exclusion. Presented at the rump session of the 10th Annual ACM Symposium on the Principles of Distributed Computing, August 1991
Alur R, Taubenfeld G: Results about fast mutual exclusion. In: Proceedings of the 13th IEEE Real-Time Systems Symposium, pp 12–21, 1992
Anderson TE: The performance of spin-lock alternatives for shared-memory multi-processors. IEEE Trans Parallel Distrib Syst 1(1): 6–16 (1990)
Chandy KM, Misra J: Parallel program design: a foundation. Addison Wesley, Reading, Mass, 1988
Cole R, Zajicek O: The APRAM: incorporating asynchrony into the PRAM model. In: Proceedings of the First ACM Symposium on Parallel Algorithms and Architectures, pp 169–178, 1989
Dijkstra EW: Solution of a problem in concurrent program control. Commun ACM 8(9): 569 (1965)
Dwork C, Herlihy M, Waarts O: Contention in shared memory algorithms. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pp 174–183, 1993
Gibbons PB, Matias Y, Ramachandran V: The QRQW PRAM: accounting for contention in parallel algorithms. In: Proceedings of the 5th Annual ACM-SIAM Symposium on Discrete Algorithms, pp 638–648, 1994
Gottlieb A, Grishman R, Kruskal CP, McAuliffe KM, Rudolph L, Snir M: The NYU ultracomputer — designing an mimd shared memory parallel computer. IEEE Trans Comput C-32(2) (1983)
Knuth DE: Additional comments on a problem in concurrent program control. Commun ACM 9(5): 321–322 (1966)
Lamport L: A new solution of Dijkstra's concurrent programming problem. Commun ACM 17(8): 453–455 (1974)
Lamport L: A fast mutual exclusion algorithm. ACM Trans Comput Syst 5(1): 1–11 (1987)
Lycklama EA, Hadzilacos V: A first-come-first-served mutualexclusion algorithm with small communication variables. ACM Trans Program Languages Syst 13(4): 558–576 (1991)
Lynch N, Shavit N: Timing-based mutual exclusion. In: Proceedings of the 13th IEEE Real-Time Systems Symposium, pp 2–11, 1992
Lynch NA: Fast allocation of nearby resources in a distributed system. In: Proceedings of the 12th Annual ACM Symposium on Theory of Computing, pp 70–81, 1980
Merritt M, Taubenfeld G: Speeding Lamport's fast mutual exclusion algorithm. Inf Process Lett 45: 137–142 (1993)
Michael MM, Scott ML: Fast mutual exclusion, even with contention. Tech Rep TR 460, Computer Science Department, University of Rochester, 1993
Peterson GL: A new solution to Lamport's concurrent programming problem using small shared variables. ACM Trans Program Languages Syst 5(1): 56–65 (1983)
Peterson GL, Fischer M: Economical solutions to the critical section problem in a distributed system. In: Proceedings of the 9th Annual ACM Symposium on Theory of Computing, pp 91–97, 1977
Pnueli A: The temporal logic of programs. In: Proceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science, pp 46–57, 1977
Styer E: Improving fast mutual exclusion. In: Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, pp 159–168, 1992
TUXEDO System Release 4.0 — Product Review. AT&T, 1990
Yang J, Adderson JH: Fast, scalable synchronization with minimal hardware support. In: Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing, pp 171–182, 1993
Author information
Authors and Affiliations
Additional information
Manhoi Choy was born in 1967 in Hong Kong. He received his B.Sc. in Electrical and Electronic Engineerings from the University of Hong Kong in 1989, and his M.Sc. in Computer Science from the University of California at Santa Barbara in 1991. Currently, he is working on his Ph.D. in Computer Science at the University of California at Santa Barbara. His research interests are in the areas of parallel and distributed systems, and distributed algorithms.
Ambuj K. Singh is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara. He received a Ph.D. in Computer Science from the University of Texas at Austin in 1989, an M.S. in Computer Science from Iowa State University in 1984, and a B.Tech. from the Indian Institute of Technology at Kharagpur in 1982. His research interests are in the areas of adaptive resource allocation, concurrent program development, and distributed shared memory.
A preliminary version of the paper appeared in the 12th Annual ACM Symposium on Principles of Distributed Computing
Work supported in part by NSF grants CCR-9008628 and CCR-9223094
Rights and permissions
About this article
Cite this article
Choy, M., Singh, A.K. Adaptive solutions to the mutual exclusion problem. Distrib Comput 8, 1–17 (1994). https://doi.org/10.1007/BF02283567
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02283567