與銀行家算法相關

Question

雖然銀行動態分配資源確保系統始終安全，但如果其中一個線程沒有放棄已分配的資源（由於某種無限循環或某種原因）會導致什麼結果在銀行的無法滿足其他線程的需求？這會被稱爲僵局嗎？

Answer 1

在銀行家算法的正式論證中，假設所有程序在有限的時間後都返回資源，所以從技術上講這種情況不會發生（至少，不是在數學上完美的世界裏面的問題被描述;-)。

但是，它仍然不會被視爲死鎖 - 進入無限循環的線程不會等待任何資源，它只是坐在那裏沒有任何進展。這種類型的問題只會是......掛起。一些可能的掛起類型是starvation and livelock，儘管在最簡單的情況下，如果線程剛剛進入睡眠狀態/進入一個無所事事的無限循環，那麼我就不會有形式化的術語來描述它。