死锁问题
一系列阻塞的进程持有资源并等待获取系列里另外进程的资源
产生的必须条件
Mutual Exclusion;互斥
Hold & Wait:占有和等待
No Preemption: 不剥夺条件
Circular wait: 循环等待条件
系统模型
Resource-Allcation Graph(RAG) 资源分配图
有cycle时,
可能
产生死锁
也可能不产生死锁