JUNIO 2017 – SEMANA 1

Para empezar, supone que hay un error en el enunciado, siendo el valor par Q = 6.1, y el
proceso P es el más importante, seguido de Q y, por último, de S (según solución del
libro).
a) El proceso P tiene la importancia más alta, por lo que se ejecuta P durante 30ms.
En orden de importancia continúa la ejecución de Q durante 1ms, pero ha
perdido su turno en los instantes 6, 12, 18, 24 y 30 ms. Por último, se ejecuta S
después de 31ms, perdiendo su tiempo límite en el instante 25ms.
b) P = 30%; Q = 16’6%; S = 20%
c) Si se planifica con asignación de prioridad de tasa monotónica se puede planificar
ya que la utilización total es del 66.6% que es inferior al umbral de límite de
utilización para 3 procesos.
d) El esquema que permite la planificación es:
Proceso Periodo (T) Procesamiento Prioridad Utilización
P 100 30 1 30%
Q 6 1 3 16’6%
S 25 5 2 20%

Modelo de Reanudación
Se basa en asumir que el manejador de excepciones ha sido capaz de reparar el
problema que causó la excepción.
Restaurado el estado válido, el invocador puede continuar la ejecución.
Para entender mejor este modelo, éste puede verse como como una llamada a una
función implícita, cuando ocurre una excepción, la cual intenta recuperar la situación
para poder continuar la ejecución.
Su uso tiene muchas ventajas, pero es complejo en cuanto a la implementación, lo cual
hace que no compense a esas ventajas.
Además de ello, la reanudación hace que el flujo de control de un programa sea difícil
de seguir, lo cual hace que sea un modelo más propenso a errores.

Modelo de Terminación
Supongamos que tenemos la definición de dos métodos.
- metodo1: define un bloque manejador de excepción.
- metodo2: en él ocurre una condición que da lugar a la elevación de una
excepción.
Tras invocar a metodo1 el código es ejecutado hasta que se invoca al metodo2. Dentro
de metodo2 se eleva una excepción, por lo que el control se retorna al manejador de
excepción, no ejecutándose el resto de sentencias.

Con rendezvous (mediante cita, reunión, etc.) los dos procesos tienen que llegar al
mismo tiempo a la zona mutex, esperando un proceso a que llegue el otro, antes de
entrar el primero en dicha zona. Esto es solo aceptable para dos procesos y no para más.
Con objeto protegido se garantiza la atomicidad de la operación sobre el semáforo,
además de tener la misma potencia expresiva de estos. El acceso a la zona mutex la
gestiona el propio Sistema Operativo, con lo cual se garantiza además la exclusión
mutua.
Ambos son responsabilidad del programador.
Con rendezvous la implementación de semáforos es peor que con objetos protegidos,
ya que ni tan siquiera el propio Sistema Operativo garantiza la atomicidad de la
operación sobre la barrera (es algo que debe programar el desarrollador para
conseguirlo), pero con el objeto protegido si se garantiza.