TEMA 2. GESTIÓN DE PROCESOS - Universidad de Almería

Diseño de Sistemas Operativos
Tema 2. Gestión de Procesos
2.7.3.1. Contexto de Ejecución de Procesos que están Dormidos.
• Los procesos duermen durante la ejecución de una llamada al sistema.
– El proceso entra en modo kernel (capa de contexto 1) cuando ejecuta un trap (interrupción
software para pasar de modo usuario a modo kernel) del sistema operativo.
– El proceso duerme (sleep) esperando un recurso (operación de E/S) ⇒ cambio de contexto
⇒ apila la capa de contexto actual y se ejecuta en la capa de contexto 2 (Figura 2.12).
• El proceso duerme también cuando ocurre una falta de página (páginación).
– Duerme mientras el kernel lee el contenido de la página requerida, bien desde el búffer
caché, de memoria principal o de memoria secundaria.
Capa contexto kernel 2
Ejecutar código para
cambio de contexto
Invocar algoritmo sleep
Contexto de registro
salvado para llam. sist.
Capa contexto kernel 1
Ejecutar llam. al sist.
Realizar llamada al sistema
Contexto de registro
salvado para nivel de
usuario
Ejecutando en modo usuario
Figura 2.12. Capas de contexto típicas de un proceso dormido.
2.7.3.2. Eventos y Direcciones en los que Duermen los Procesos.
• Abstracción = Modelo para manejar procesos (supone).
– Los procesos se duermen en un evento (dormir) ⇒ estado “dormido” en el diagrama de
transición de estados de un proceso UNIX.
– Ocurre el evento (despertar) ⇒ despiertan y pasan al estado “listo para ejecutarse”.
• Implementación ⇒ El kernel establece una correspondencia (mapea) entre el conjunto de eventos y
el conjunto de direcciones virtuales del kernel asociados a esos eventos.
– Las clases de eventos que podríamos establecer son: esperando finalización de E/S,
esperando búffer, esperando inodo y esperando entrada por terminal.
• Ni abstracción ni implementación del evento distinguen el número de procesos que esperan en el
evento (duermen), es decir esta abstracción de eventos es genérica ⇒ anomalías debidas al número
de procesos que esperan en el evento.
– Anomalía 1.
+ Se produce un evento (dormir) en el cual tenemos varios procesos.
+ Llamada a wakeup para procesos que dormían en dicho evento.
+ Todos ellos se despiertan ⇒ pasan a estado “listo para ejecutarse” ⇒ compiten por el
mismo recurso.
+ Muchos volverán a dormirse después de pasar por “ejecución en modo kernel”.
– Anomalía 2.
+ Varios eventos pueden corresponder en una única dirección virtual. Figura 2.13
(esperando finalización de E/S y esperando búffer).
* Se completa la operación de E/S para el búffer.
* El kernel despierta procesos que dormían en ambos eventos.
* Proceso en espera de finalización E/S ⇒ bloquea búffer.
* Procesos en espera de búffer libre ⇒ duermen otra vez.
Departamento de Lenguajes y Computación. Universidad de Almería Página 2.36