导航菜单

死锁与避免

死锁的定义与条件:
死锁是指两个或多个进程在执行过程中,因争夺资源而造成的一种互相等待的现象,若无外力干涉,它们都无法推进。死锁发生需同时满足互斥、占有且等待、不剥夺、循环等待四个必要条件。
系统模型与死锁状态图:
进程A进程B资源X资源Y