对不起大家了。。：P

我的问题是：(a),在本题v（s）操作中，若s依然<0，那么按照定义还要释放等待队列吗？？？？？
s<0不就是说明，已经没有可用资源了吗？那么释放进程有什么意义呢？

(b),难道这题的解法是这样的？？？：

    pi: (i=1or2or3or4)
             while(1)
                     { p(s);
                        使用资源。
                       v(s);
                     }

难道是仅此而已，如此简单，不会吧！！！还是怎么解法呢？

希望牛人能给点建议，小弟不胜感激啊!
但愿我的问题没有让您感到可爱。。。：p

（b）可以。但是这样会出现先到进程的饥饿（STARVATION），算法不合理。本题有两种比较好的解法：漏斗法和倒二叉树法，前者比较难理解，我介绍一下后者：

思想：因为这个定义对两个互斥进程是没问题的，所以把4个互斥进称变成两两互斥。即将4个进程分成两组，然后引入两个虚资源，每组进程为了争夺互斥资源，必须先得到虚资源。

semaphore s;       //初值为1
semaphore vs1;    //初值为1
semaphore vs2;    //初值为1

void Proc_P1_P2()
{
L:   P(vs1);
     P(s);
     Do sth...
     V(s);
     V(vs1);
     goto L;
}

void Proc_P3_P4()
{
L:   P(vs2);
     P(s);
     Do sth...
     V(s);
     V(vs2);
     goto L;
}

我觉得当s<0时应该是表示有|s|个进程阻塞吧。
设初始状态是所有已申请资源的进程都获得资源且所有资源均已分配（S初值为0），N为阻塞的进程数（初值为0）
每当有一个新的进程申请资源时(P(S)) ,S=S-1，且进入阻塞队列。同时N=N+1.
当有一进程运行结束，则（v(s)) s=s+1.同时 从等待队列中取出一个进程。N=N-1
设次过程中始终有等待进程，则可得出N=|S|。

SUPREMGOOOO兄中的S是不是指在V(S)中以自加一次的S?

是不是还会早成同一组里的早到进程的饥饿呢?

比如两个队列:

vs1:2,3,4,5,....
vs2:12,13,14,15.....
s:11
runing :1
代号代表到达的先后顺序.

为什么不是每个类型的进程自己一个队列呢?
这样似乎等待的队列还会更短一些.

其实,我不知道这个题到底要考察什么?

下面介绍一个层层加锁的方式实现的互斥，就当拓展一下思路吧。该实现效率很低，每层只锁住一个进程。
semaphore mutex1=1;
semaphore mutex2=2;
semaphore mutex3=3;

Proc(i){
    while(true){
          P(mutex3);
          P(mutex2);
          P(mutex1);
              do sth...
          V(mutex1);
          V(mutex2);
          V(mutex3);
    }
}

另外，Supremgoooo能否把提到的“漏斗法”实现贴上来，开阔一下眼界:)

Brother  supremgoooo :您说，可以。但是这样会出现先到进程的饥饿（STARVATION），算法不合理。本题有两种比较好的解法：漏斗法和倒二叉树法。

您能否解释下，饥饿的过程呢？ 就是简要说明一下，如何饥饿的。
因为小弟正在努力尝试着去想象 pv操作过程。这个不像一般的程序设计，还要考虑“次序”问题。我对这方面甚是迷惑！

您能否将“漏斗法”也贴出来呢？让我仔细思考一下其中的奥妙呢。
您的os书本是什么教材啊？怎么这么丰富呢？北大的os上没有你说的方法啊！
麻烦您了啊！ 谢谢啦！ ：P

在此感谢大家对小弟的关心和帮助！

v(s)  //此时s表示等待进程的个数，即有|s|个等待进程
s=s+1;
若s<=0,释放等待队列中末尾的进程，否则，继续执行。//因为s加了1，所以此时有|s|+1个等待进程。

下面是carroty的问题：
本题考察队P，V定义的理解，P，V原本的意思唤醒上是随机的，即从所有的等待进程中随机的唤醒一个进程，这也体现了多道程序设计的不确定性，不可在现性。而本题说从末尾唤醒，首先它违背了P，V随机性这个特征，其次，每个进程是在不断的反复执行这个操所的，假设某一时刻P3在临界区内，P1，P2都P了而被阻塞，这时P4也P一下，P3执行完后，V一下，则P4进临界区，同时P3又P，之后P3又进。。。于是，P1，P2就永远的等待下去，此所谓饥饿。

