操作系统进程同步例题（二）汽车过桥1

操作系统进程同步例题（二）汽车过桥1

题目： 某国道原为双向通路，因道路维修导致双向通路出现如下图所示的桥，车流如图中箭头所示。桥上不允许两车交汇，但允许同方向多辆车依次通行(即桥上可以有多个同方向车通过)。请设计控制算法，实现交通管理，以防止桥上堵塞。

PV操作题目分析步骤：

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3. 设置信号量。并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

1、分析

该问题有从南到北的汽车和从北到南的汽车，分为两个进程，为互斥关系，需要互斥信号量bridge；桥上可以同方向多车行驶，需要对同方向的车辆计数，当该方向汽车数量为0时，才可申请或释放bridge，同时为了防止同方向计数中，同时申请bridge造成同方向不可同时行车问题，所以对计数过程加以保护，设置互斥信号量mutexSN和mutesNS。

2、伪代码

int countSN = 0; //从南到北的汽车数
int countNS = 0; //从北到南的汽车数
semaphore mutexSN = 1; //用于保护countSN
semaphore mutexNS = 1; //用于保护countNS
semaphore bridge = 1; //用于互斥访问桥

//从南到北进程
SouthToNorth() {
    while (1) {
        //申请访问桥资源
        P(mutexSN);
        if (countSN == 0)
            P(bridge);
        countSN++;
        V(mutexSN);
        过桥();
        //申请释放桥资源
        P(mutexSN);
        countSN--;
        if (countSN == 0) 
            V(bridge);
        V(mutexSN);
    }
}

//从北到南进程
NorthToSouth() {
    while (1) {
        //申请访问桥资源
        P(mutexNS);
        if (countNS == 0) 
            P(bridge);
        countNS++;
        V(mutexNS);
        过桥();
        //申请释放桥资源
        P(mutexNS);
        countNS--;
        if (countNS == 0) 
            V(bridge);
        V(mutexNS);
    }
}