Sistemas Operativos | conjunto 13

Se han hecho las siguientes preguntas en el examen GATE CS 2007.

1) Un sistema de memoria virtual utiliza la política de sustitución de páginas First In First Out (FIFO) y asigna una cantidad fija de marcos a un proceso. Considere las siguientes afirmaciones:
P: Aumentar el número de marcos de página asignados a un proceso a veces aumenta la tasa de errores de página.
P: Algunos programas no muestran la localidad de referencia. ¿Cuál de las siguientes es VERDADERA?
(A) Tanto P como Q son verdaderas, y Q es la razón de P
(B) Tanto P como Q son verdaderas, pero Q no es la razón de P.
(C) P es falsa, pero Q es verdadera
(D) Tanto P como Q son falsas.

Respuesta (B)
P es verdadera. Aumentar el número de marcos de página asignados al proceso puede aumentar el no. de fallas de página (Ver Anomalía de Belady ).
Q también es cierto, pero Q no es la razón de -P ya que la Anomalía de Belady ocurre para algunos patrones específicos de referencias de página.

2) Un sistema de un solo procesador tiene tres tipos de recursos X, Y y Z, que son compartidos por tres procesos. Hay 5 unidades de cada tipo de recurso. Considere el siguiente escenario, donde la columna alloc indica el número de unidades de cada tipo de recurso asignadas a cada proceso, y la columna request indica el número de unidades de cada tipo de recurso solicitado por un proceso para completar la ejecución. ¿Cuál de estos procesos terminará ÚLTIMO?

 
    alloc           request
    X Y Z            X Y Z
P0  1 2 1            1 0 3
P1  2 0 1            0 1 2
P2  2 2 1            1 2 0

(A) P0
(B) P1
(C) P2
(D) Ninguna de las anteriores, ya que el sistema está en interbloqueo

Respuesta (C)
Una vez que se asignan todos los recursos (5, 4 y 3 instancias de X, Y y Z respectivamente), quedan 0, 1 y 2 instancias de X, Y y Z. Solo se pueden satisfacer las necesidades de P1. Entonces P1 puede terminar su ejecución primero. Una vez que se hace P1, libera 2, 1 y 3 unidades de X, Y y Z respectivamente. Entre P0 y P2, las necesidades de P0 solo pueden ser satisfechas. Entonces P0 termina su ejecución. Finalmente, P2 termina su ejecución.

3) Dos procesos, P1 y P2, necesitan acceder a una sección crítica del código. Considere la siguiente construcción de sincronización utilizada por los procesos: aquí, Wants1 y Wants2 son variables compartidas, que se inicializan en false. ¿Cuál de las siguientes afirmaciones es VERDADERA sobre el constructo anterior?

  /* P1 */
while (true) {
  wants1 = true;
  while (wants2 == true);
  /* Critical
    Section */
  wants1=false;
}
/* Remainder section */       


/* P2 */
while (true) {
  wants2 = true;
  while (wants1==true);
  /* Critical
    Section */
  wants2 = false;
}
/* Remainder section */

(A) No garantiza la exclusión mutua.
(B) No asegura la espera limitada.
(C) Requiere que los procesos entren en la sección crítica en estricta alternancia.
(D) No evita los puntos muertos, pero asegura la exclusión mutua.

Respuesta (D)

Las construcciones de sincronización anteriores no evitan el interbloqueo. Cuando tanto los deseos 1 como los deseos 2 se vuelven verdaderos, tanto P1 como P2 se quedan para siempre en sus bucles while esperando que el otro termine.

4) Considere las siguientes afirmaciones sobre subprocesos a nivel de usuario y subprocesos a nivel de kernel. ¿Cuál de las siguientes afirmaciones es FALSA?
(A) El tiempo de cambio de contexto es más largo para los subprocesos a nivel de kernel que para los subprocesos a nivel de usuario.
(B) Los subprocesos de nivel de usuario no necesitan soporte de hardware.
(C) Los subprocesos de nivel de kernel relacionados se pueden programar en diferentes procesadores en un sistema multiprocesador.
(D) El bloqueo de un subproceso a nivel de kernel bloquea todos los subprocesos relacionados.

Respuesta (D)
Dado que los subprocesos a nivel de kernel son administrados por el kernel, el bloqueo de un subproceso no hace que todos los subprocesos relacionados se bloqueen. Es un problema con los hilos de nivel de usuario. Vea esto para más detalles.

Consulte GATE Corner para ver todos los documentos/soluciones/explicaciones del año anterior, programa de estudios, fechas importantes, notas, etc.

Escriba comentarios si encuentra que alguna de las respuestas/explicaciones es incorrecta, o si desea compartir más información sobre los temas discutidos anteriormente.