操作系统重要算法.pptVIP

重要算法复习 第二章 wait、signal操作 记录型信号量 在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还应增加一个进程链表L，用于链接上述的所有等待进程。 type semaphore=record value:integer; L:list of process; end procedure wait(S) var S: semaphore; begin S.value∶ =S.value-1; if S.value＜0 then block(S.L) end procedure signal(S) var S: semaphore; begin S.value∶ =S.value+1; if S.value≤0 then wakeup(S.L); end 利用信号量实现前趋关系 Var a,b,c,d,e,f,g; semaphore∶=0,0,0,0,0,0,0; begin parbegin begin S1; signal(a); signal(b); end; begin wait(a); S2; signal(c); signal(d); end; begin wait(b); S3; signal(e); end; begin wait(c); S4; signal(f); end; begin wait(d); S5; signal(g); end; begin wait(e); wait(f); wait(g); S6; end; parend end 记录型信号量解决生产者—消费者问题 Var mutex, empty, full:semaphore∶=1,n,0; buffer:array［0, …, n-1］ of item; in, out: integer∶=0, 0; begin parbegin proceducer:begin repeat … producer an item nextp; … wait(empty); wait(mutex); buffer(in)∶=nextp; in∶=(in+1) mod n; signal(mutex); signal(full); until false; end consumer:begin repeat wait(full); wait(mutex); nextc∶ =buffer(out); out∶ =(out+1) mod n; signal(mutex); signal(empty); consumer the item in nextc; until false; end parend end 有一个盘子，盘子最多可以放6个苹果，大人不断的往盘子里放苹果，小孩不断的从里面取出苹果，如果盘子一次只能给一个人使用，则这个过程可以用程序描述如下所示，请把程序填充完整 Var mutex, empty, full: semaphore; mutex:=1; empty:= (1) ; //empty:=6 full:= (2) ; //full:=0 n:integer:=0; //盘子里最初是0个苹果 begin parbegin adults: begin