Aparcamiento de pago (1)

Un aparcamiento de pago recibe coches que pueden entrar a través de cualquiera de dos barreras (entrada uno y entrada dos) y salir por otra barrera (salida 3). La dirección quiere determinar cuántos coches hay en el aparcamiento en cada momento. La capacidad máxima del aparcamiento es de 5 coches. Nos piden diseñar un sistema informático para hacer esto. En el programa producido, cada barrera se representa por un proceso y pone al día una variable contador compartida.

Implementar 3 versiones de la solución en Pascal-FC con las siguientes características:

  1. Versión con procesos concurrentes pero sin utilizar los métodos habituales de control de la concurrencia. Se pueden utilizar varias variables.
  2. Versión que utiliza semáforos.
  3. Solución utilizando monitores.

Restricciones:

Salidas posibles del programa:

Notación:

.:-.:-.:-.:--.:-:-:-:-:-:--.-.-.-.-.----

.:--.-:-.-.:--.-:-.-.:--.-:-.-.:--:-:-:-

.:-:-:--.::-:-.:-:-:-.-:--.---.-.-.-.-.-


Última actualización: 15 de marzo de 2004
abia@dlsi.ua.es