Buenas, mi duda es la siguiente:
En la propuesta dice lo siguiente: "El tanque solo debe ser rellenado si no hay clientes abasteciéndose de combustible. Los clientes que ya pagaron tendrán prioridad sobre los nuevos que llegan para cargar combustible luego del rellenado."
Yo interpreto esto como el hecho que los clientes que lleguen a un surtidor luego de rellenar el tanque quedarán bloqueados hasta que todos los que habían pagado previo al rellenado terminen de abastecerse. Es correcta la interpretacion?
En caso de ser correcta la interpretacion: El primer cliente que termina el procedimiento Cargar() luego del rellenado realiza V(cliente_nuevo), desbloqueando asi a uno de los clientes que pagaron luego del relleno. Ahora ese cliente, queda bloqueado en P(cliente_espera) junto a los otros que habian pagado previo al rellenado. En el momento en que se levanta el desbloqueo, bien podría ser el primero en despertar, y lograr llegar a Cargar() antes que otros que habian llegado al surtidor previo al relleno, quebrando asi el requerimiento de letra.
Espero una respuesta
Damián