Process 東(){
P(mutex2)
P(bridge)
{過橋}
s2=0
if(s1==0){
V(mutex1)
s1=1
}
V(bridge)
Process 西(){
P(mutex1)
s1=0
if(s2==0){
V(mutex2)
s2=1