死锁的检测⭐️
使用资源分配图检测是否死锁。
依次消除与不阻塞进程相连的边，直到无边可消。
死锁定理：当且仅当资源分配图是不可完全简化的，则死锁发生。
死锁的解除
资源剥夺法：挂起某些死锁进程，并抢占它的资源
撤销进程法：强制撤销部分甚至全部死锁进程并剥夺这些进程的资源
进程回退法：让一个或多个进程回退到足以避免死锁的地步，回退时自愿释放资源而非被剥夺。要求系统保持进程的历史信息，设置还原点