article

Open access

Synchronization in Distributed Programs

Editor: Susan L. Graham Author:

Fred B. SchneiderAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 4, Issue 2

Pages 125 - 148

https://doi.org/10.1145/357162.357163

Published: 01 April 1982 Publication History

PDF eReader

References

[1]

ANDREWS, G.R. On-the-fly deadlock prevention. Tech. Rep. 80-13, Dep. of Computer Science, Univ. of Arizona, Tucson, June 1980.

Google Scholar

[2]

BANINO, J.S., ~AISER, C., AND ZIMMERMANN, H. Synchronization for distributed systems using a single broadcast channel. In Proceedings of First International Conference on Distributed Computing Systems, Oct. 1979, pp. 330-338.

Google Scholar

[3]

BERNSTEIN, A.J. Output guards and nondeterminism in "Communicating Sequential Processes." ACM Trans. Program. Lang. Syst. 2, 2 (Apr. 1980), 234-238.

Crossref

Google Scholar

[4]

DIJKSTRA, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976.

Crossref

Google Scholar

[5]

DIJKSTRA, E.W. Cooperating sequential processes. In Programming Languages, F. Genuys (Ed.). Academic Press, New York, 1968.

Google Scholar

[6]

ELLIS, C.A. Consistency and correctness of duplicate database systems. In Proceedings of the Sixth Symposium on Operating Systems Principles, Purdue Univ., Lafayette, Ind., Nov. 1977, pp. 67-84.

Crossref

Google Scholar

[7]

FARBER, D., FELDMAN, J., HEINRICH, F., HOPWOOD, M., LARSON, K., LOOMIS, D., AND ROWE, L. The distributed computing system. In Proceedings of 7th Annual IEEE Computer Society International Conference, Feb. 1973, pp. 31-34.

Google Scholar

[8]

HOARE, C.A.R. Communicating sequential processes. Commun. A CM21, 8 (Aug. 1978), 666-677.

Crossref

Google Scholar

[9]

LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July 1978), 558-565.

Crossref

Google Scholar

[10]

LAMPORT, L. The implementation of reliable distributed multiprocess systems. Comput. Networks 2 (1978), 95-114.

Google Scholar

[11]

LAMPORT, L., SHOSTAK, R., AND PEASE, M. The Byzantine generals problem. Tech. Rep., Computer Science Laboratory, SRI International, Menlo Park, Calif., Mar. 1980.

Google Scholar

[12]

LE LANN, G. Algorithms for distributed datasharing systems which use tickets. In Proceedings, 3rd Berkeley Workshop on Distributed Data Management and Computer Networks, Berkeley, Calif., Aug. 1978, pp. 259-272.

Google Scholar

[13]

METCALFE, R.M., AND Boaas, D.R. Ethernet' Distributed packet switching for local computer networks. Commun. ACM 19, 7 (July 1976), 395-404.

Crossref

Google Scholar

[14]

PRELIMINARY ADA REFERENCE MANUAL. SIGPLAN Notices (ACM) 14, 6 (June 1979), pt. A.

Crossref

Google Scholar

[15]

REED, D.P. Implementing atomic actions on decentralized data. In Preprints for the Seventh Symposium on Operating Systems Principles, Dec. 1979, pp. 66-74.

Crossref

Google Scholar

[16]

REED, D.P., AND KANODIA, R.K. Synchronization with eventcounts and sequencers. Commun. ACM 22, 2 (Feb. 1979), 115-123.

Crossref

Google Scholar

[17]

RICART, G., AND ACl~AWALA, A.K. An optimal algorithm for mutual exclusion in computer networks. Commun. ACM 24, I (Jan. 1981), 9-17.

Crossref

Google Scholar

[18]

SCHNEIDER, F.B. Ensuring consistency in a distributed database system by use of distributed semaphores. In Proceedings of International Symposium on Distributed Data Bases, Paris, France, Mar. 1980, pp. 183-189.

Google Scholar

[19]

SCHNEIDER, F.B., AND SCHLICHTiNG, R.D. Fast reliable broadcasts. In preparation.

Google Scholar

[20]

SCHNEIDER, F.B., AND SCHL,CHTINC, R.D. Towards fault-tolerant process control software. In Proc. llth Annual Symposium on Fault-Tolerant Computing, Portland, Me., June 1981, pp. 48-55.

Google Scholar

[21]

SCHWAP. Z, J.S. Distributed synchronization of communicating sequential processes. Tech. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Oct. 1978.

Google Scholar

[22]

