(1.3)--第3章计算机操作系统操作系统原理.pptVIP

例题：一餐厅有50个座位可供用餐者就餐，超过50人时只能排队等侯，待空出座位方可就餐，试用管程实现之。 管程在进程同步中的应用 就餐问题管程实现程序 monitor Restaurant { int count=0; //就餐者计数 condition notfull; //定义条件变量 define eating; //函数eating在管程内定义,在管程外也可调用 void eating() { if(count==50) //就餐者已有50人 notfull.wait; //超过50人时被阻塞 count++; //未超过50人时计数加1 进入餐厅; 就餐; 走出餐厅; count--; //就餐者计数减1 if(count==49) //有一个空座位时 notfull.signal; //唤醒等候就餐队列上的第一人(如果有的话) } 管程解决就餐问题的方法如下： cobegin process eat_i() // i=1,2,3,…,m { Restaurant. eating(); } coend 吃水果问题的管程实现程序 monitor Eat_fruit { int flag=0; //0:无水果,1:有苹果,2:有香蕉 condition notfull,notempty[2]; define put,get; void put(int k) //将水果放入盘中 { if(flag0) //盘中已有水果 notfull.wait; //将进程挂到阻塞队列 flag=k; //盘中无水果时记录水果编号 放入k号水果到盘中; //放入水果 notempty[k-1].signal; //有等待k号水果进程被阻塞则唤醒之 } void get(int k) //从盘中取出水果 { if(flag!=k) //无水果或与所取水果不符 notempty[k-1].wait //阻塞当前执行进程并挂到阻塞队列 从盘中取出k号水果; //相符则取出水果 flag=0; //置盘为空标志 notfull.signal; //若有阻塞进程则唤醒之 } } 使用管程解决吃水果问题的方法如下： cobegin process father() { 拿一个苹果; Eat_fruit.put(1); //管程实现将苹果放入盘中 } process mother() { 拿一个香蕉; Eat_fruit.put(2); //管程实现将香蕉放入盘中 } process daughter () { Eat_fruit.get(1); //管程实现从盘中取苹果吃苹果 } process son () { Eat_fruit.get(2); //管程实现从盘中取香蕉吃香蕉 } coend 注意：条件变量notempty设为数组形式，实为两个条件变量，即女儿或儿子进程阻塞时将分别挂到notempty[0].wait或notempty[1].wait阻塞队列上，因此当放入水果到盘中后，唤醒的总是需要盘中水果的儿子进程或女儿进程，这样就保证唤醒的儿子进程或女儿进程能够及时取出盘中的水果。 如果只使用一个条件变量notempty，则可能出现这种情况：初始时盘为空，然后依次执行儿子进程和女儿进程，因盘为空，则儿子进程和女儿进程就依次挂到notempty.wait阻塞队列上，这时若执行父亲进程将苹果放入盘中，