一个进程就一个程序，在执行时无所谓队列。为什么要排队呢？就是因为有多个进程对一个资源进行抢夺，例如：你去食堂打饭，就你一个人，你需要排队吗？但是人很多的话，总是站在你后面的人先打饭，而你后面的人源源不断的补上来，那你不是要一直等下去？

下面回答borlong的问题：
饥饿就是一个进程因为长时间的得不到资源满足而一直等下去，它往往反映出算法的不合理。

漏斗思想是用队列来实现这个过程，就是把进程对资源的请求排队，首先要占到队尾，然后向前移动一位。。。直道站到队首。实现方法是队尾可以允许站4个人，就是信号量初值4，然后向前是3。。。1。算法你自己写吧。

Dear Brothers, 您们让小弟见识不少啊！在此请教了！

pv程序设计出来以后，有什么特别的方法来测试正确与否吗？能够用一些简单的步骤来
判断出我的程序有无死锁或者饥饿等等之类的呢？
难道非一定要用列举法，分别一个一个的试探着进行吗？

我的pv思路越来越明了了！ 感谢大家！

以下是引用Supremgoooo在2006-9-24 23:48:00的发言： 首先回答yangling_1985的疑惑，让我们再看这个定义： v(s)  //此时s表示等待进程的个数，即有|s|个等待进程 s=s+1; 若s<=0,释放等待队列中末尾的进程，否则，继续执行。//因为s加了1，所以此时有|s|+1个等待进程。 下面是carroty的问题： 本题考察队P，V定义的理解，P，V原本的意思唤醒上是随机的，即从所有的等待进程中随机的唤醒一个进程，这也体现了多道程序设计的不确定性，不可在现性。而本题说从末尾唤醒，首先它违背了P，V随机性这个特征，其次，每个进程是在不断的反复执行这个操所的，假设某一时刻P3在临界区内，P1，P2都P了而被阻塞，这时P4也P一下，P3执行完后，V一下，则P4进临界区，同时P3又P，之后P3又进。。。于是，P1，P2就永远的等待下去，此所谓饥饿。 一个进程就一个程序，在执行时无所谓队列。为什么要排队呢？就是因为有多个进程对一个资源进行抢夺，例如：你去食堂打饭，就你一个人，你需要排队吗？但是人很多的话，总是站在你后面的人先打饭，而你后面的人源源不断的补上来，那你不是要一直等下去？ 下面回答borlong的问题： 饥饿就是一个进程因为长时间的得不到资源满足而一直等下去，它往往反映出算法的不合理。 漏斗思想是用队列来实现这个过程，就是把进程对资源的请求排队，首先要占到队尾，然后向前移动一位。。。直道站到队首。实现方法是队尾可以允许站4个人，就是信号量初值4，然后向前是3。。。1。算法你自己写吧。

我的解法：
pi: (i=1or2or3or4)
             while(1)
                     { p(s);
                        使用资源。
                       v(s);
                     }

换成语言描述是：任意进程ｐｉ来执行，先是执行p(s)，如果通过，则使用，否则等待啊！！！
这个程序有问题吗？？？　　我不明白！！！
难道是〉＝２个进程同时来执行时候会出现问题吗？
那么后果是怎样？？？　　这个地方，我是无法用思维去想象！！！

还请牛人来解释。。。　　：Ｐ　急切的期待！！！！！！

您有设计的方案吗？可否指点一二，：P

===========================================
对了！各位高手！

小弟我面临的最大的问题是：
当我看到一个pv程序或者别人或我写的程序。我无法用思维去模拟
该pv程序的执行！也就是无法去判断其是否正确，即不存在死锁、
饥饿等等。跟一般的程序大大的不同阿！！！
请问：能否有什么方法去判断呢？还是需要思维去模拟执行吗？？？
还是用图示等等方法去模拟。。。

请牛人给小弟解答！！！ 急切期待。。。: P

我也期待dear Supremgoooo,将 倒二叉树和漏斗法 贴出来！！
或者说明是哪个版本上的，小弟我也没有看到啊！！！: P

因为小弟正在努力尝试着去想象 pv操作过程。这个不像一般的程序设计，还要考虑“次序”问题。我对这方面甚是迷惑！

小弟急切的希望牛人指点一二。
小弟让你们见笑了吧？
呵呵。。。对pv操作跟我的离散图论部分有些类似，总是无法彻底的把握！！！
小弟再次向各位高手请教了！！！！