Back to results

University of Nevada, Las Vegas

Design of deadlock detection and prevention algorithms in distributed systems

Abstract

dc:description.abstract

A distributed system consists of a collection of processes which communicate with each other by exchanging messages to achieve a common goal. One of the key problems in distributed systems is the possibility of deadlock. Processes are said to be deadlocked when some processes are blocked on resource requests that can never be satisfied unless drastic systems action is taken. Two distributed deadlock detection algorithms handling multiple outstanding requests is proposed and are proven to be correct: it detects all cycles and does not detect false deadlocks. The algorithms are based on the concept of chasing the edge of the waitfor graph (probe-based). Simulation results show that the proposed algorithm performs very well compared to some existing algorithms. A deadlock prevention algorithm based on the notion of coloring the nodes of the waitfor graph is also proposed. Rollback is quite less compared to some existing algorithms.

Degree

thesis:*
Name thesis:degree_name
Master of Science (MS)
Level thesis:degree_level
Thesis
Discipline thesis:degree_discipline
Computer Science
Grantor dc:publisher
University of Nevada, Las Vegas
Year
1990

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Javagal, Ramesh Dutt
Contributors dc:contributor
  • Ajoy Kumar Datta

Rights

dc:rights
Statement dc:rights
  • IN COPYRIGHT. For more information about this rights statement, please visit http://rightsstatements.org/vocab/InC/1.0/
Language dc:language
English

Identifiers

dc:identifier.*
OAI identifier oai:identifier
oai:oasis.library.unlv.edu:rtds-1170

Chain of custody

source
Harvested from
University of Nevada - Las Vegas
Base URL
oasis.library.unlv.edu/do/oai/
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
related terms
citation

Javagal, Ramesh Dutt. Design of deadlock detection and prevention algorithms in distributed systems. Thesis thesis, University of Nevada, Las Vegas, 1990. https://doi.org/10.25669/oz5l-y0pv