article

Free access

The problem of nested monitor calls

Author:

Andrew ListerAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 11, Issue 3

Pages 5 - 7

https://doi.org/10.1145/850644.850645

Published: 01 July 1977 Publication History

PDF eReader

References

[1]

HOARE, C.A.R. Monitors: an operating system structuring concept. Comm. ACM., 17, p. 549 (1974).

Digital Library

Google Scholar

[2]

BRINCH-HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. on Software Engineering, 1, p. 199 (1975)

Google Scholar

[3]

BRINCH-HANSEN, P. Concurrent Pascal machine. Technical Report, Dept. of Information Science, California Institute of Technology (1975).

Google Scholar

[4]

BRINCH-HANSEN, P. The Solo operating system. Software: Practice & Experience, 6, p. 139 (1976)

Google Scholar

[5]

LISTER, A. M., & MAYNARD, K. J. An implementation of monitors. Software: Practice & Experience, 6, p. 377 (1976).

Crossref

Google Scholar

[6]

LISTER, A. M., & SAYER, P. J. Hierarchical monitors. Proc. 1976 2nternational Conference on Parallel Processing, pp 43249. (IEEE Cat. No. 76CH1127-OC (1976).

Google Scholar

[7]

HOWARD, J. H. Proving monitors. Comm. ACM, 19, p. 273 (1976)

Digital Library

Google Scholar

[8]

KAUBISCH, W. H., PERROTT, R. H., & HOARE, C.A.R. Quasi-parallel programming. Software: Practice & Experience, 6, p. 341, (1976)

Crossref

Google Scholar

Cited By

View all

Maurer CMaurer C(2021)MonitorsNonsequential and Distributed Programming with Go10.1007/978-3-658-29782-4_9(193-226)Online publication date: 20-Jan-2021
https://doi.org/10.1007/978-3-658-29782-4_9
Delisle TBuhr P(2020)Advanced control‐flow and concurrency in C∀Software: Practice and Experience10.1002/spe.292551:5(1005-1042)Online publication date: Dec-2020
https://doi.org/10.1002/spe.2925
Maurer CMaurer C(2019)MonitoreNichtsequentielle und Verteilte Programmierung mit Go10.1007/978-3-658-26290-7_9(201-237)Online publication date: 24-Oct-2019
https://doi.org/10.1007/978-3-658-26290-7_9
Show More Cited By

Recommendations

Parallelizing tightly nested loops
IPPS '91: Proceedings of the Fifth International Parallel Processing Symposium

Presents a new technique to parallelize nested loops at the statement level. It transforms sequential nested loops, either vectorizable or not, into parallel ones. Previously, the wavefront method was used to parallelize non-vectorizable nested loops. ...
Software Pipelining of Nested Loops
CC '01: Proceedings of the 10th International Conference on Compiler Construction

Software pipelining is a technique to improve the performance of a loop by overlapping the execution of several iterations. The execution of a software-pipelined loop goes through three phases: prolog, kernel, and epilog. Software pipelining works best ...
Transformations techniques for extracting parallelism in non-uniform nested loops

Executing a program in parallel machines needs not only to find sufficient parallelism in a program, but it is also important that we minimize the synchronization and communication overheads in the parallelized program. This yields to improve the ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 11, Issue 3

July 1977

8 pages

ISSN:0163-5980

DOI:10.1145/850644

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1977

Published in SIGOPS Volume 11, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

50
Total Citations
View Citations
574
Total Downloads

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

Reflects downloads up to 14 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Maurer CMaurer C(2021)MonitorsNonsequential and Distributed Programming with Go10.1007/978-3-658-29782-4_9(193-226)Online publication date: 20-Jan-2021
https://doi.org/10.1007/978-3-658-29782-4_9
Delisle TBuhr P(2020)Advanced control‐flow and concurrency in C∀Software: Practice and Experience10.1002/spe.292551:5(1005-1042)Online publication date: Dec-2020
https://doi.org/10.1002/spe.2925
Maurer CMaurer C(2019)MonitoreNichtsequentielle und Verteilte Programmierung mit Go10.1007/978-3-658-26290-7_9(201-237)Online publication date: 24-Oct-2019
https://doi.org/10.1007/978-3-658-26290-7_9
Maurer CMaurer C(2018)MonitoreNichtsequentielle und Verteilte Programmierung mit Go10.1007/978-3-658-21153-0_9(195-231)Online publication date: 29-May-2018
https://doi.org/10.1007/978-3-658-21153-0_9
Brause RBrause R(2017)ProzesseBetriebssysteme10.1007/978-3-662-54100-5_2(27-120)Online publication date: 21-Mar-2017
https://doi.org/10.1007/978-3-662-54100-5_2
Creado OLe P(2017)Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper)Information Security Practice and Experience10.1007/978-3-319-72359-4_40(648-659)Online publication date: 8-Dec-2017
https://doi.org/10.1007/978-3-319-72359-4_40
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
Deshmukh JEmerson ESankaranarayanan S(2011)Symbolic modular deadlock analysisAutomated Software Engineering10.1007/s10515-011-0085-018:3-4(325-362)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1007/s10515-011-0085-0
Edmunds AButler M(2008)Linking Event-B and Concurrent Object-Oriented ProgramsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.06.008214(159-182)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.entcs.2008.06.008
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.

References

Cited By

Recommendations

Parallelizing tightly nested loops

Software Pipelining of Nested Loops

Transformations techniques for extracting parallelism in non-uniform nested loops

Comments

Information

Published In

Publisher

Publication History

Check for updates

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