解：
Begin
Semaphore: mutex:=1;// 桥互斥信号量
Semaphore: mutex1, mutex2:=1;// 访问 count1 、 count2 的互斥信号量
int: count1, count2:=0;// 记录方向 1 、方向 2 在桥上同方向的人数
Cobegin
Process GO_BRIGE1
Begin
P(mutex1);
If count[1]=0 then
P(mutex);//P 操作成功，则桥空，方向 1 的人都可过桥
Count1:=count1+1;
V(mutex1);
V(mutex);
“过桥” ;
P(mutex1);
Count1:=count1-1;
If count1=0 then
V(mutex);// 桥上人下空，任何方向的人都可过桥
V(mutex1);
End
Process GO_BRIGE2
Begin
P(mutex2);
If count2=0 then
P(mutex);//P 操作成功，则桥空，方向 2 的人都可过桥
Count2:=count2+1;
V(mutex2);
“过桥” ;
P(mutex2);
Count2:=count2-1;
If count2=0 then
V(mutex);// 桥上人下空，任何方向的人都可过桥
V(mutex2);
End
Coend
End