PV操作中的司机售票员问题的解法改正

PV操作中的司机售票员问题的解法改正

在我看司机售票员的问题的时候，我觉得网上的解释都不太对，所以尝试自己详细分析一下这个问题(我不对的请帮忙指出)，网上有一下问题：

1.semaphore s1=0,s2=1; 这里的设置不对，应该都是0才对（个人看法）

2.车的初始状态没有给出，不然会有不同的顺序的

以下是我的见解：

题目分析：

我们首先分析题目中的隐含条件：

他们有两个状态，并且两个状态之间相互转换

状态1：司机在开车&&门是关着的（完成售票了） <--转换--> 状态2： 司机在停车&&门是开着的（还没有售票）

下面是我的代码：

司机售票员问题
//-------------------------------------------------
semaphore door  0 //default open door   
semaphore car   0  //default not drive car：还没有售票 
driver()
{wait(door) //请求关门 开车signal(car) //停车 
}seller()
{signal(door)//关门售票wait(car)//等待停车 客户上下车
} 
//-------------------------------------------------
semaphore door 0   //default closed door 
semaphore car  0   //default drive car ：已经售票 
driver()
{开车 signal(car) //停车wait(door) //等待关门 
}seller()
{wait(car)//等待停车客户上下车signal(door) //关车门售票      
}