计算机科学论坛--pv巴拿马运河问题

贴子主题： pv巴拿马运河问题

本主题类别:

巴拿马运河问题

巴拿马运河问题
巴拿马运河建在太平洋和大西洋之间，由于太平洋和大西洋水面高度不同，有巨大落差，所以运河中建有T(T≥2)级船闸，并且只能允许单向通行，船闸依次编号为1,2,…,T，由大西洋来的船需要经过船闸T,T-1.,,,2,1通过运河到达太平洋，由太平洋来的船需要经由船闸1,2,…,T-1,T通过运河到达大西洋。使用P,V操作正确解决大西洋和太平洋的船只通航问题。

分析思想：
1）巴拿马运河大西洋，太平洋两个方向的船设置为两个进程。Atlantic(),Pacific();
2）当一侧船来到运河，如果另一侧船在过河，则等待；如果自己方船在过河，同时己方船只的总过河船数小于T，则过河；如果己方船在过河，同时己方船只过河总数大于T，则等待。
3）为了避免饥饿和死锁，必须控制一次过河的船数T。

信息量：
A,P:=1 ——代表两边的船只是否允许通过的闸门。
mutex1,mutex2:=1 ——互斥信息量

程序：
semaphore A=1;
semaphore P=1;
semaphore mutex1=1;
semaphore mutex2=1;
int PshipSum=0,AshipSum=0;
int PshipCur=0,AshipCur=0;

Pacific(){
P(P);
P(mutex1);
PshipSum++; PshipCur++;
if(PshipCur==1)
  P(A);
if(PshipSum==T)
  P(P);
V(P);
V(mutex1)
过河；
P(mutex1);
PshipCur--;
if(PshipCur==0){
  V(A);
  PshipSum=0;
  if(PshipSum==T)
   V(P);
}
V(mutex1);

}

Atlantic(){
P(A);
P(mutex2);
AshipSum++; AshipCur++;
if(AshipCur==1)
  P(P);
if(AshipSum==T)
P(A);
V(A);
V(mutex2);
过河；
P(mutex2);
AshipCur--;
if(AshipCur==0){
  V(P);
  AshipSum=0;
  if(AshipSum==T)
   V(A);
}
V(mutex2);

}

各位大哥，大家好，这是在此网站runningwulf大哥做的，我有点儿疑惑
PshipSum=0;
if(PshipSum==T)
V(P)
都已经让PshipSum==0了，为什么还if(PshipSum==T)呢？
希望大家指点，感谢runningwulf大哥做的pv给我很大帮助。


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