Additional comments on a problem in concurrent programming control

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Additional comments on a problem in concurrent programming control

Full text

Pdf (242 KB)

Source

Communications of the ACM archive
Volume 9 , Issue 5 (May 1966) table of contents

Pages: 321 - 322

Year of Publication: 1966

ISSN:0001-0782

Author

Donald E. Knuth

California Institute of Technology, Pasadena

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 96, Citation Count: 55

Additional Information:

cited by 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/355592.365595 What is a DOI?

CITED BY 55

	J. J. Horning , B. Randell, Process Structuring, ACM Computing Surveys (CSUR), v.5 n.1, p.5-30, March 1973
	J. L. Baer, A Survey of Some Theoretical Aspects of Multiprocessing, ACM Computing Surveys (CSUR), v.5 n.1, p.31-80, March 1973
	Howard P. Katseff, A new solution to the critical section problem, Proceedings of the tenth annual ACM symposium on Theory of computing, p.86-88, May 01-03, 1978, San Diego, California, United States
	Gary L. Peterson , Michael J. Fischer, Economical solutions for the critical section problem in a distributed system (Extended Abstract), Proceedings of the ninth annual ACM symposium on Theory of computing, p.91-97, May 04-04, 1977, Boulder, Colorado, United States
	Eugene W. Stark, Semaphore primitives and starvation-free mutual exclusion, Journal of the ACM (JACM), v.29 n.4, p.1049-1072, Oct. 1982
	Anna R. Karlin , Kai Li , Mark S. Manasse , Susan Owicki, Empirical studies of competitve spinning for a shared-memory multiprocessor, ACM SIGOPS Operating Systems Review, v.25 n.5, p.41-55, Oct. 1991
	P. G. Sorenson, Interprocess communication in real-time systems, ACM SIGOPS Operating Systems Review, v.7 n.4, p.1-7, October 1973
	Jeffrey M. Jaffe, Decentralized Simulation of Resource Managers, Journal of the ACM (JACM), v.30 n.2, p.300-322, April 1983
	Saul Rosen, Programming systems and languages 1965-1975, Communications of the ACM, v.15 n.7, p.591-600, July 1972
	Irene Greif , Carl Hewitt, Actor semantics of PLANNER-73, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.67-77, January 20-22, 1975, Palo Alto, California
	C. V. Ramamoorthy , M. J. Gonzalez, Recognition and representation of parallel processable streams in computer programs-II (Task/process Parallelism), Proceedings of the 1969 24th national conference, p.387-397, August 26-28, 1969
	Michael J. Fischer , Nancy A. Lynch , James E. Burns , Allan Borodin, Distributed FIFO allocation of identical resources using small shared space, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.1, p.90-114, Jan. 1989
	M. G. Gouda , C. K. Chang, A technique for proving liveness of communicating finite state machines with examples, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.38-49, August 27-29, 1984, Vancouver, British Columbia, Canada
	P. C. Saxena , J. Rai, A survey of permission-based distributed mutual exclusion algorithms, Computer Standards & Interfaces, v.25 n.2, p.159-181, May 2003
	James H. Anderson, Lamport on mutual exclusion: 27 years of planting seeds, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.3-12, August 2001, Newport, Rhode Island, United States
	Jason Gait, Semaphores outside the kernel, ACM SIGPLAN Notices, v.19 n.10, p.12-21, October 1984
	Leslie Lamport, The mutual exclusion problem: partII—statement and solutions, Journal of the ACM (JACM), v.33 n.2, p.327-348, April 1986
	Leslie Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, v.17 n.8, p.453-455, Aug. 1974
	Murray A. Eisenberg , Michael R. McGuire, Further comments on Dijkstra's concurrent programming control problem, Communications of the ACM, v.15 n.11, p.999, Nov. 1972
	Philip Gilbert , W. J. Chandler, Interference between communicating parallel processes, Communications of the ACM, v.15 n.6, p.427-437, June 1972
	Leslie Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems (TOCS), v.5 n.1, p.1-11, Feb. 1987
	Robert Cypher, The communication requirements of mutual exclusion, Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures, p.147-156, June 24-26, 1995, Santa Barbara, California, United States
	Allan Gottlieb , Boris D. Lubachevsky , Larry Rudolph, Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.164-189, April 1983
	Niklaus Wirth, A note on “Program structures for parallel processing”, Communications of the ACM, v.9 n.5, p.320-321, May 1966
	Richard C. Holt, Comments on prevention of system deadlocks, Communications of the ACM, v.14 n.1, p.36-38, Jan. 1971
	Fuyau Lin, A formalism for specifying communicating processes, Proceedings of the 1993 ACM conference on Computer science, p.123-130, February 16-18, 1993, Indianapolis, Indiana, United States
	Gary L. Peterson, A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.56-65, Jan. 1983
	Edward A. Lycklama , Vassos Hadzilacos, A first-come-first-served mutual-exclusion algorithm with small communication variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.558-576, Oct. 1991
	P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971
	Yuh-Jzer Joung, Asynchronous group mutual exclusion (extended abstract), Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.51-60, June 28-July 02, 1998, Puerto Vallarta, Mexico
	James E. Burns , Paul Jackson , Nancy A. Lynch , Michael J. Fischer , Gary L. Peterson, Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable, Journal of the ACM (JACM), v.29 n.1, p.183-205, Jan. 1982
	Shamim A. Naqvi, MSL: a microprocessors systems language, Proceedings of the 16th annual Southeast regional conference, p.11-15, April 13-15, 1978, Atlanta, Georgia
	H. F. Tibbals, A structure for interprocess communication in a data communications handler, Proceedings of the annual conference, p.356-360, October 20-22, 1976, Houston, Texas, United States
	Charles M. Shub, A unified treatment of deadlock, Journal of Computing Sciences in Colleges, v.19 n.1, p.194-204, October 2003
	John M. Chambers, A user-controlled synchronization method, ACM SIGOPS Operating Systems Review, v.7 n.2, p.16-25, April 1973
	James H. Anderson , Yong-Jik Kim , Ted Herman, Shared-memory mutual exclusion: major research trends since 1986, Distributed Computing, v.16 n.2-3, p.75-110, September 2003
	James E. Burns, Mutual exclusion with linear waiting using binary shared variables, ACM SIGACT News, v.10 n.2, Summer 1978
	Michel Dubois , Christoph Scheurich, Memory Access Dependencies in Shared-Memory Multiprocessors, IEEE Transactions on Software Engineering, v.16 n.6, p.660-673, June 1990
	David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Chung-Kuo Chang, Bidding Against Competitors, IEEE Transactions on Software Engineering, v.16 n.1, p.100-104, January 1990
	Dan E. Willard, Log-logarithmic protocols for resolving ethernet and semaphore conflicts, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.512-521, December 1984
	Yuh-Jzer Joung, Asynchronous group mutual exclusion, Distributed Computing, v.13 n.4, p.189-206, November 2000
	William W. Collier, Asynchronous interactions on shared data, ACM SIGOPS Operating Systems Review, v.7 n.2, p.6-15, April 1973
	Philip M. Mills, Control functions for a multiprocessor architecture, ACM SIGOPS Operating Systems Review, v.11 n.1, p.26-40, January 1977
	Manhoi Choy , Ambuj K. Singh, Adaptive solutions to the mutual exclusion problem, Distributed Computing, v.8 n.1, p.1-17, August 1994
	Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
	B. K. Szymanski, A simple solution to Lamport's concurrent programming problem with linear wait, Proceedings of the 2nd international conference on Supercomputing, p.621-626, June 1988, St. Malo, France
	Ifen Yang , William Moloney, Concurrent reading and writing with replicated data objects, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.414-417, February 1988, Atlanta, Georgia, United States
	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
	Faisel Saeed , K. M. George , M. H. Samadzadeh, Implementation of classical mutual exclusion algorithms in Ada, ACM SIGAda Ada Letters, v.XII n.1, p.73-84, Jan./Feb. 1992
	Gerald Jay Sussman , Guy L. Steele, Jr., Scheme: A Interpreter for Extended Lambda Calculus, Higher-Order and Symbolic Computation, v.11 n.4, p.405-439, December 1998
	J. A. Gosden, Explicit parallel processing description and control in programs for multi- and uni-processor computers, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
	C. V. Ramamoorthy , M. J. Gonzalez, A survey of techniques for recognizing parallel processable streams in computer programs, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
	Larry L. Constantine, Control of sequence and parallelism in modular programs, Proceedings of the April 30--May 2, 1968, spring joint computer conference, April 30-May 02, 1968, Atlantic City, New Jersey
	Masahiro Hirata , Toshio Nishimura, A prover for parallel processes, Proceedings of the 6th international joint conference on Artificial intelligence, p.384-389, August 20-23, 1979, Tokyo, Japan

Collaborative Colleagues:

Donald E. Knuth: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player