用P、V操作解决进程同步问题的解题步骤.pdfVIP

⽤P、V操作解决进程同步问题的解题步骤 蓝颜⾊是格外注意的 还有读读共享，读写互斥问题。 要背会四个模式，套⽤模式 例题讲解 1）⽣产者-消费者问题 ⼀般意义的“⽣产者—消费者”问题：N个buffer，多个⽣产者，多个消费者，循环存取buffer。这就是⼀般意义的“⽣产者—消费者”问题。利⽤记录型信号量解决 ⼀般意义的“⽣产者—消费者”问题算法描述，请看教材。 说明： （1）由于buffer有N个，⽽且buffer⼜是临界资源，因此，需要增加⼀个信号量mutex来实现对buffer的互斥访问，其初始值为1。需要特别强调的是，这种情况 下，mutex不能省略。 （2）这种情况下，只要保证为不同的进程分配不同buffer，putdata和getdata操作是可以同时进⾏的，因此，对buffer的互斥访问不是发⽣在对buffer的存取操 作上，⽽是发⽣在对buffer的分配上。 2）“哲学家进餐”问题 教材中解决哲学家进餐问题的算法有可能发⽣死锁，为避免死锁，可以采⽤以下三种策略： 策略⼀原理：⾄多只允许四个哲学家同时进餐，以保证⾄少有⼀个哲学家能够进餐，最终总会释放出他所使⽤过的两⽀筷⼦，从⽽可使更多的哲学家进餐。定义 信号量count，只允许4个哲学家同时进餐，这样就能保证⾄少有⼀个哲学家可以就餐。 semaphore chopstick[5]={1，1，1，1，1}; semaphore count=4 ; void philosopher(int i) {while(true) {while(true) { think(); 请求进⼊房间进餐 wait(count); // 请求左⼿边的筷⼦ wait(chopstick[i]); // 请求右⼿边的筷⼦ wait(chopstick[(i+1)%5]); // eat(); 释放右⼿边的筷⼦ signal(chopstick[(i+1)%5]); // 释放左⼿边的筷⼦ signal(chopstick[i]); // 退出房间释放信号量 signal(count); // } } 策略⼆原理：仅当哲学家的左右两⽀筷⼦都可⽤时，才允许他拿起筷⼦进餐。可以利⽤AND 型信号量机制实现，也可以利⽤信号量的保护机制实现。利⽤信号 量的保护机制实现的思想是通过记录型信号量mutex对取左侧和右侧筷⼦的操作进⾏保护，使之成为⼀个原⼦操作，这样可以防⽌死锁的出现。描述如下： semaphore mutex = 1 ; semaphore chopstick[5]={1，1，1，1，1}; void philosopher(int i) {while(true) { think(); wait(mutex); wait(chopstick[(i+1)%5]); wait(chopstick[i]); signal(mutex); eat(); signal(chopstick[(i+1)%5]); signal(chopstick[i]); } } 策略三原理：规定奇数号的哲学家先拿起他左边的筷⼦，然后再去拿他右边的筷⼦；⽽偶数号的哲学家则相反。按此规定，将是1、2号哲学家竞争1号筷⼦，3 、4号哲学家竞争3号筷⼦。即五个哲学家都竞争奇数号筷⼦，获得后，再去竞争偶数号筷⼦，最后总会有⼀个哲学家能获得两⽀筷⼦⽽进餐。 semaphore chopstick[5]={1，1，1，1，1}; void philosopher(int i) {while(true) { think(); 偶数哲学家，先右后左。 if(i%2 == 0) // { wait (chopstick[(i + 1)%5]) ; wait (chopstick[i]) ; eat(); signal (chopstick[(i + 1)%5]) ; signal (chopstick[i]) ; } 奇数哲学家，先左后右。 else // { wait (chopstick[i]) ; wait (chopstick[(i + 1)%5]) ; eat(); signal (chopstick[i]) ;