article

Free access

Experience with processes and monitors in Mesa

Authors:

Butler W. Lampson,

David D. RedellAuthors Info & Claims

Communications of the ACM, Volume 23, Issue 2

Pages 105 - 117

https://doi.org/10.1145/358818.358824

Published: 01 February 1980 Publication History

PDF eReader

References

[1]

American National Standard Programming Language PL/L X3.53, American Nat. Standards Inst., New York, 1976.

Google Scholar

[2]

Boggs, D.R., et+ al. Pup: An internetwork architecture. IEEE Trans, on Communications 28, 4 (April 1980).

Google Scholar

[3]

Brinch Hansen, P. Operating System Principles. Prentice-Hall, Englewood Cliffs, New Jersey, July 1973.

Digital Library

Google Scholar

[4]

Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. on Software Eng. 1, 2 (June 1975), 199-207.

Google Scholar

[5]

Dijkstra, E.W. Hierarchical ordering of sequential processes. In Operating Systems Techniques, Academic Press, New York, 1972.

Google Scholar

[6]

Gifford, D.K. Weighted voting for replicated data. Operating Systs. Rev. 13, 5 (Dec. 1979), 150-162.

Digital Library

Google Scholar

[7]

Gifford, D.K. Violet, an experimental decentralized system. Integrated Office Syst, Workshop, IRIA, Rocquencourt, France, Nov. 1979 (also available as CSL Rep. 79-12, Xerox Res. Ctr., Palo Alto, Calif.).

Google Scholar

[8]

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

Digital Library

Google Scholar

[9]

Hoare, C.A.R. Communicating sequential processes. Comm. ACM 21, 8 (Aug. 1978), 666-677.

Digital Library

Google Scholar

[10]

Howard, J.H. Signaling in monitors. Second Int. Conf. on Software Eng., San Francisco, Calif., Oct. 1976, pp. 47-52.

Digital Library

Google Scholar

[11]

Israel, J.E., Mitchell, J.G., and Sturgis, H.E. Separating data from function in a distributed file system. Second Int. Symp. on Operating Systs., IRIA, Rocquencourt, France, Oct. 1978.

Google Scholar

[12]

Keedy, J.J. On structuring operating systems with monitors. Australian Comptr. J. 10, 1 (Feb. 1978), 23-27 (reprinted in Operating Systs. Rev. 13, 1 (Jan. 1979), 5-9).

Digital Library

Google Scholar

[13]

Lampson, B.W., Mitchell, J.G., and Satterthwaite, E.H. On the transfer of control between contexts. In Lecture Notes in Computer Science 19, Springer-Verlag, New York, 1974, pp. 181-203.

Crossref

Google Scholar

[14]

Lauer, H.E., and Needham, R.M. On the duality of operating system structures. Second Int. Symp. on Operating Systems, IRIA, Rocquencourt, France, Oct. 1978 (reprinted in Operating Systs. Rev. 13, 2 (April 1979), 3-19).

Digital Library

Google Scholar

[15]

Lister, A.M., and Maynard, K.J. An implementation of monitors. Software--Practice and Experience 6, 3 (July 1976), 377-386.

Crossref

Google Scholar

[16]

Metcalfe, R.M., and Boggs, D.G. Ethernet: Packet switching for local computer networks. Comm. ACM 19, 7 (July 1976), 395-403.

Digital Library

Google Scholar

[17]

Mitchell, J.G., Maybury, W., and Sweet, R. Mesa Language Manual. Xerox Res. Ctr., Palo Alto, Calif., 1979.

Google Scholar

[18]

Redell, D., et. al. Pilot: An operating system for a personal computer. Comm. ACM 23, 2 (Feb. 1980).

Digital Library

Google Scholar

[19]

Saltzer, J.H. Traffic control in a multiplexed computer system. Th., MAC-TR-30, MIT, Cambridge, Mass., July 1966.

Digital Library

Google Scholar

[20]

Saxena, A.R., and Bredt, T.H. A structured specification of a hierarchical operating system. SIGPLAN Notices 10, 6 (June 1975), 310-318.

Digital Library

Google Scholar

[21]

Wirth, N. Modula: A language for modular multiprogramming. Software--Practice and Experience 7, 1 (Jan. 1977), 3-36.

Crossref

Google Scholar

Cited By

View all

