Synchronization in Distributed Programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Synchronization in Distributed Programs

Full text

Pdf (1.56 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 2 (April 1982) table of contents

Pages: 125 - 148

Year of Publication: 1982

ISSN:0164-0925

Author

Fred B. Schneider

Department of Computer Science, Cornell University, Ithaca, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 51, Citation Count: 40

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357162.357163 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ANDREWS, G.R. On-the-fly deadlock prevention. Tech. Rep. 80-13, Dep. of Computer Science, Univ. of Arizona, Tucson, June 1980.
	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.
	3	Arthur Bernstein, Output Guards and Nondeterminism in “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.234-238, April 1980 [doi>10.1145/357094.357101]
	4	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	5	DIJKSTRA, E.W. Cooperating sequential processes. In Programming Languages, F. Genuys (Ed.). Academic Press, New York, 1968.
	6	Clarence A. Ellis, Consistency and correctness of duplicate database systems, Proceedings of the sixth ACM symposium on Operating systems principles, p.67-84, November 16-18, 1977, West Lafayette, Indiana, United States
	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.
	8	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	9	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	10	LAMPORT, L. The implementation of reliable distributed multiprocess systems. Comput. Networks 2 (1978), 95-114.
	11	LAMPORT, L., SHOSTAK, R., AND PEASE, M. The Byzantine generals problem. Tech. Rep., Computer Science Laboratory, SRI International, Menlo Park, Calif., Mar. 1980.
	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.
	13	Robert M. Metcalfe , David R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, v.19 n.7, p.395-404, July 1976 [doi>10.1145/360248.360253]
	14	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
	15	David P. Reed, Implementing atomic actions on decentralized data (Extended Abstract), Proceedings of the seventh ACM symposium on Operating systems principles, p.163, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806584]
	16	David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979 [doi>10.1145/359060.359076]
	17	Glenn Ricart , Ashok K. Agrawala, An optimal algorithm for mutual exclusion in computer networks, Communications of the ACM, v.24 n.1, p.9-17, Jan. 1981 [doi>10.1145/358527.358537]
	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.
	19	SCHNEIDER, F.B., AND SCHLICHTiNG, R.D. Fast reliable broadcasts. In preparation.
	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.
	21	SCHWAP. Z, J.S. Distributed synchronization of communicating sequential processes. Tech. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Oct. 1978.
	22	SILBERSCHATZ, A. Communication and synchronization in distributed systems. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 542-546.

