PUERTA | PUERTA CS 2021 | Juego 2 | Pregunta 53

Considere un sistema informático con varios tipos de recursos compartidos, con una instancia por tipo de recurso. Cada instancia puede ser propiedad de un solo proceso a la vez. La propiedad y la liberación de recursos se realizan manteniendo un bloqueo global (L). El siguiente esquema se utiliza para poseer una instancia de recurso:

function OWNRESOURCE(Resource R)
    Acquire lock L // a global lock
    if R is available then
        Acquire R
        Release lock L
    else
        if R is owned by another process P then 
        Terminate P, after releasing all resources owned by P  
        Acquire R  
        Restart P
        Release lock L
        end if
    end if    
end function 

¿Cuál de las siguientes opciones sobre el esquema anterior es correcta?
(A) El esquema asegura que no ocurrirán interbloqueos
(B) El esquema puede conducir a un bloqueo en vivo
(C) El esquema puede conducir a la inanición
(D) El esquema viola la propiedad de exclusión mutua

Respuesta: (A) (B) ( C)
Explicación: (A) El esquema garantiza un funcionamiento sin interbloqueo, ya que no es posible una condición de espera y espera.

(B) El esquema puede conducir a problemas de inversión de prioridad y, por lo tanto, es posible el bloqueo en vivo.

(C) El esquema puede conducir a la inanición. Por ejemplo, el proceso de prioridad puede programarse repetidamente y sigue eliminando los procesos de menor prioridad. Por lo tanto, un proceso de baja prioridad puede pasar hambre.

(D) La exclusión mutua se cumple ya que solo un proceso puede adquirir y liberar bloqueos a la vez.
Cuestionario de esta pregunta