The classification of deadlock prevention and avoidance is erroneous

  • Authors:
  • Gertrude Neuman Levine

  • Affiliations:
  • Fairleigh Dickinson University

  • Venue:
  • ACM SIGOPS Operating Systems Review
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.