Prevention of system deadlocks

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Prevention of system deadlocks

Full text

Pdf (795 KB)

Source

Communications of the ACM archive
Volume 12 , Issue 7 (July 1969) table of contents

Pages: 373 - ff.

Year of Publication: 1969

ISSN:0001-0782

Author

A. N. Habermann

Carnegie-Mellon Univ., Pittsburgh, PA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 37, Downloads (12 Months): 105, Citation Count: 68

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/363156.363160 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	1. DIJKSTRA, E. W. De Bankiers Algorithme. EWD116, Math. Dep., Technological U., Eindhoven, The Netherlands, 1965.
	2	2. DIJKSTRA, E. W. Cooperating sequential processes. EWD123, Math. Dept., Technological U., Eindhoven, The Netherlands, 1965.
	3	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	4	4. REITER, A. A resource-allocation scheme for multi-user on-line operation of a small computer. Proc. AFIPS 1967 Spring Joint Comput. Conf., Vol. 30, Thompson Book Co., Washington, D.C.
	5	5. HABERMANN, A.N. On the harmonious cooperation of abstract machines. Thesis, Math. Dept., Technological U., Eindhoven, The Netherlands, 1967.
	6	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	7	7. HAVENDER, J. W. Avoiding deadlock in multi-tasking systems. IBM Syst. J. 2, 7 (1968).
	8	8. COLLIER, W. W. System deadlocks. IBM Tech. Rep. TR- 001756 (1968).
	9	9. DIJKSTRA, E. W. Towards correct programming. EWD241, Math. Dep., Technological U., Eindhoven, The Netherlands, 1968.
	10	10. MURPHY, J.E. Resource allocation with interlock detection in a multi-task system. Proc. AFIPS 1968 Fall Joint Comput. Conf., Vol. 33, Pt. 2, Thompson Book Co., Washington, D.C., pp. 1169-1176.

