begin wait(f); S7; signal(j); end;
begin wait(g);wait(h); wait(i); wait(j); S8; end;
parend
end
23.在生产者消费者问题中,如果缺少了 signal(full)戒 signal(empty),对执行结
果有何影
响?
答:如果缺少 signal(full),那么表明从第一个生产者进程开始就没有改变信号
量 full 值,即使缓冲池产品已满,但 full 值还是 0,这样消费者进程执行
wait(full)时认为缓冲池是空而取不到产品,消费者进程一直处于等待状态。
如果缺少 signal(empty),在生产者进程向 n 个缓冲区投满产品后消费者进程才
开始从中取产品,这时 empty=0,full=n,那么每当消费者进程取走一个产品
empty 值并不改变,直到缓冲池取空了,empty 值也是 0,即使目前缓冲池有
n 个空缓冲区,生产者进程要想 再往缓冲池中投放产品也会因为申请不到空缓
冲区被阻塞。
24.在生产消费者问题中,如果将两个 wait 操作卲 wait(full)和 wait(mutex)互
换位置,戒者将 signal(mutex)不 signal(full)互换位置,结果如何?
答:将 wait(full)和 wait(mutex)互换位臵后,可能引起死锁。考虑系统中缓冲区
全满时,若一生产者进程先执行了 wait(mutex)操作并获得成功,则当再执行
wait(empty)操作时,它将因失败而进入阻塞状态,它期待消费者进程执行
signal(empty)来唤醒自己,在此之前,它不可能执行 signal(mutex)操作,从而
使试图通过执行 wait(mutex)操作而进入自己的临界区的其他生产者和所有消费
者 进 程 全 部 进 入 阻 塞 状 态 , 这 样 容 易 引 起 系 统 死 锁 。 若 signal(mutex) 和
signal(full)互换位臵后只是影响进程对临界资源的释放次序,而不会引起系统
死锁,因此可以互换位臵。
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(W>1) then block(W, L)
unlock(W): W:=W-1;
if(W>0) then wakeup(W, L)
例子:
Var W:semaphore:=0;
begin
repeat
lock(W);
critical section
unlock(W);
remainder section
until false;