华南农业大学——第六章 并发,死锁和饥饿.pptx

第六章 并发：死锁和饥饿;6.1死锁原理;;;;6.1.1资源分类;;;;;6.1.2 资源分配图;6.1.2 资源分配图;交通阻塞的资源分配图;6.1.3死锁的条件;6.2处理死锁;6.2死锁预防;6.3死锁避免;6.3死锁避免;6.3.1进程启动拒绝;;6.3.2资源分配拒绝 ;银行家算法流程;安全状态的确定;安全状态的确定;安全状态的确定;安全状态的确定;不安全状态的确定;;;6.3.3死锁避免限制;6.4死锁检测;死锁检测算法;;;6.5综合死锁策略;;6.6 哲学家就餐问题;基于信号量的解决方案1;基于信号量的解决方案2;Unix的并发机制（略）;;;;;小结;习题;第五章习题;设两个信号量： const int n=/*读者数*/ count 空位数，初值=100； mutex 用于登记本的互斥使用， mutex=1。 ? void reader(int i) { semWait(count); semWait(mutex); 登记； semSignal(mutex)； 阅览； semWait(mutex); 去掉登记； semSignal(mutex)； semSignal(count)； 离开； } void main() { Parbegin(reader(1)， reader(2),…,reader(n)); } ;;设信号量：S1表示是否允许司机启动汽车（初值0）、S2表示是否允许售票员开车门（初值0）。 Void Driver() {while T { semWait(S1); 启动汽车； 正常行车； 到站停车； semSignal(S2); } } Void Conductor() { while T { 关车门； semSignal(S1); 售票； semWait(S2); 开门上下客； } };;设信号量pass表示可以上桥，初值1。 东车和西车计数的整型变量count1和count2，初值均为0。 保护count1和count2互斥访问的两个信号量mutex1和mutex2，初值均为1。 ? P1：东车 { semWait(mutex1); count1++; if (count1==1) semWait(pass); semSignal(mutex1); 过独木桥; semWait(mutex1); count1--; if (count1==0)  semSignal(pass); semSignal(mutex1); } ? ? P2：西车 { semWait(mutex2); count2++; if (count2==1)  semWait(pass); semSignal(mutex2); 过独木桥; semWait(mutex2); count2--; if (count2==0)  semSignal(pass); semSignal(mutex2); }