Question

对生产者—消费者问题的算法描述如下,请把PV操作填入下述方框中,以保证进程正确

Var empty,full,mutex:semaphore:=n,0,1;
Producer: begin
repeat
---------；
----------；
buffer(in):=m;
in:=(in+1)mod n;
-------；
------- ；
until false
end
Consumer: begin
repeat
---------；
---------；
m:=buffer(out);
out:=(out+1)mod n;
---------- ；
-----------；
until false
end

Answer 1

生产者
P(empty);
P(mutex);
。。。
V(mutex1);
V(full);

消费者进程
P(full)
P(mutex);
。。。
V（mutex）;
V(empty);

Answer 2

记录型信号量解决
peoceducer:
wait(empty)
wait(mutex)
..
signal(mutex)
signal(full),

consumer:
wait(full)
wait(mutex)
..
signal(mutex)
signal(empty)