Funcionamiento y programación del semáforo P V. ¡Dos equipos cruzando el problema del puente!

Supongamos el semáforo: MUTEX=1 (mutuamente excluyente entre este y oeste)

MD=1 (mutuamente excluyente de este a oeste usando variables de conteo)

MX=1 (las variables de conteo se utilizan para excluirse entre sí de oeste a este)

Supongamos la variable entera: CD=0 (el número de personas que han abordado el puente de este a oeste)

CX=0 (el número de personas que han abordado el puente de oeste a este) Número de personas en el puente)

De este a oeste:

P ( MD)

SI (CD=0)

{P (MUTEX ) }

CD=CD+1

V (MD )

Cruzar el puente

P (MD)

CD=CD-1

IF (CD=0)

{V (MUTEX) }

V (MD)

De oeste a este:

P (MX)

SI (CX=0)

{P (MUTEX) }

CX =CX+1

V (MX)

Cruzar el puente

P (MX)

CX=CX-1

IF (CX=0)

{V (MUTEX ) }

V (MX)