CITED BY 40

	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Larry L. Peterson , Nick C. Buchholz , Richard D. Schlichting, Preserving and using context information in interprocess communication, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.217-246, Aug. 1989
	G. N. Buckley , Abraham Silberschatz, An Effective Implementation for the Generalized Input-Output Construct of CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.223-235, April 1983
	Baruch Awerbuch, Complexity of network synchronization, Journal of the ACM (JACM), v.32 n.4, p.804-823, Oct. 1985
	C. S. Hsieh , R. A. Mata, Decentralized mutual exclusion in the presence of link failures, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.195-203, February 21-23, 1989, Louisville, Kentucky
	Frank M. Pittelli , Hector Garcia-Molina, Reliable scheduling in a TMR database system, ACM Transactions on Computer Systems (TOCS), v.7 n.1, p.25-60, Feb. 1989
	Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990
	Phil Kearns , Jeffery E. Payne, Time-based performance evaluation of protocols for distributed systems: an alternative to message counting, Proceedings of the 22nd conference on Winter simulation, p.441-445, December 09-12, 1990, New Orleans, Louisiana, United States
	Gene T.J. Wuu , Arthur J. Bernstein, Efficient solutions to the replicated log and dictionary problems, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.233-242, August 27-29, 1984, Vancouver, British Columbia, Canada
	Paulo Veríssimo, Design of fault tolerant distributed systems: the fail-controlled approach, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
	K. Birman , T. Joseph, Exploiting virtual synchrony in distributed systems, ACM SIGOPS Operating Systems Review, v.21 n.5, p.123-138, Nov. 1987
	Devendra Kumar , Saad Harous, An approach towards distributed simulation of timed petri nets, Proceedings of the 22nd conference on Winter simulation, p.428-435, December 09-12, 1990, New Orleans, Louisiana, United States
	Gregory R. Andrews , David P. Dobkin , Peter J. Downey, Distributed allocation with pools of servers, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.73-83, August 18-20, 1982, Ottawa, Canada
	Divyakant Agrawal , Amr El Abbadi, An efficient and fault-tolerant solution for distributed mutual exclusion, ACM Transactions on Computer Systems (TOCS), v.9 n.1, p.1-20, Feb. 1991
	Leslie Lamport, Using Time Instead of Timeout for Fault-Tolerant Distributed Systems., ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.254-280, April 1984
	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985
	R. J. R. Back , F. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.513-554, Oct. 1988
	Fred B. Schneider, Byzantine generals in action: implementing fail-stop processors, ACM Transactions on Computer Systems (TOCS), v.2 n.2, p.145-154, May 1984
	Michael L. Powell , David L. Presotto, Publishing: a reliable broadcast communication mechanism, ACM SIGOPS Operating Systems Review, v.17 n.5, p.100-109, October 1983
	Mamoru Maekawa, A N algorithm for mutual exclusion in decentralized systems, ACM Transactions on Computer Systems (TOCS), v.3 n.2, p.145-159, May 1985
	David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985
	Hector Garcia-Molina , AnneMarie Spauster, Ordered and reliable multicast communication, ACM Transactions on Computer Systems (TOCS), v.9 n.3, p.242-271, Aug. 1991
	Y. K. Tsay , R. L. Bagrodia, Fault-Tolerant Algorithms for Fair Interprocess Synchronization, IEEE Transactions on Parallel and Distributed Systems, v.5 n.7, p.737-748, July 1994
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	D. Agrawal , A. El Abbadi , R. C. Steinke, Epidemic algorithms in replicated databases (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.161-172, May 11-15, 1997, Tucson, Arizona, United States
	Rajive Bagrodia, Synchronization of asynchronous processes in CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.585-597, Oct. 1989
	John M. Mellor-Crummey , Michael L. Scott, Algorithms for scalable synchronization on shared-memory multiprocessors, ACM Transactions on Computer Systems (TOCS), v.9 n.1, p.21-65, Feb. 1991
	D. Agrawal , A. El Abbadi, Storage Efficient Replicated Databases, IEEE Transactions on Knowledge and Data Engineering, v.2 n.3, p.342-352, September 1990
	O. T. Satyanarayanan , D. Agrawal, Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases, IEEE Transactions on Knowledge and Data Engineering, v.5 n.5, p.859-871, October 1993
	JoAnne Holliday , Robert Steinke , Divyakant Agrawal , Amr El Abbadi, Epidemic Algorithms for Replicated Databases, IEEE Transactions on Knowledge and Data Engineering, v.15 n.5, p.1218-1238, September 2003
	M. Ahuja, An Implementation of F-Channels, IEEE Transactions on Parallel and Distributed Systems, v.4 n.6, p.658-667, June 1993
	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983
	Miguel Castro , Barbara Liskov, Practical byzantine fault tolerance and proactive recovery, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.398-461, November 2002
	Jason Gait, A Kernel for High-Performance Multicast Communications, IEEE Transactions on Computers, v.38 n.2, p.218-226, February 1989
	R. Bagrodia, Process Synchronization: Design and Performance Evaluation of Distributed Algorithms, IEEE Transactions on Software Engineering, v.15 n.9, p.1053-1065, September 1989
	Roberto Baldoni , Bruno Ciciani, A class of high performance Maekawa-type algorithms for distributed systems under heavy demand, Distributed Computing, v.8 n.4, p.171-180, June 1995
	D. Agrawal , A. J. Bernstein, A Nonblocking Quorum Consensus Protocol for Replicated Data, IEEE Transactions on Parallel and Distributed Systems, v.2 n.2, p.171-179, April 1991
	M. Mat Deris , Z. Aznida , M. Y. Saman , W. A. Suryani , M. Zarina, Performance modelling of asynchronous replica distribution technique on distributed database systems, International Journal of Computer Mathematics, v.84 n.2, p.183-192, February 2007
	Divyakant Agrawal , Amr El Abbadi, Reducing Storage for Quorum Consensus Algorithms, Proceedings of the 14th International Conference on Very Large Data Bases, p.419-430, August 29-September 01, 1988