售票问题

前言

售票问题是操作系统中P、V操作部分的经典的问题！[]_(￣▽￣)*

---

售票问题

问题描述

汽车司机与售票员之间必须协同工作，一方面只有售票员把车门关好了司机才能开车，因此，售票员关好门应通知司机开车，然后售票员进行售票。另 一方面，只有当汽车已经停下，售票员才能开门上下客，故司机停车后应该通知售票员。假定某辆公共汽车上有一名司机与两名售票员，汽车当前正在始发站停车上客，试用信号量与P、V操作写出他们的同步算法

问题分析

这问题背景设置的有点老旧，很多人可能不能理解，一辆公交车为啥要配2名售票员，其实啊以前的公交车有两节车厢，一个售票员负责一个。暴露年纪了＞﹏＜。司机和两名售票员之间是同步关系，司机停车后必须通知售票员开门，售票员关门以后必须司机才能开车，所以司机与每个售票员之间都应该有两个同步信号量。

P、V操作

semaphore stop1 = 0;  // 司机与售票员1的同步信号量，表示售票员1的停车请求
semaphore run1 = 0;   // 司机与售票员1的同步信号量，表示司机的开车请求
semaphore stop2 = 0;  // 司机与售票员2的同步信号量，表示售票员2的停车请求
semaphore run2 = 0;   // 司机与售票员2的同步信号量，表示司机的开车请求

cobegin
process Driver() {
    while(true) {
        P(run1);      // 询问售票员1：可以开车了嘛？
        P(run2);      // 再询问售票员2：可以开车了嘛？
        {开车};
        {停车};
        V(stop1);     // 告诉售票员1：车已经停了，可以售票了
        V(stop2);     // 告诉售票员2：车已经停了，可以售票了
    }
}

process Seller1() {
    while(true) {
        {上乘客};
        {关车门};
        V(run1);      // 告诉司机：车门关好了，可以开车了
        P(stop1);     // 询问司机：停车了没？停车了没？停车了没？
        {开车门};
        {下乘客};
    }
}

process Seller2() {
    while(true) {
        {上乘客};
        {关车门};
        V(run2);      // 告诉司机：车门关好了，可以开车了
        P(stop2);     // 询问司机：停车了没？停车了没？停车了没？
        {开车门};
        {下乘客};
    }
}
coend

d=====(￣▽￣*)b