生产者与消费者问题

[toann]

mutex：初值为1，控制互斥访问缓冲池；
生产者私用信号量empty：初值为n，表示空缓冲块数目；
消费者私用信号量full：初值为0，表示满缓冲块数目；
整型变量i、j：初值为0，i表示空缓冲块序号头指针，j表示满缓冲块序号头指针

procedure producer //生产者进程 procedure consumer //消费者进程
begin begin
while true do while true do
begin begin
produce next product; P(full);
P(empty); P(mutex);
P(mutex); goods := buffer(j);
buffer(i) := product; j := (j+1) mod n;
i := (i+1) mod n; V(mutex);
V(mutex); V(empty);
V(full); consume product;
end end
end; end;

两进程为并发进程，我的问题是：如果交换两进程中P操作或V操作的次序，会有什么影响？
书上说如果颠倒P操作的次序，会造成死锁。但没有说明原因。

请大虾帮忙看看，能否详细解释一下。万分感谢！！
^_^

[DentistryDoctor]

是死锁。如果producer等待mutex,而consumer已经得到mutex而等v(full)时就死了，

[DentistryDoctor]

支之亦然。(将上面的producer与consumer换一下。)

[shotgun79]

先申请资源信号量，在申请互斥信号量。因为在申请到资源之前，没有人知道这次申请操作是否能够成功，如果在确定获得资源之前先申请互斥，那么原来正在使用资源的进程就没法操作了，也不能释放自己的资源，你也就得不到资源，接下来就是死锁。

好久没看os了，大概是这个意思吧

[Mr-Chen]

如果调换生产者进程的P操作：

procedure producer //生产者进程 procedure consumer //消费者进程
begin begin
while true do while true do
begin begin
produce next product; P(full);
P(mutex); P(mutex);
P(empty); goods := buffer(j);
buffer(i) := product; j := (j+1) mod n;
i := (i+1) mod n; V(mutex);
V(mutex); V(empty);
V(full); consume product;
end end
end; end;

最简单你可以看看以上情况：
如果生产者一直生产而消费者没有消费，当empty ＝ 0时
此时消费者进程P(full)被执行
接着生产者进程P(mutex)被执行，mutex ＝ 0；
此时生产者进程P(empty)而empty ＝ －1，生产者进程被挂起
而消费者进程P(mutex)，mutex ＝ －1，也被挂起
此时就会产生死锁
其它情况类似

[toann]

非常感谢大家的回复，这几天因故未能上网，结贴晚了，望见谅：）