The classification of deadlock prevention and avoidance is erroneous

Mechanisms to control resource deadlock are frequently classified as prevention or avoidance schemes. The prevention schemes are listed as those that directly negate the necessary preconditions of resource deadlock. The avoidance schemes, although they obviously also prevent deadlock, are described...

Full description

Saved in:
Bibliographic Details
Published in:Operating systems review 2005-04, Vol.39 (2), p.47-50
Main Author: LEVINE, Gertrude Neuman
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Mechanisms to control resource deadlock are frequently classified as prevention or avoidance schemes. The prevention schemes are listed as those that directly negate the necessary preconditions of resource deadlock. The avoidance schemes, although they obviously also prevent deadlock, are described as not addressing the preconditions for the occurrence of deadlock.We claim that this classification is erroneous. Typically, the necessary preconditions for resource deadlock that are provided are incomplete. Once all of the preconditions are examined, it is obvious that "deadlock avoidance" does indeed negate a precondition.
ISSN:0163-5980
1943-586X
DOI:10.1145/1055218.1055221