例题以及习题pv操作3.docVIP

【实战3】理发师问题 理发店有一位理发师、一把理发椅及三把供等候理发的顾客坐的椅子。如果没有顾客，理发师就去睡觉。如果顾客来时所有的椅子都有人，那么顾客就离去。如果理发师在忙而有空闲的椅子，那么顾客就会坐在其中的一个空闲的椅子上。如果理发师在睡觉，顾客会唤醒他。请利用信号量（semaphores），写个程序来协调理发师和顾客进程。【浙江大学2007】 int count=0; //记录理发店里的顾客数量semaphore mutex=1; //用于互斥访问count变量所用的信号量semaphore barber_chair=0; // semaphore wait_chair=3; //顾客等待坐的椅子 semaphore ready=0; //等待顾客数量 Barber(){ //理发师进程 while(1){ wait(ready); //signal(barber_chair); //请等待时间最长的顾客坐到理发椅上 signal(wait_chair); //坐到理发椅上的顾客让出一个等待时可坐的椅子 barbering //给顾客理发 } } Customer(){ //顾客进程 { wait(mutex); if(count=4){ //如果理发店已经有四个顾客了 signal(mutex); leave } else{ //理发店里顾客不足4个 count++; //更新顾客人数 signal(mutex); } wait(wait_chair); //先请求坐等待时坐的椅子 signal(ready); //告诉理发师 wait(barber_chair); //再请求坐理发椅be barbered wait(mutex); count--; //更新店里的顾客人数 signal(mutex); } }  进程操作图 【分析】这里存在两个一般意义的“生产者—消费者”问题，PUT（生产者）与MOVE（消费者）之间，需要设置三个信号量；MOVE（生产者）与GET（消费者）之间，需要设置三个信号量。PUT进程套用生产者进程即可，MOVE进程只有在Buff1有新数据且Buff2有空闲区的时候才移动数据，GET进程套用消费者进程即可。 答案：设置6个信号量full1、empty1、B-M1、full2、empty2、B-M2，它们的含义和初值如下： full1表示Buff1是否有数据，初值为0； empty1表示Buff1有空间，初值为m； B-M1表示Buff1是否可操作，初值为1； Full2表示Buff2是否有数据，初值为0； Empty2表示Buff2有空间，初值为n； B-M2表示Buff2是否可操作，初值为1； PUT类进程 { repeat P(empty1)； /*判断Buff1是否有空间，没有则等待 */ P(B-M1)； /*是否可操作Buff1*/ PUT； V(B-M1)； /*设置Buff1可操作标志 */ V(full1)； /*设置Buff1有数据的标志 */ until false } MOVE类进程 { repeat P(full1)； /*判断Buff1是否有数据，没有则等待*/ P(empty2)； /*判断Buff2是否有空间，没有则等待*/ P(B-M1)； /*是否可操作Buff1 */ P(B-M2)； /*是否可操作Buff2 */ MOVE； V(B-M1)； /*设置Buff1可操作标志*/ V(B-M2)； /*设置Buff2可操作标志*/ V(empty1)； /*设置Buff1有空间标志*/