Instituto Tecnolgico de Costa Rica Nombre:___________________________________

Escuela de Ingeniera en Computacin

Sistemas Operativos Avanzados Carnet :____________
II Examen Parcial - 29 de Mayo del 2017

1) (10 Puntos) Falso o Verdadero:

a) ___ Un checkpoint en un Log-Structured File System es un punto en el log donde todo est consistente y
completo.
b) ___ Una tarea peridica tiene una frecuencia conocida a priori por lo que podemos predecir sus start times.
c) ___ Dados cualquier par de eventos en una historia distribuida, su relacin de causalidad puede ser
establecida exactamente con relojes vectoriales, pero no necesariamente con relojes de Lamport.
d) ___ Esencialmente, la diferencia entre un GPOS y un RTOS es que el segundo deber ser muy eficiente y
rpido en ejecucin.
e) ___ El algoritmo de sincronizacin Ricart-Agrawala genera menos mensajes que el algoritmo de
sincronizacin propuesto por Lamport.
f) ___ La asignacin enlazada de bloques para formar archivos es muy buena en acceso directo, pero muy mala
para acceso secuencial.
g) ___ Un hard RTOS se caracteriza por que el incumplir los deadlines de las tareas tiene consecuencias
catastrficas.
h) ___ Un mecanismo de trap-and-emulate es la clave para la implementacin de un DSM.
i) ___ Gnutella es un ejemplo de un sistema P2P no estructurado y Chord es un ejemplo de un sistema P2P
estructurado.
j) ___ Un reloj vectorial es ms eficiente en sus necesidades de espacio quen reloj de Lamport.
k) ___ Bajo RM, un conjunto de 3 procesos cuya proporcin total de uso de CPU sea 0.85, es siempre
programable.
l) ___ El WCET es un algoritmo terico de scheduling para sistemas de tiempo real caracterizado por sus altos
costos de implementacin con la tecnologa actual.
II Parte (90 puntos) Conteste 4 de las siguientes 7 preguntas (todas valen lo mismo)
2) Explique detalladamente como maneja Sprite la consistencia secuencial de sus archivos. Su respuesta
deber considerar conceptos tales como concurrent write sharing, sequential write sharing, y delayed write backs.
Se puede asegurar que no hay forma de accesar datos inconsistentes?

3) Explique detalladamente todas las acciones que implican el acceso a un bloque perteneciente a un
archivo bajo el File System distribuido xFS.

4) Las mtricas de lateness, tardiness y laxity pueden, en general, tomar valores negativos, positivos o
exactamente cero. Para cada mtrica, presente un ejemplo de cada posible valor que pueda tomar
mostrando un diagrama de tiempo con un deadline, tiempo de computacin, tiempo de arrival, y tiempo de
start. Presente los diagramas (mximo 9) junto con todos los clculos necesarios.
5) Explique los pasos realizados por el protocolo de consistencia para DSM, en todas las combinaciones
posibles de los factores considerados (presencia de la pgina, estado de la pgina, owner de la pgina),
tanto para el caso en que se desee escribir en la pgina, como para el caso en que se desee leer la pgina.
Establezca claramente cuando la operacin se realiza a velocidad de hardware o cuando se requiere la
intervencin del manejador de DSM.

6) Explique la diferencias entre Consistencia Secuencial, Consistencia Causal, Linearizibilidad, y las

versiones timed.
7) Explique detalladamente el algoritmo de Ricart y Agrawala usando un ejemplo con al menos 5
procesos, donde se muestren todos los casos posibles.

8) Considere la siguiente tabla de procesos. Ejecute este conjunto de tareas programadas bajo el
algoritmo RM y bajo el algoritmo EDF.

Proceso Perodo Computacin

1 14 3
2 4 1
3 8 2
4 7 2