A comparative of distributed dead-lock detection algorithms

• Main Authors: Escarrilla, Carlos V., Mariano, Dennis F., Ora, Jose Martin T.
• 格式: text
• 語言: English
• 出版: Animo Repository 1994
• 主題: Computer programs > Verification; Computer simulations; Algorithms; Information systems; Programming Languages and Compilers; Theory and Algorithms
• 在線閱讀: https://animorepository.dlsu.edu.ph/etd_bachelors/6627
• 機構: De La Salle University

Deadlock detection is an important problem in any distributed systems and much attention has been devoted to it in the research community. Although many deadlock detection algorithms have been proposed for distributed systems, their performance evaluation has not received sufficient attention. This thesis is a comparative analysis of five deadlock detection algorithms in a distributed system. This thesis gives a survey of the five selected algorithms, discusses their merits and drawbacks, and compare their performance. Moreover, this thesis will give the proof of correctness of the algorithms. A new deadlock detection algorithm for a distributed system designed by the group will also be included along with its proof of correctness.