operating-system - 银行家算法相关

Question

虽然银行动态分配资源以确保系统始终安全，但如果其中一个线程不放弃已分配给它的资源(由于某些无限循环或其他原因)会导致 银行无法满足其他线程的需求？这会被称为死锁吗？

Answer 1

在银行家算法的正式论证中，假设所有程序在有限的时间后归还它们的资源，所以从技术上讲，这种情况不会发生(至少，在问题所在的数学上完美的世界中不会发生描述;-).

但是，它仍然不会被视为死锁——进入无限循环的线程并没有等待任何资源，它只是坐在那里没有任何进展。这种类型的问题简直就是……挂起。几种可能的悬挂类型是 starvation and livelock ，尽管在最简单的情况下，如果线程只是进入休眠状态/进入一个什么都不做的无限循环，但据我所知，没有正式的术语来描述这种情况。