与银行家算法有关

Question

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

Answer 1

在银行家算法的正式论证中，它假设所有程序在一段有限的时间后返回其资源，因此从技术上讲，这种情况不会发生（至少不会发生）在数学上完美的世界，其中描述了问题; - ）。

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