进程同步算法习题课课件.ppt

进程同步算法习题课;【例题1】;分析： 为保证车辆行驶安全，售票员必须关好车门，然后通知司机启动车辆，在行驶过程中售票员不能打开车门，待车到站停稳后，司机通知售票员才能打开车门，如此不断重复。为此，须设置两个信号量S1，S2用来控制司机和售票员的行为，初值都为0。 ;解: 算法如下：;【例题2】;解:;思考题： 如果S和T是由多个缓冲区组成的缓冲池，上述算法将如何修改？;【例题3】; 分析： 设置一个信号量S表示空盘子数，一个信号量So表示盘中桔子数，一个信号量Sa表示盘中苹果数，初值分别为1，0，0。;解: 算法如下：;【例题4】;解:; ;例题5;分析：每个缓冲区只要写一次但要读n2次，因此，可以看成n2组缓冲区，每个发送者要同时写n2个缓冲区，而每个接收者只要读它自己的缓冲区。 Sin[n2]=m；表示每个读进程开始有m个空缓冲区。 Sout[n2]=0；表示每个读进程开始有0个可接收的消息。 ;解：;Bi： while (1) { wait(Sout[i]); 从缓冲区取数 signal(Sin[i]); };向目标前进一步:;Bi： while (1) { wait(Sout[i]); wait(mutex); 从缓冲区取数 signal(mutex); signal(Sin[i]); };;到达目标;Bi： while (1) { wait(Sout[i]); wait(mutex); 从缓冲区取数 signal(mutex); signal(Sin[i]); };;例题6;分析： 影院一次只能放一部影片，希望观看的观众可能有不同的爱好，但每次只能满足部分观众的需求，希望观看另外两部影片的观众只能等待。分别为三部影片设置三个信号量s1、s2、s3，初值都为1。影院一次只能放一部影片，需设一互斥信号量mutex。由于同时观看影片的人有多个，因此须分别设置三个计数器 count1、count2、count3，初值都为0，以统计观众人数，计数器是共享变量须互斥使用。;Ver mutex,s1,s2,s3:semapore=1,1,1,1; Ver count1,count2,count3=0,0,0; Process videoshow1 //观看影片1的观众进程 begin repeat wait(s1); //观看影片1的观众进入影院 count1=count1+1; if(count1=1) then wait(mutex); //没有人看影片，放影片1 signal(s1); 看电影1； wait(s1); count1=count1-1; //观众离开影院 if(count1=0) then signal(mutex);// 最后一个观众离开，通知等待观看其它影片的观众 signal(s1); until false; end