A Distributed Procedure to Detect and/or Deadlock.

Abstract

The authors present a procedure to detect deadlock in a distributed system. The procedure is dynamic and distributed. Deadlock will be correctly detected for general resource requests of the form: 'Lock file A and file B at NY or lock file A and file B at LA'. The contribution of this paper is that it presents a distributed solution to the deadlock detection problem when requests have AND/OR form.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1983
Accession Number
ADA135459

Entities

People

  • K. M. Chandy
  • T. Herman

Organizations

  • University of Texas at Austin

Tags

DTIC Thesaurus Topics

  • Air Force
  • Computations
  • Computer Science
  • Computers
  • Databases
  • Detection
  • Detectors
  • Explosives Initiators
  • Fungi
  • Language
  • Notation
  • Nutrition Disorders
  • Operating Systems
  • Parallel Computing
  • Parallel Processing
  • Reflection
  • Sequences

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Mathematical Modeling and Probability Theory.
  • Oncology and Biomarker-Based Cancer Detection.