W3CHINA.ORG讨论区--[求助]PV操作控制两组进程的疑问

贴子主题： [求助]PV操作控制两组进程的疑问

本主题类别:

有一个文件F供进程共享，现把这些进程分成A B两组，规定同一组的进程可以同时进行读；但当有Ａ组（或B组）在读时就不允许另一组进行读。
//貌似有个过桥问题也是如此
不知道分析的是否正确，同时求解决方法。
//以下是书上的答案：
readA {
    P(SAB);
    CA ++;
    if (CA == 1) P(SB);    //无意义
    V(SAB);

read F;

    P(SAB);
    CA --;
    if (CA == 0) V(SB);
    V(SAB);
}

readB {
    P(SAB);
    CB ++;
    if (CB == 1) P(SA);
    V(SAB);

read F;

    P(SAB);
    CB --;
    if (CB == 0) V(SA);
    V(SAB);
}

但是当A B两组进程同时进行时，SA和SB并没有什么作用。可能出现以下情况造成A B进程在同时读
A1先要求读，B1紧接着也要读:

A1: P(SAB);    //申请成功，继续
B1: P(SAB);    //进入SAB等待队列
A1: CA++; ...
    V(SAB);    //释放SAB,唤醒B1进程
B1: CB++; ...
    V(SAB);
//以下造成两组都在读。
A1: read F;
B1: read F;
=================================
我做改进如下：
readA {
    P(SA);
    P(SAB);
    CA ++;
    if (CA == 1) P(SB);    //阻塞B组进程
    V(SAB);
    V(SA);

read F;

    P(SAB);
    CA --;
    if (CA == 0) V(SB);    //唤醒B组进程
    V(SAB);
}

readB {
    P(SB);
    P(SAB);
    CB ++;
    if (CB == 1) P(SA);
    V(SAB);
    V(SB);

read F;

    P(SAB);
    CB --;
    if (CB == 0) V(SA);
    V(SAB);
}

但这个按如下步骤会造成死锁：
A1: P(SA);    //成功，继续
B1: P(SB);    //成功
    P(SAB);    //成功
    CB++;
    if(CB == 1) P(SA); //阻塞，等待V(SA)唤醒
A1: P(SAB); //阻塞，等待V(SAB)，死锁...

=================================
交换P(SAB) 和 P(SA), P(SB)的位置同样会有死锁。
readA {
    P(SAB);
    P(SA);
    CA ++;
    if (CA == 1) P(SB);    //阻塞B组进程
    V(SAB);
    V(SA);

read F;

    P(SAB);
    CA --;
    if (CA == 0) V(SB);    //唤醒B组进程
    V(SAB);
}

readB {...
按如下步骤：
A1: P(SAB); //成功；
    P(SA); //SUCCESS
    ... P(SB);
    V(SAB);
    V(SA);
    read F;

B1: P(SAB); //成功
P(SB); //被A1阻塞中，等待V(SB)；
A1: P(SAB); //阻塞，以下A1读完要唤醒SB,结果又被 B1的P(SAB)阻塞，死锁


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	78.125ms