article

Free access

Synchronization of communicating processes

Author:

A. Nico HabermannAuthors Info & Claims

Communications of the ACM, Volume 15, Issue 3

Pages 171 - 176

https://doi.org/10.1145/361268.361277

Published: 01 March 1972 Publication History

PDF eReader

Abstract

Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which deposit messages in a buffer and many receiving processes which remove messages from that buffer. The formal description of the synchronization mechanism makes it very easy to prove that the buffer will neither overflow nor underflow, that senders and receivers will never operate on the same message frame in the buffer nor will they run into a deadlock.

References

[1]

Dijkstra, E.W. Cooperating sequential processes. In Programming Languages, F. Genuys, Ed., Academic Press, New York, 1968, pp. 43-112.

Google Scholar

[2]

Dijkstra, E.W. The structure of the "THE"-- multiprogramming system. Comm. ACM 11, 5 (May 1968), 341-346.

Digital Library

Google Scholar

[3]

Parnas, D.L Information distribution aspects of design methodology. Report, Dep. Computer Sci., Carnegie-Mellon U., Pittsburgh, Pa., Feb. 1971.

Google Scholar

[4]

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

Digital Library

Google Scholar

[5]

Botourno, C., et al. Process management and resource sharing in the multiaccess system "ESOPE." Comm. ACM 13, 12 (Dec. 1970), 727-733.

Digital Library

Google Scholar

[6]

Spier, M.J., and Organick, E.I. The multics interprocess communication facility. Proc. Second Symp. on Oper. Syst. Princ., ACM, New York, 1971, pp. 83-91.

Digital Library

Google Scholar

[7]

Dijkstra, E.W. Solution of a problem in concurrent programming control. Comm. ACM 8, 9 (Sept. 1965), 569.

Digital Library

Google Scholar

[8]

Habermann, A.N. An operating system modeled as a set of interacting processes. Ann. Princeton Conf. on Computer Sci. and Syst., March 1971.

Google Scholar

Cited By

View all

Bruneau-Queyreix JBatalla JLacaud MNegru D(2018)PMSACM Transactions on Multimedia Computing, Communications, and Applications10.1145/318351514:2s(1-25)Online publication date: 22-May-2018
https://dl.acm.org/doi/10.1145/3183515
Burger VZinner TDinh-Xuan LWamser FTran-Gia P(2018)A Generic Approach to Video Buffer Modeling Using Discrete-Time AnalysisACM Transactions on Multimedia Computing, Communications, and Applications10.1145/318351114:2s(1-23)Online publication date: 25-Apr-2018
https://dl.acm.org/doi/10.1145/3183511
Tan JWan XLiu HXiao J(2018)QuoteRecACM Transactions on Information Systems10.1145/318337036:3(1-36)Online publication date: 23-Mar-2018
https://dl.acm.org/doi/10.1145/3183370
Show More Cited By

Recommendations

Synchronization of communicating processes

Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which deposit messages in a ...
Synchronization of communicating processes
SOSP '71: Proceedings of the third ACM symposium on Operating systems principles

This paper appears in the March, 1972, issue of the Communications of the ACM. Its abstract is reproduced below.

Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate ...
The nucleus of a multiprogramming system

This paper describes the philosophy and structure of a multi-programming system that can be extended with a hierarchy of operating systems to suit diverse requirements of program scheduling and resource allocation. The system nucleus simulates an ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 15, Issue 3

March 1972

69 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/361268

Editor:
M. Stuart Lynn
Rice Univ., Houston, TX

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 March 1972

Published in CACM Volume 15, Issue 3

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

126
Total Citations
View Citations
777
Total Downloads

Downloads (Last 12 months)105
Downloads (Last 6 weeks)4

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bruneau-Queyreix JBatalla JLacaud MNegru D(2018)PMSACM Transactions on Multimedia Computing, Communications, and Applications10.1145/318351514:2s(1-25)Online publication date: 22-May-2018
https://dl.acm.org/doi/10.1145/3183515
Burger VZinner TDinh-Xuan LWamser FTran-Gia P(2018)A Generic Approach to Video Buffer Modeling Using Discrete-Time AnalysisACM Transactions on Multimedia Computing, Communications, and Applications10.1145/318351114:2s(1-23)Online publication date: 25-Apr-2018
https://dl.acm.org/doi/10.1145/3183511
Tan JWan XLiu HXiao J(2018)QuoteRecACM Transactions on Information Systems10.1145/318337036:3(1-36)Online publication date: 23-Mar-2018
https://dl.acm.org/doi/10.1145/3183370
Denning P(2016)Fifty years of operating systemsCommunications of the ACM10.1145/288015059:3(30-32)Online publication date: 25-Feb-2016
https://dl.acm.org/doi/10.1145/2880150
Tsichritzis DBallard A(2016)Software ReliabilityINFOR: Information Systems and Operational Research10.1080/03155986.1973.1173154211:2(113-124)Online publication date: 25-May-2016
https://doi.org/10.1080/03155986.1973.11731542
Wiśniewski RWiśniewski R(2016)IntroductionPrototyping of Concurrent Control Systems Implemented in FPGA Devices10.1007/978-3-319-45811-3_1(1-13)Online publication date: 1-Oct-2016
https://doi.org/10.1007/978-3-319-45811-3_1
OHearn P(2007)Resources, concurrency, and local reasoningTheoretical Computer Science10.1016/j.tcs.2006.12.035375:1-3(271-307)Online publication date: 20-Apr-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.035
Maimon O(2007)A generic multirobot control experimental systemJournal of Robotic Systems10.1002/rob.46200304093:4(451-466)Online publication date: 13-Mar-2007
https://doi.org/10.1002/rob.4620030409
Frankowski EFranta W(2006)A process oriented simulation model specification and documentation languageSoftware: Practice and Experience10.1002/spe.438010090510:9(721-742)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380100905
Radue JMullins J(2006)Solving synchronization problems using semaphoresSoftware: Practice and Experience10.1002/spe.43800501065:1(51-64)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380050106
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