併發事務中的死鎖

Question

我試圖找到一種算法來檢測軟件中併發事務中的死鎖。我嘗試了谷歌搜索，但沒有發現任何東西。有人可以指出一個很好的資源來跟蹤這個問題，或有人可以解釋這個算法嗎？

Answer 1

檢測死鎖意味着一些正在獲取的資源的知識。在更簡單的情況下，單個資源管理器（例如數據庫）擁有資源（例如記錄上的鎖），因此可以檢測鎖請求中的週期。因此，可以應用諸如here討論的那些算法。

在兩個併發事務的情況下，對任意資源進行鎖定我沒有看到我們如何在沒有所有正在執行的鎖的「超級用戶」視圖的情況下做到這一點。如果我們有這種監督觀點，那麼我們可以應用前面提到的算法。

我們主要在資源需求中尋找循環。這是一種方法的outline。