死锁检测算法｜Bilibili 三面，资源分配图中存在环路则一定出现死锁么？

文章预览

作者 | 小牛肉 来源 | 飞天小牛肉 死锁避免算法大部分小伙 伴应该都能说出来 “银行家算法”，死锁检测算法确实不常问也不常见，最近在一篇 Bilibili 的三面面经中看见了死锁检测算法，遂写出此文。 img 死锁检测模型 在并发系统中，多个进程可能会因为资源竞争而陷入死锁。 死锁检测模型 提供了一种机制，通过将系统状态抽象为资源分配图，来识别死锁的存在。在这个图中，每个进程和资源都被表示为节点，资源和进程之间的有向边表示资源的分配和请求。 可证明结论： 无环安全状态 ：如果资源分配图是一个无环图，系统处于安全状态，因为存在一种资源分配序列可以使得所有进程顺利完成。 环存在不确定性 ：如果图中存在环，系统处于不安全状态，但不一定处于死锁状态 当每种资源类型只有一个实例时，死锁一定发生 如果资源类型有 ………………………………