向勇 陈渝 李国良 任炬
2024年秋季
课程幻灯片列表
提纲
1.2 资源分配图
由于竞争资源或者通信关系，两个或更多线程在执行中出现，永远相互等待只能由其他进程引发的事件
Thread 1: Thread 2: lock(L1); lock(L2); lock(L2); lock(L1);
1.1 什么是死锁？
描述资源和进程间的分配和占用关系的有向图
是否有死锁？
2.2 死锁避免 2.3 死锁检测 2.4 死锁恢复
预防采用某种策略限制并发进程对资源的请求，或破坏死锁必要条件。
2.1 死锁预防
2.3 死锁检测 2.4 死锁恢复
利用额外的先验信息，在分配资源时判断是否会出现死锁，只在不会死锁时分配资源
资源分配中，系统处于安全状态
银行家 ↔\leftrightarrow↔操作系统；资金 ↔\leftrightarrow↔资源；客户 ↔\leftrightarrow↔线/进程
2.1 死锁预防 2.2 死锁避免
2.4 死锁恢复
序列<T0,T2,T1,T3,T4><T_0, T_2, T_1, T_3, T_4><T0,T2,T1,T3,T4> 对于所有的i，都可满足Finish[i] = true
可通过回收线程T0T_0T0占用的资源，但资源不足以完成其他线程请求 线程T1,T2,T3,T4T_1, T_2, T_3, T_4T1,T2,T3,T4形成死锁
检测到死锁后，应该如何处理？
2.1 死锁预防 2.2 死锁避免 2.3 死锁检测
仅允许进程在开始执行时，一次请求所有需要的资源 - 进程请求资源时，要求它不持有任何其他资源
预防是采用某种策略，限制并发进程对资源的请求，或使系统在任何时刻都不满足死锁的必要条件。
##### 死锁预防 