Prevention of system deadlocks

DOI10.1145/363156.363160MaRDI QIDQ5576027zbMATH OpenOpenAlexFDO

Authors A. N. Habermann

Publication date 1969

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/363156.363160

zbMATH Keywords

computer science and automata

Cited in

(20)

• Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
• Scheduling according to job priority with prevention of deadlock and permanent blocking
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• The Banker's problem with precedences
• Control of deadlock and blocking for production systems with unreliable workstations
• Functional behavior in data spaces
• A new safety test for deadlock avoidance
• Easy cases of deadlock detection in train scheduling
• scientific article; zbMATH DE number 3864482 (Why is no real title available?)
• A fair Banker's Algorithm for read and write locks
• Job scheduling guaranteing reasonable turn-around times
• Deadlock-freedom in resource contentions
• A new algorithm for deadlock avoidance
• A linear algorithm of a deadlock avoidance for nonpreemptible resources
• Deadlock avoidance with a modified banker's algorithm
• The parallel complexity of deadlock detection
• Program control of operating systems
• New trends in machine scheduling
• A graph model for scheduling processes in systems with parallel computations
• Probabilistic models of computer deadlock

This page was built for publication: Prevention of system deadlocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5576027)