MD=1 (東向西使用計數變量互斥)
MX=1 (西向東使用計數變量互斥)
設整型變量: CD=0 (東向西的已上橋人數)
CX=0 (西向東的已上橋人數)
從東向西:
P (MD)
IF (CD=0)
{P (MUTEX) }
CD=CD+1
V (MD)
過橋
P (MD)
CD=CD-1
IF (CD=0)
{V (MUTEX) }
V (MD)
從西向東:
P (MX)
IF (CX=0)
{P (MUTEX) }
CX=CX+1
V (MX)
過橋
P (MX)
CX=CX-1
IF (CX=0)
{V (MUTEX) }
V (MX)