article

Free access

Low contention semaphores and ready lists

Authors:

Peter J. Denning,

Jeffrey A. BrumfieldAuthors Info & Claims

Communications of the ACM, Volume 24, Issue 10

Pages 687 - 699

https://doi.org/10.1145/358769.358787

Published: 01 October 1981 Publication History

Abstract

A method for reducing semaphore and ready-list contention in multiprocessor operating systems is described. Its correctness is established. Its performance is compared with conventional implementations. A ready list implemented as a ring network is proposed and evaluated.

References

[1]

Brinch Hansen, P., Operating Systems Principles, Prentice-Hall, Englewood Cliffs, N. J., 1973.

Digital Library

[2]

Brumfield, J. A., and Tolopka, S. J. Complexity of semaphore operations on two contemporary architectures. Tech. Rep. CSD-TR- 358, Dept. of Computer Sciences, Purdue University, West Lafayette, IN, 47907 Aug. 1980 (revised Feb. 1981).

[3]

Dennis, T. D. A capability architecture. Ph.D. Thesis, Dept. of Computer Sciences, Purdue University, West Lafayette, IN, 47907 May 1980.

Digital Library

[4]

Feller, P. H. Letter to the editor, Oper. Syst. Rev. 14, 3 (July 1980), 5-9.

[5]

Feustel, E. A. On the advantages of tagged architecture, IEEE Trans. Computers C-22, 7 (July 1973), 644-656.

Digital Library

[6]

GEC Computers Ltd, GEC 4000 Series Computers. GEC Computers Ltd., Hertfordshire WD6 IRX, England, Nov. 1976.

[7]

Gehringer, E. F. Variable-length capabilities as solution to the small-object problem, Proc. 7th Symp. on Operating Systems Principles, ACM/SIGOPS (Dec. 1979) 131-142.

Digital Library

[8]

Gurd, J., Watson, I., and Glaurt, J. A multi-layered data flow computer architecture, Tech. Rept, Dept. of Computer Science, University of Manchester, Manchester M13 9PL, England, July 1978.

[9]

Habermarm, A. N., Introduction to Operating System Design, SRA, Chicago, IL, 1976.

Digital Library

[10]

Habermann, A. N., Flon, L., and Cooprider, L. Modularization and hierarchy in a family of operating systems. Comm. A CM 19, 5 (May 1976), 266-272.

Digital Library

[11]

Liskov, B. The design of the VENUS operating system. Comm. ACM 15, 3 (Mar. 1972), 144-149.

Digital Library

[12]

Myers, G. J. Advances in Computer Architecture, Wiley and Sons, New York, 1978.

Digital Library

[13]

Needham, R. M. Systems aspects of the Cambridge ring. Proc. 7th Syrup. on Operating Systems Principles, ACM/SIGOPS (Dec. 1979) 82-85.

Digital Library

[14]

Organick, E. I., The Multics System: An Examination of its Structure, MIT Press, Cambridge, MA 1972.

Digital Library

[15]

Organick, E. I., Computer System Organization: The B5700/ B6700 Series, Academic, New York, 1973.

Digital Library

[16]

Shaw, A., The Logical Design of Operating Systems. Prentice- Hall, Englewood Cliffs, N. J., 1974.

Digital Library

Cited By

Bondi AWoodside MGomaa HMenasce D(2000)Characteristics of scalability and their impact on performanceProceedings of the 2nd international workshop on Software and performance10.1145/350391.350432(195-203)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1145/350391.350432
Bondi AJin V(1996)A performance model of a design for a minimally replicated distributed database for database-driven telecommunications servicesDistributed and Parallel Databases10.1007/BF001193374:4(295-317)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1007/BF00119337
Bondi A(1991)Problems in expediting protocol processingPerformance Evaluation10.1016/0166-5316(91)90049-913:4(253-265)Online publication date: 15-Nov-1991
https://dl.acm.org/doi/10.1016/0166-5316%2891%2990049-9
Show More Cited By

Index Terms

Low contention semaphores and ready lists

Recommendations

Reducing contention through priority updates
SPAA '13: Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures

Memory contention can be a serious performance bottleneck in concurrent programs on shared-memory multicore architectures. Having all threads write to a small set of shared locations, for example, can lead to orders of magnitude loss in performance ...
Abortable and query-abortable objects and their efficient implementation
PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing

We introduce abortable and query-abortable objects, intended for asynchronous shared-memory systems with low contention. These objects behave like ordinary objects when accessed sequentially, but may abort operations when accessed concurrently. An ...
Semaphores revisited with MMS

The objective of this article is to realize an in-depth study of MMS semaphores. This article is not a tutorial on MMS semaphores although it does explain to some extent how MMS semaphores behave and can be utilized. What we are trying to achieve is a ...

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM

Communications of the ACM Volume 24, Issue 10

Oct. 1981

85 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/358769

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago, IL

Issue’s Table of Contents

Copyright © 1981 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1981

Published in CACM Volume 24, Issue 10

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
397
Total Downloads

Downloads (Last 12 months)59
Downloads (Last 6 weeks)20

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bondi AWoodside MGomaa HMenasce D(2000)Characteristics of scalability and their impact on performanceProceedings of the 2nd international workshop on Software and performance10.1145/350391.350432(195-203)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1145/350391.350432
Bondi AJin V(1996)A performance model of a design for a minimally replicated distributed database for database-driven telecommunications servicesDistributed and Parallel Databases10.1007/BF001193374:4(295-317)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1007/BF00119337
Bondi A(1991)Problems in expediting protocol processingPerformance Evaluation10.1016/0166-5316(91)90049-913:4(253-265)Online publication date: 15-Nov-1991
https://dl.acm.org/doi/10.1016/0166-5316%2891%2990049-9
Ni LWu C(1989)Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor SystemsIEEE Transactions on Software Engineering10.1109/32.2176015:3(327-334)Online publication date: 1-Mar-1989
https://dl.acm.org/doi/10.1109/32.21760
Brumfield J(1986)Teaching operating systems with Modula-2ACM SIGCSE Bulletin10.1145/953055.563018:1(273-282)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1145/953055.5630
Brumfield J(1986)Teaching operating systems with Modula-2Proceedings of the seventeenth SIGCSE technical symposium on Computer science education10.1145/5600.5630(273-282)Online publication date: 2-Feb-1986
https://dl.acm.org/doi/10.1145/5600.5630
Gehringer EKeedy JGannon TAgerwala TFreiman C(1985)Tagged architectureProceedings of the 12th annual international symposium on Computer architecture10.5555/327010.327153(162-170)Online publication date: 1-Jun-1985
https://dl.acm.org/doi/10.5555/327010.327153
Gehringer EKeedy J(1985)Tagged architectureACM SIGARCH Computer Architecture News10.1145/327070.32715313:3(162-170)Online publication date: 1-Jun-1985
https://dl.acm.org/doi/10.1145/327070.327153
Brown RDenning PTichy W(1984)Advanced Operating SystemsComputer10.1109/MC.1984.165896917:10(173-190)Online publication date: 1-Oct-1984
https://dl.acm.org/doi/10.1109/MC.1984.1658969
Garetti PLaface PRivoira S(1982)MODOSK: A modular distributed operating system kernel for real-time process controlMicroprocessing and Microprogramming10.1016/0165-6074(82)90021-79:4(201-213)Online publication date: Apr-1982
https://doi.org/10.1016/0165-6074(82)90021-7

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents