CGU-NET | UGC NET CS 2017 Ene – II | Pregunta 36 – Part 1

Hay tres procesos P ₁ , P ₂ y P ₃ que comparten un semáforo para sincronizar una variable. El valor inicial del semáforo es uno. Suponga que el valor negativo del semáforo nos dice cuántos procesos están esperando en la cola. Los procesos acceden al semáforo en el siguiente orden:
(a) P ₂ necesita acceder
(b) P ₁ necesita acceder
(c) P ₃ necesita acceder
(d) P ₂ sale de la sección crítica
(e) P ₁ sale de la sección crítica
El final el valor del semáforo será:
(A) 0
(B) 1
(C) -1
(D) -2

Respuesta: (A)
Explicación: Valor inicial de los semáforos S=1

1. P ₂ necesita acceder disminuye el semáforo en 1, el nuevo valor será 0 (nadie está esperando)
2. P ₁ necesita acceder disminuye el semáforo en 1, el nuevo valor será -1 (un proceso está esperando)
3. P ₃ necesita acceder disminuye el semáforo en 1, el nuevo valor será -2 (2 procesos están esperando)
4. P ₂ sale de la sección crítica aumenta el semáforo en 1, el nuevo valor será -1 (un proceso está esperando)
5. P ₁ sale de la sección crítica aumenta el semáforo en 1, el nuevo valor será 0 (no hay ningún proceso en espera)

Entonces, la opción (A) es correcta.
Cuestionario de esta pregunta