CITED BY 68

	Stephen Y. H. Su, An interactive design automation system, Proceedings of the 10th workshop on Design automation, p.253-261, June 25-27, 1973
	Richard C. Holt, Comments on prevention of system deadlocks, Communications of the ACM, v.14 n.1, p.36-38, Jan. 1971
	Clarence A. Ellis, On the probability of deadlock in computer systems, ACM SIGOPS Operating Systems Review, v.7 n.4, p.88-95, October 1973
	E. G. Coffman , M. Elphick , A. Shoshani, System Deadlocks, ACM Computing Surveys (CSUR), v.3 n.2, p.67-78, June 1971
	W. W. Chu , G. Ohlmacher, Avoiding deadlock in distributed data bases, Proceedings of the 1974 annual conference, p.156-160, January 1974
	Kelwyn A. D'Souza , Suresh K. Khator, Petri Net based simulation of controls for a computer-integrated assembly cell, Proceedings of the 24th conference on Winter simulation, p.955-962, December 13-16, 1992, Arlington, Virginia, United States
	Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972
	Rafael O. Fontao, A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems, Proceedings of the third ACM symposium on Operating systems principles, p.72-79, October 18-20, 1971, Palo Alto, California, United States
	Won Kim, Relational Database Systemsr, ACM Computing Surveys (CSUR), v.11 n.3, p.187-211, Sept. 1979
	Søren Lauesen, A large semaphore based operating system, Communications of the ACM, v.18 n.7, p.377-389, July 1975
	Barbara H. Liskov, The design of the Venus operating system, Communications of the ACM, v.15 n.3, p.144-149, March 1972
	T. F. Leibfried, A deadlock detection and recovery algorithm using the formalism of a directed graph matrix, ACM SIGOPS Operating Systems Review, v.23 n.2, p.45-55, April 1989
	John H. Howard, Jr., Mixed solutions for the deadlock problem, Communications of the ACM, v.16 n.7, p.427-430, July 1973
	Robert C. Chen, Deadlock prevention in message switched networks, Proceedings of the 1974 annual conference, p.306-310, January 1974
	S. H. Fuller , D. P. Siewiorek , R. J. Swan, Computer Modules: An architecture for large digital modules, ACM SIGARCH Computer Architecture News, v.2 n.4, p.231-237, december 1973
	Richard C. Holt, Some deadlock properties of computer systems, Proceedings of the third ACM symposium on Operating systems principles, p.64-71, October 18-20, 1971, Palo Alto, California, United States
	K. M. Mossaad , C. L. Wu, Parallel resource allocation algorithms on macro-pipelined architectures, Proceedings of the 19th annual conference on Computer Science, p.299-310, April 1991, San Antonio, Texas, United States
	Dennis J. Frailey, A practical approach to managing resources and avoiding deadlocks, Communications of the ACM, v.16 n.5, p.323-329, May 1973
	D. L. Parnas , A. N. Habermann, Comment on deadlock preventive method, Communications of the ACM, v.15 n.9, p.840-841, Sept. 1972
	R. Devillers, Game interpretation of the deadlock avoidance problem, Communications of the ACM, v.20 n.10, p.741-745, Oct. 1977
	Robert M. Keller, Formal verification of parallel programs, Communications of the ACM, v.19 n.7, p.371-384, July 1976
	Toshimi Minoura, Deadlock avoidance revisited, Journal of the ACM (JACM), v.29 n.4, p.1023-1048, Oct. 1982
	Y. Birk, On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer, IEEE Transactions on Parallel and Distributed Systems, v.4 n.2, p.155-163, February 1993
	Richard C. Holt, Some deadlock properties of computer systems, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
	Rafael O. Fontao, A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
	John Thangarajah , Lin Padgham , Michael Winikoff, Detecting & exploiting positive goal interaction in intelligent agents, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia
	Peter J. Denning, Principles of computer system organization, ACM SIGCSE Bulletin, v.2 n.3, p.45-55, November 1970
	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
	Dieter Zöbel, The Deadlock problem: a classifying bibliography, ACM SIGOPS Operating Systems Review, v.17 n.4, p.6-15, October 1983
	Tiko Kameda, Testing Deadlock-Freedom of Computer Systems, Journal of the ACM (JACM), v.27 n.2, p.270-280, April 1980
	Peter J. Denning, Third Generation Computer Systems, ACM Computing Surveys (CSUR), v.3 n.4, p.175-216, Dec. 1971
	Gregory R. Andrews , Gary M. Levin, On-the-fly deadlock prevention, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.165-172, August 18-20, 1982, Ottawa, Canada
	Philip P. Macri, Deadlock detection and resolution in a CODASYL based data management system, Proceedings of the 1976 ACM SIGMOD international conference on Management of data, June 02-04, 1976, Washington, D.C.
	Waleed A. Muhanna, Composite Programs: Hierarchical Construction, Circularity, and Deadlocks, IEEE Transactions on Software Engineering, v.17 n.4, p.320-333, April 1991
	Shi-Kuo Chang, Data base decomposition in a hierarchical computer system, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California
	J. E. Shemer , A. J. Collmeyer, Database sharing: A study of interference, roadblock and deadlock, Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control, p.147-163, January 1972
	Robert E. Kahn , William R. Crowther, Flow control in a resource-sharing computer network, Proceedings of the ACM second symposium on Problems in the optimizations of data communications systems, p.108-116, January 1971
	Che-Fn Yu , V. D. Gligor, A Specification and Verification Method for Preventing Denial of Service, IEEE Transactions on Software Engineering, v.16 n.6, p.581-592, June 1990
	Jaehwan John Lee , Vincent John Mooney, III, A novel O(n) parallel banker's algorithm for System-on-a-Chip, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China
	Michale J. Spier , Thomas N. Hastings , David N. Cutler, An experimental implementation of the kernel/domain architecture, ACM SIGOPS Operating Systems Review, v.7 n.4, p.8-21, October 1973
	Barry C. Goldstein , Thomas W. Scrutchin, A machine-oriented resource management architecture, ACM SIGARCH Computer Architecture News, v.3 n.4, p.214-219, December 1974
	Quan Lu , Maged Dessouky , Robert C. Leachman, Modeling train movements through complex rail networks, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.14 n.1, p.48-75, January 2004
	Peter J. Denning, Principles of computer system organization, Proceedings of the first SIGCSE technical symposium on Education in computer science, p.45-55, January 1970
	Thomas Murray Cook, Schedule—constrained job scheduling in a multiprogrammed computer system, Proceedings of the 7th conference on Winter simulation, p.675-685, January 14-16, 1974, Washington, DC
	David B. Lomet, A practical deadlock avoidance algorithm for data base systems, Proceedings of the 1977 ACM SIGMOD international conference on Management of data, August 03-05, 1977, Toronto, Ontario, Canada
	Olivier Lecarme , Pierre Desjardins, Reply to a paper by A. N. Habermann on the programming language Pascal, ACM SIGPLAN Notices, v.9 n.10, p.21-27, October 1974
	Xi Chen , Abhijit Davare , Harry Hsieh , Alberto Sangiovanni-Vincentelli , Yosinori Watanabe, Simulation based deadlock analysis for system level designs, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
	Peter S. Browne, Computer security: a survey, ACM SIGMIS Database, v.4 n.3, p.1-12, Fall 1972
	Gertrude Neuman Levine, The classification of deadlock prevention and avoidance is erroneous, ACM SIGOPS Operating Systems Review, v.39 n.2, p.47-50, April 2005
	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
	Shau-Dong Lang, An Extended Banker's Algorithm for Deadlock Avoidance, IEEE Transactions on Software Engineering, v.25 n.3, p.428-432, May 1999
	Jack B. Dennis, Bibliography, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970
	Samy Mahmoud , J. S. Riordon, Protocol considerations for software controlled access methods in distributed data bases, Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation, p.241-264, March 29-31, 1976, Cambridge, Massachusetts, United States
	Toshihide Ibaraki , Hussein M. Abdel-Wahab , Tiko Kameda, Design of Minimum-Cost Deadlock-Free Systems, Journal of the ACM (JACM), v.30 n.4, p.736-751, Oct. 1983
	César Sánchez , Henny B. Sipma , Zohar Manna , Christopher D. Gill, Efficient distributed deadlock avoidance with liveness guarantees, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
	Richard C. Holt, Models and algorithms for deadlock in computer systems, ACM SIGOPS Operating Systems Review, v.5 n.1, p.4-8, March 1971
	M. H. Samadzadeh , B. S. Koshy, A display and analysis tool for process-resource graphs, ACM SIGOPS Operating Systems Review, v.30 n.1, p.39-62, Jan. 1996
	K. C. Sevcik , J. W. Atwood , M. S. Grushcow , R. C. Holt , J. J. Horning , D. Tsichritzis, Project SUE as a learning experience, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
	G. Estrin , R. R. Muntz , R. C. Uzgalis, Modeling, measurement and computer power, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Jaehwan John Lee , Vincent John Mooney, A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip, IEEE Transactions on Parallel and Distributed Systems, v.17 n.12, p.1377-1389, December 2006
	Koji Nezu, System deadlocks resolution, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
	Lance J. Hoffman, The formulary model for flexible privacy and access controls, Proceedings of the May 16-18, 1972, spring joint computer conference, May 16-18, 1972, Atlantic City, New Jersey
	Harry Katzan, Jr., Operating systems architecture, Proceedings of the May 5-7, 1970, spring joint computer conference, May 05-07, 1970, Atlantic City, New Jersey
	C. W. Rose, LOGOS and the software engineer, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
	K. M. Chandy , C. V. Ramamoorthy , A. Cowan, A framework for hardware-software tradeoffs in the design of fault-tolerant computers, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
	Paul F. King , Arthur J. Collmeyer, Database sharing: an efficient mechanism for supporting concurrent processes, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
	Stephen W. Sherman , John H. Howard, Jr. , James C. Browne, A study of response times under various deadlock algorithms and job schedulers, Proceedings of the 1974 annual ACM conference, January 01-01, 1974