Hola!
Para un semáforo no binario llegué a que es importante una mutua exclusión de P y V ya que su variable s es compartida. Pero para el semáforo binario no me doy cuenta si debería ser así, y si lo es por qué.
Gracias.
¿Como llegaste a esa conclusión para los semáforos de conteo?
¿Por que no llegás a la misma conclusión aplicando el mismo razonamiento para los binarios? También tienen una variable compartida.
Saludos
¿Por que no llegás a la misma conclusión aplicando el mismo razonamiento para los binarios? También tienen una variable compartida.
Saludos
Hola. Pensándolo nuevamente, en ambos casos es una variable compartida. Mi respuesta sería que en uno binario no es tan grave como en uno de conteo, porque solo toma dos valores posibles, mientras que en uno de conteo la variable corre peligro de acumularse muchas veces por ejemplo.
Hay otros problemas aparte del valor que pueda tener la variable. Podría pasar que muchos procesos entren a la región crítica a la vez por ejemplo. Fijate por ejemplo en el código de la diapositiva 13 de semáforos que podría pasar si la función TestAndReset no fuera atómica.