试用P－V操作定出他们能同步、互斥的相关语句

试用P－V操作定出他们能同步、互斥的相关语句

这个问题可看作是2个生产者和2个消费者共享一个容量为1的缓冲区的进程同步问题。
需要定义三个信号量：
mutex //用于测试盘中能否放水果
SO //用于测试盘中是否有桔子
SA //用于测试盘中是否有苹果

参考代码如下：

begin
mutex, SO, SA : semaphore;
mutex := 1;
SA := 0;
SO := 0;

cobegin
process father
begin L1: have an apple;
P(mutex);
put an apple;
V(SA);
goto L1;
end;

process mather
begin L2: have an orange;
P(mutex);
put an orange;
V(SO);
goto L2;
end;

process son
begin L3: P(SO);
get an orange;
V(mutex);
eat an orange;
goto L3;
end;

process daughter
begin L4: P(SA);
get an apple;
V(mutex);
eat an apple;
goto L4;
end;

coend;
end;