河南城建学院操作系统课后习题.docVIP

第二章 P68 2. 试画出下面4条语句的前趋图: S1: a:=x+y; S2: b:=z+1; S3: c:=a-b; S4: w:=c+1; 22. 试写出相应的程序来描述图2-17所示的前驱图。 a. Var a, b, c, d, e, f, g, h; semaphore:= 0, 0, 0, 1, 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); S6; signal(h); end; begin wait(f); wait(g); wait(h); S7; end; parend end b. 略 23. 在生产者—消费者问题中，如果缺少了signal(full)或signal(empty)，对执行结果将会有何影响？ 如果缺少了signal(full)，那么表明从第一个生产者进程开始就没有对信号量full值改变，即使缓冲池存放的产品已满了，但full的值还是0，这样消费者进程在执行wait(full)时会认为缓冲池是空的而取不到产品，那么消费者进程则会一直处于等待状态。 如果缺少了signal(empty)，例如在生产者进程向n个缓冲区投满产品后消费者进程才开始从中取产品，这时empty=0，full=n，那么每当消费者进程取走一个产品时empty并没有被改变，直到缓冲池中的产品都取走了，empty的值也一直是0，即使目前缓冲池有n个空缓冲区，生产者进程要想再往缓冲池中投放产品会因申请不到空缓冲区而被阻塞。 25. 我们为某临界资源设置一把锁W，当W=1时表示关锁；当W=0时表示锁已打开，试写出开锁和关锁原语，并利用它们去实现互斥。 整型信号量：lock(W): while W=1 do no-op W:=1; unlock(W): W:=0; 记录型信号量：lock(W): W:=W+1; if(W1) then block(W.L) unlock(W): W:=W-1; if(W0) then wakeup(W.L) 例子： Var W:semaphore:=0； begin repeat lock(W); critical section unlock(W); remainder section until false; end 26. 试修改下面生产者——消费者问题解法中的错误： producer: begin repeat 厖 produce an item in nextp; wait(mutex); wait(full); buffer(in):=nextp;厖 signal(mutex); until false; end consumer: begin repeat 厖 wait(mutex); wait(empty); nextc:=buffer(out); out:=out+1; signal(mutex); consume item in nextc; until false; end 【或】producer:beginrepeat..produce an item in