SILBERSCHATZ, A. Communication and synchronization in distributed systems. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 542-546.

Google Scholar

Cited By

View all

(2019)ReferencesConcurrency10.1145/3335772.3335940(319-333)Online publication date: 4-Oct-2019
https://dl.acm.org/doi/10.1145/3335772.3335940
Chen LZhou W(2015)Byzantine Fault Tolerance with Window Mechanism for Replicated Services2015 Fifth International Conference on Instrumentation and Measurement, Computer, Communication and Control (IMCCC)10.1109/IMCCC.2015.269(1255-1258)Online publication date: Sep-2015
https://doi.org/10.1109/IMCCC.2015.269
Hens PSnoeck MPoels GDe Backer M(2014)Process fragmentation, distribution and execution using an event-based interaction schemeJournal of Systems and Software10.5555/2747476.274752189:C(170-192)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.5555/2747476.2747521
Show More Cited By

Recommendations

Distributed source-destination synchronization using inband clock distribution

This paper presents a new distributed methodology for source destination synchronization for interactive teleconferencing. The method is based on a reference clock, which is synthesized from a distributed global clock. The global clock is generated by ...
Precise relative clock synchronization for distributed control using TSC registers

Precise clock synchronization is essential in emerging time-critical distributed control systems operating over computer networks where the clock synchronization requirements are mostly focused on relative clock synchronization and high synchronization ...
Scalable synchronization of clocks in distributed environments
PDCS '07: Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems

In many distributed applications, identifying the sequence of event occurrence is useful. Doing so requires local clocks to be properly synchronized with each other. This paper presents a method of pseudo-synchronization of clocks by making use of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 4, Issue 2

April 1982

198 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/357162

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1982

Published in TOPLAS Volume 4, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

107
Total Citations
View Citations
1,859
Total Downloads

Downloads (Last 12 months)136
Downloads (Last 6 weeks)15

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

(2019)ReferencesConcurrency10.1145/3335772.3335940(319-333)Online publication date: 4-Oct-2019
Chen LZhou W(2015)Byzantine Fault Tolerance with Window Mechanism for Replicated Services2015 Fifth International Conference on Instrumentation and Measurement, Computer, Communication and Control (IMCCC)10.1109/IMCCC.2015.269(1255-1258)Online publication date: Sep-2015
Hens PSnoeck MPoels GDe Backer M(2014)Process fragmentation, distribution and execution using an event-based interaction schemeJournal of Systems and Software10.5555/2747476.274752189:C(170-192)Online publication date: 1-Mar-2014
Hens PSnoeck MPoels GDe Backer M(2014)Process fragmentation, distribution and execution using an event-based interaction schemeJournal of Systems and Software10.1016/j.jss.2013.11.111189(170-192)Online publication date: Mar-2014
(2014)Readings in Distributed Artificial IntelligenceundefinedOnline publication date: 5-Jun-2014
Kobus TKokocinski MWojciechowski P(2013)Hybrid ReplicationProceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems10.1109/ICDCS.2013.30(286-296)Online publication date: 8-Jul-2013
Potiron KEl Fallah Seghrouchni ATaillibert PPotiron KEl Fallah Seghrouchni ATaillibert P(2013)ConclusionFrom Fault Classification to Fault Tolerance for Multi-Agent Systems10.1007/978-1-4471-5046-6_7(75-80)Online publication date: 22-Mar-2013
Potiron KEl Fallah Seghrouchni ATaillibert PPotiron KEl Fallah Seghrouchni ATaillibert P(2013)Fault Classification Attributes as an Ontology to Build Fault Tolerant MASFrom Fault Classification to Fault Tolerance for Multi-Agent Systems10.1007/978-1-4471-5046-6_6(59-74)Online publication date: 22-Mar-2013
Freudenreich TAppel SFrischbier SBuchmann ABry FPaschke AEugster PFetzer CBehrend A(2012)ACTrESSProceedings of the 6th ACM International Conference on Distributed Event-Based Systems10.1145/2335484.2335505(179-190)Online publication date: 16-Jul-2012
Schloss HBotev JHohfeld AScholtes IOechsle REsch M(2008)HiOPS overlay - efficient provision of multicast in peer-to-peer systems2008 16th IEEE International Conference on Networks10.1109/ICON.2008.4772570(1-6)Online publication date: Dec-2008
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.

Cited By

Index Terms

Recommendations

Distributed source-destination synchronization using inband clock distribution

Precise relative clock synchronization for distributed control using TSC registers

Scalable synchronization of clocks in distributed environments