article

Free access

Prevention of system deadlocks

Author:

A. N. HabermannAuthors Info & Claims

Communications of the ACM, Volume 12, Issue 7

Pages 373 - ff.

https://doi.org/10.1145/363156.363160

Published: 01 July 1969 Publication History

PDF eReader

References

[1]

1. DIJKSTRA, E. W. De Bankiers Algorithme. EWD116, Math. Dep., Technological U., Eindhoven, The Netherlands, 1965.

Google Scholar

[2]

2. DIJKSTRA, E. W. Cooperating sequential processes. EWD123, Math. Dept., Technological U., Eindhoven, The Netherlands, 1965.

Digital Library

Google Scholar

[3]

3. DENNIS, J. B, and VAN HORN, E. C. Programming semantics for multiprogrammed computations. Comm. ACM 4, 3 (Mar. 1966), 143-155.

Digital Library

Google Scholar

[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.

Google Scholar

[5]

5. HABERMANN, A.N. On the harmonious cooperation of abstract machines. Thesis, Math. Dept., Technological U., Eindhoven, The Netherlands, 1967.

Google Scholar

[6]

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

Digital Library

Google Scholar

[7]

7. HAVENDER, J. W. Avoiding deadlock in multi-tasking systems. IBM Syst. J. 2, 7 (1968).

Google Scholar

[8]

8. COLLIER, W. W. System deadlocks. IBM Tech. Rep. TR- 001756 (1968).

Google Scholar

[9]

9. DIJKSTRA, E. W. Towards correct programming. EWD241, Math. Dep., Technological U., Eindhoven, The Netherlands, 1968.

Google Scholar

[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.

Google Scholar

Cited By

View all

Xing ZWang XWang SWu WHu R(2023)A novel motion coordination method for variable-sized multi-mobile robots一种新型变尺寸多移动机器人的运动协同方法Frontiers of Information Technology & Electronic Engineering10.1631/FITEE.220016024:4(521-535)Online publication date: 11-May-2023
https://doi.org/10.1631/FITEE.2200160
Hou YMao YZhang YLi QJi YLi W(2022)A Discrete-Event Mathematical Model for Resource Allocation Optimization: A Case Study of Vehicle Scheduling in a Signal-Free IntersectionMathematics10.3390/math1022418310:22(4183)Online publication date: 9-Nov-2022
https://doi.org/10.3390/math10224183
Dal Sasso VLamorgese LMannino CTancredi AVentura P(2022)Easy Cases of Deadlock Detection in Train SchedulingOperations Research10.1287/opre.2022.228370:4(2101-2118)Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1287/opre.2022.2283
Show More Cited By

Index Terms

Prevention of system deadlocks
1. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Memory management
        Allocation / deallocation strategies
        Process management
        Deadlocks
        Multiprocessing / multiprogramming / multitasking

Recommendations

Comments on prevention of system deadlocks

Habermann's method of deadlock prevention is discussed, where deadlock is defined as a system state from which resource allocations to certain processes are not possible. It is shown that the scheduler may introduce “artificial” deadlocks which ...
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines

The deadline of a request is the time instant at which its execution must complete. The deadline of the request in any period of a job with deferred deadline is some time instant after the end of the period. The authors describe a semi-static priority-...
Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System

A description is given of the design, implementation, and experimental evaluation of a multiprocessor scheduler used with robotics applications and other real-time programs. The scheduler makes decisions concerning both the assignment of processes and ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 12, Issue 7

July 1969

86 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/363156

Editor:
M. Stuart Lynn
IBM Scientific Center, 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 July 1969

Published in CACM Volume 12, Issue 7

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

296
Total Citations
View Citations
2,001
Total Downloads

Downloads (Last 12 months)309
Downloads (Last 6 weeks)35

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Xing ZWang XWang SWu WHu R(2023)A novel motion coordination method for variable-sized multi-mobile robots一种新型变尺寸多移动机器人的运动协同方法Frontiers of Information Technology & Electronic Engineering10.1631/FITEE.220016024:4(521-535)Online publication date: 11-May-2023
https://doi.org/10.1631/FITEE.2200160
Hou YMao YZhang YLi QJi YLi W(2022)A Discrete-Event Mathematical Model for Resource Allocation Optimization: A Case Study of Vehicle Scheduling in a Signal-Free IntersectionMathematics10.3390/math1022418310:22(4183)Online publication date: 9-Nov-2022
https://doi.org/10.3390/math10224183
Dal Sasso VLamorgese LMannino CTancredi AVentura P(2022)Easy Cases of Deadlock Detection in Train SchedulingOperations Research10.1287/opre.2022.228370:4(2101-2118)Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1287/opre.2022.2283
Wang XHu HZhou M(2022)Discrete Event Approach to Robust Control in Automated Manufacturing SystemsIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2020.303544652:1(123-135)Online publication date: Jan-2022
https://doi.org/10.1109/TSMC.2020.3035446
Fransen KReniers Mvan Eekelen J(2022)Deadlock avoidance algorithm for AGVs on a tessellated layout2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49997.2022.9926571(1163-1169)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1109/CASE49997.2022.9926571
Lauesen S(2022)A Large Semaphore Based Operating SystemClassic Operating Systems10.1007/978-1-4757-3510-9_15(295-323)Online publication date: 3-Aug-2022
https://doi.org/10.1007/978-1-4757-3510-9_15
Liskov B(2022)The Design of the Venus Operating SystemClassic Operating Systems10.1007/978-1-4757-3510-9_14(282-294)Online publication date: 3-Aug-2022
https://doi.org/10.1007/978-1-4757-3510-9_14
Chen MLu YZhang C(2021)Deadlock-solving Traffic Control Methods for Automated Guided Vehicle Systems2021 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM)10.1109/IEEM50564.2021.9673048(51-57)Online publication date: 13-Dec-2021
https://doi.org/10.1109/IEEM50564.2021.9673048
Song DLi YSong T(2021)Modified Banker's algorithm with dynamically release resources2021 International Conference on Communications, Information System and Computer Engineering (CISCE)10.1109/CISCE52179.2021.9445935(566-569)Online publication date: 14-May-2021
https://doi.org/10.1109/CISCE52179.2021.9445935
Zając JMałopolski W(2021)Structural on-line control policy for collision and deadlock resolution in multi-AGV systemsJournal of Manufacturing Systems10.1016/j.jmsy.2021.05.00260(80-92)Online publication date: Jul-2021
https://doi.org/10.1016/j.jmsy.2021.05.002
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.

References

Cited By

Index Terms

Recommendations

Comments on prevention of system deadlocks

Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines

Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations