article

Free access

An alternative to event queues for synchronization in monitors

Author:

J. L. W. KesselsAuthors Info & Claims

Communications of the ACM, Volume 20, Issue 7

Pages 500 - 503

https://doi.org/10.1145/359636.359710

Published: 01 July 1977 Publication History

PDF eReader

Abstract

In the monitor concept, as proposed by Brinch Hansen and Hoare, event queues are used for synchronization. This paper describes another synchronizing primitive which is nearly as expressive as the conditional wait, but can be implemented more efficiently. An implementation of this primitive in terms of P and V operations is given together with a correctness proof. Two examples are presented: the readers and writers problem and the problem of information streams sharing a finite buffer pool.

References

[1]

Brinch Hansen, P. A programming methodology for operating system design. Information Processing 74, North-Holland Pub. Co., Amsterdam, 1974, pp. 394-397.]]

Google Scholar

[2]

Courtois, P.J., Heymans, F., and Parnas, D.L. Concurrent control with "readers" and "writers." Comm. ACM 14, 10 (Oct. 1971), 667-668.]]

Digital Library

Google Scholar

[3]

Dahl, O.J., and Hoare, C.A.R. Hierarchical program structures. In Structured Programming, Academic Press, New York, 1972.]]

Digital Library

Google Scholar

[4]

Dijkstra, E.W. Information streams sharing a finite buffer. Information Processing Letters 1, 5 (Oct. 1972), 179-180.]]

Crossref

Google Scholar

[5]

Hoare, C.A.R, Monitors: an operating system structuring concept. Comm. ACM 17, 10 (Oct. 1974), 549-557.]]

Digital Library

Google Scholar

[6]

Howard, J.H. Proving monitors. Comm. ACM 19, 5 (May 1976), 273-279.]]

Digital Library

Google Scholar

[7]

Sintzoff, M., and van Lamsweerde, A. Constructing correct and efficient concurrent programs. Proc. Int. Conf. on Reliable Software, 1975, pp. 319-326.]]

Digital Library

Google Scholar

[8]

Wirth, N. The programming language PASCAL. Acta Informatica 1, 1 (1971), 35-63.]]

Digital Library

Google Scholar

Cited By

View all

Vora KGupta RXu G(2017)KickStarterACM SIGPLAN Notices10.1145/3093336.303774852:4(237-251)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037748
Vora KTian CGupta RHu Z(2017)CoRALACM SIGPLAN Notices10.1145/3093336.303774752:4(223-236)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037747
Powers BVilk JBerger E(2017)BrowsixACM SIGPLAN Notices10.1145/3093336.303772752:4(253-266)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037727
Show More Cited By

Recommendations

Monitors: an operating system structuring concept

This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization, describes a possible method of implementation in terms of semaphores and gives a suitable proof rule. ...
Implicit-signal monitors

An implicit (automatic) signal monitor uses a waituntil predicate statement to construct synchronization, as opposed to an explicit-signal monitor using condition variables and signal/wait statements for synchronization. Of the two synchronization ...
Efficient Synchronization in Message Passing Systems
AINA '08: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications

The problem of synchronization can be formulated in terms of rules constraining the occupancy of regions in different processes, where a region is a block of code whose execution may require synchronization. In this region synchronization problem, the ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 20, Issue 7

July 1977

75 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/359636

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

Issue’s Table of Contents

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 July 1977

Published in CACM Volume 20, Issue 7

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

54
Total Citations
View Citations
564
Total Downloads

Downloads (Last 12 months)41
Downloads (Last 6 weeks)8

Reflects downloads up to 10 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Vora KGupta RXu G(2017)KickStarterACM SIGPLAN Notices10.1145/3093336.303774852:4(237-251)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037748
Vora KTian CGupta RHu Z(2017)CoRALACM SIGPLAN Notices10.1145/3093336.303774752:4(223-236)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037747
Powers BVilk JBerger E(2017)BrowsixACM SIGPLAN Notices10.1145/3093336.303772752:4(253-266)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037727
Buhr PBuhr P(2016)High-Level Concurrency ConstructsUnderstanding Control Flow10.1007/978-3-319-25703-7_9(425-522)Online publication date: 25-Sep-2016
https://doi.org/10.1007/978-3-319-25703-7_9
Skyrme ARodriguez NIerusalimschy R(2014)A survey of support for structured communication in concurrency control modelsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2013.11.00574:4(2266-2285)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.1016/j.jpdc.2013.11.005
Scott M(2013)Shared-Memory SynchronizationSynthesis Lectures on Computer Architecture10.2200/S00499ED1V01Y201304CAC0238:2(1-221)Online publication date: 12-Jun-2013
https://doi.org/10.2200/S00499ED1V01Y201304CAC023
Hung WGarg V(2013)AutoSynchACM SIGPLAN Notices10.1145/2499370.246217548:6(253-262)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2499370.2462175
Hung WGarg VBoehm HFlanagan C(2013)AutoSynchProceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2491956.2462175(253-262)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2491956.2462175
(2009)BibliographyProgramming Language Pragmatics10.1016/B978-0-12-374514-9.00002-1(849-865)Online publication date: 2009
https://doi.org/10.1016/B978-0-12-374514-9.00002-1
Kaiser CPajault CPradat-Peyre J(2008)Concurrent Program Metrics Drawn by QuasarProceedings of the 13th Ada-Europe international conference on Reliable Software Technologies10.1007/978-3-540-68624-8_8(101-114)Online publication date: 16-Jun-2008
https://dl.acm.org/doi/10.1007/978-3-540-68624-8_8
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

References

Cited By

Recommendations

Monitors: an operating system structuring concept

Implicit-signal monitors

Efficient Synchronization in Message Passing Systems

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations