cobegin{
     process monitor
     repeat:
            v(small);
            v(small);
            v(small);
            p(finish);
            p(finish);
            p(finish);
            v(big);
            p(finish);
     until false;

     process bigship
     repeat:
            p(big);
            go through....
            v(finish);
     until false;

     process smallship
     repeat:
            p(small);
            go through....
            v(finish);
     until false;
}coend;

反正前提是两条运河上都不会没有船，不会发生饥饿或阻塞……

而我原来的解法使用的是第二类读者写者混合模型，只不过最多只允许三个读者同时读，如下（有点麻烦，希望大家耐心看）：
int smallship=3;//小船资源
int bigship=1;//大船资源
int mutex=1;//小船间互斥
int b&s_mutex=1;//大小船之间互斥信号
int smallship_num=0;//小船数

cobegin{
      process smallship
      repeat:
            P(b&s_mutex);
            p(smallship);//请求小船资源
            p(mutex);//小船之间互斥
            smallship_num++;//修改小船数
            if(smallship_num==1)
                  p(bigship);//资源分配给了小船，将大船资源剥夺
            v(mutex);
            v(b&s_mutex);
            go through...//过运河
            p(mutex);
            smallship_num--;//修改小船数
            if(smallship_num==0)
                   v(bigship);//小船过完，释放大船资源
            v(mutex);
            v(smallship);//该小船已经通过运河，释放小船资源
      until false;

      process bigship
      repeat:
            p(b&s_mutex);//大小船互斥
            p(bigship);//申请大船资源
            go through....
            v(bigship);
            v(b&s_mutex);
      until false;
}coend;

另外请参考关于信号量的定义，不要用int。

btw：这个题陈老师写了“先到先过”这么一句，如果真正用pv实现是很难的，我认为可以假装没看见这句话。