操作系统教程（第6版）课件6.11 霍尔管程的例.pptx

霍尔管程解决机票问题

霍尔管程解决读者写者问题

应用霍尔管程解决具体问题计算机操作系统6并发程序设计–6.4管程6.4.3霍尔管程的例

哲学家问题五个哲学家围坐在一个圆桌旁,桌中央有一盘通心面,每人面前有一只空盘子,每两人之间放一把叉子。每个哲学家思考,饥饿,然后吃通心面,为了吃面哲学家必须获得自己左边和右边的两把叉子1、等待叉子的方案2、等待盘子的方案

霍尔方法实现哲学家问题

哲学家问题Cobeginprocessphilosopher_i(){L:thinking();P(IM.mutex);dining_philosopers.pickup(i);ifIM.next_count0thenV(IM.next);elseV(IM.mutex);eating();P(IM.mutex);dining_phi;osophers.putdown(i);ifIM.next_count0thenV(IM.next);elseV(IM.mutex);gotoL;}coend

读者写者问题有两组并发进程：读者与写者，共享一个文件，要求：1）允许多个读者同时执行读操作；2）任一写者出现后，新的读者与写者均被拒绝；3）写者在完成写操作之前不允许其他读者和写者工作；4）写者欲工作，要等待已存在的读者完成读操作1、等待读的进程与计数；等待写的进程与计数2、正在读的进程计数；正在与等待写的进程计数

霍尔方法解决读者写者问题procedurestart_read;beginifwc0thenwait(R,Rc,IM)；rc:=rc+1;signal(R,Rc,IM);end;procedureend_read;beginrc:=rc-1;ifrc=0thensignal(W,Wc,IM)；end;procedurestart_write;beginwc:=wc+1;ifrc0orwc1thenwait(W,Wc,IM)；end;procedureend_write;beginwc:=wc-1;ifwc0thensignal(W,Wc,IM)；elsesignal(R,Rc,IM);end;beginrc:=0;wc:=0;Rc:=0;Wc:=0;R:=0;W:=0;end;TYPEread-writer=MONITORvarRc,Wc:integer;R,W:semaphore;rc,wc:integer;definestart_read,end_read,start_writer,end_writer;usewait,signal,check,release；连续释放读者