Minin P(2024)Unified Processing of Events and Co-routines in Embedded ProgramProgramming and Computing Software10.1134/S036176882470015450:5(343-355)Online publication date: 1-Oct-2024
https://dl.acm.org/doi/10.1134/S0361768824700154
Muller SSinger KKeeney DNeth AAgrawal KLee IAcar U(2023)Responsive Parallelism with SynchronizationProceedings of the ACM on Programming Languages10.1145/35912497:PLDI(712-735)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591249
Pöhnl MEltzschig CBlass T(2023)Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge DevicesProceedings of Cyber-Physical Systems and Internet of Things Week 202310.1145/3576914.3587505(179-184)Online publication date: 9-May-2023
https://dl.acm.org/doi/10.1145/3576914.3587505
Show More Cited By

Recommendations

Static lock capabilities for deadlock freedom
TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

We present a technique --- lock capabilities --- for statically verifying that multithreaded programs with locks will not deadlock. Most previous work on deadlock prevention requires a strict total order on all locks held simultaneously by a thread, but ...
Lock elision for read-only critical sections in Java
PLDI '10

It is not uncommon in parallel workloads to encounter shared data structures with read-mostly access patterns, where operations that update data are infrequent and most operations are read-only. Typically, data consistency is guaranteed using mutual ...
Lock elision for read-only critical sections in Java
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation

It is not uncommon in parallel workloads to encounter shared data structures with read-mostly access patterns, where operations that update data are infrequent and most operations are read-only. Typically, data consistency is guaranteed using mutual ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 23, Issue 2

Feb. 1980

69 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/358818

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 February 1980

Published in CACM Volume 23, Issue 2

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

338
Total Citations
View Citations
8,378
Total Downloads

Downloads (Last 12 months)751
Downloads (Last 6 weeks)273

Reflects downloads up to 23 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Minin P(2024)Unified Processing of Events and Co-routines in Embedded ProgramProgramming and Computing Software10.1134/S036176882470015450:5(343-355)Online publication date: 1-Oct-2024
https://dl.acm.org/doi/10.1134/S0361768824700154
Muller SSinger KKeeney DNeth AAgrawal KLee IAcar U(2023)Responsive Parallelism with SynchronizationProceedings of the ACM on Programming Languages10.1145/35912497:PLDI(712-735)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591249
Pöhnl MEltzschig CBlass T(2023)Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge DevicesProceedings of Cyber-Physical Systems and Internet of Things Week 202310.1145/3576914.3587505(179-184)Online publication date: 9-May-2023
https://dl.acm.org/doi/10.1145/3576914.3587505
Wang KWang K(2023)Process Management in Embedded SystemsEmbedded and Real-Time Operating Systems10.1007/978-3-031-28701-5_5(115-168)Online publication date: 15-Sep-2023
https://doi.org/10.1007/978-3-031-28701-5_5
Lampson B(2022)Programming Concurrent SystemsEdsger Wybe Dijkstra10.1145/3544585.3544590(27-46)Online publication date: 12-Jul-2022
https://dl.acm.org/doi/10.1145/3544585.3544590
Ferles KSepanski BKrishnan RBornholt JDillig I(2022)Synthesizing fine-grained synchronization protocols for implicit monitorsProceedings of the ACM on Programming Languages10.1145/35273116:OOPSLA1(1-26)Online publication date: 29-Apr-2022
https://dl.acm.org/doi/10.1145/3527311
Ahmad ALee SPeinado M(2022)HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device2022 IEEE Symposium on Security and Privacy (SP)10.1109/SP46214.2022.9833745(1791-1807)Online publication date: May-2022
https://doi.org/10.1109/SP46214.2022.9833745
CHUANG CIRACI GZIAREK L(2022)Send to me first: Priority in synchronous message-passingJournal of Functional Programming10.1017/S095679682200011932Online publication date: 22-Dec-2022
https://doi.org/10.1017/S0956796822000119
Brandenburg B(2022)Multiprocessor Real-Time Locking ProtocolsHandbook of Real-Time Computing10.1007/978-981-287-251-7_10(347-446)Online publication date: 9-Aug-2022
https://doi.org/10.1007/978-981-287-251-7_10
Redell DDalal YHorsley TLauer HLynch WMcJones PMurray HPurcell S(2022)Pilot: An Operating System for a Personal ComputerClassic Operating Systems10.1007/978-1-4757-3510-9_20(433-459)Online publication date: 3-Aug-2022
https://doi.org/10.1007/978-1-4757-3510-9_20
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Static lock capabilities for deadlock freedom

Lock elision for read-only critical sections in Java

Lock elision for read-only critical sections in Java

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

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations