Considérese un programa constituido por dos
hilos de ejecución que comparten tres semáforos y una variable entera, como se muestra en la figura.
El programa es ejecutado en un ordenador con una sola CPU.
¿Cuáles son las regiones criticas del programa?