|
多年來，偵測分散式死結已成為分散式系統中之一重要研究課題。然而，在些於已提
出的方法中，有很多是錯誤的。死結偵測方法之正確與否，端賴是否能在一定時間內
偵測出已發生之死結及是否會偵測到假死結（指不存在之死結或已被打破之死結）。
Sinha 和Natarajan [SINH 84, 85] 以Chandy, Misra 和Haas [CHAN 82, 83]的方法
為基礎，提出分散式資料庫系統中，以優先權為根據（pri-ority-based ）之死結偵
測及解決方法。在Sinha 的方法中，採用一種稱為偵察為根據之死結偵測策略（prob
e-based deadlockdetection stratagy）[ELM 86a] 。然而，Sinha 的方法既不是完
整的（Completc）也失之有效（Sound ）。本篇論文首先就在那些情況下，Sinha 的
方法無法正確的運作加以闡述。然後，接著提出修正的方法。此外，經由減少用來偵
測死結所需之傳送通信，本篇所提的方法提高了Sinha 方法的效率。
|