Procesos
Un proceso es simplemente, un programa en ejecucin que necesita
recursos para realizar su tarea: tiempo de CPU, memoria, archivos y
dispositivos de E/S. El SO es el responsable de:
Crear y destruir los procesos.
Parar y reanudar los procesos.
Ofrecer mecanismos para que se comuniquen y sincronicen.
Los procesos son totalmente aleatorios en el tiempo y el comportamiento de
un conjunto de ellos depender de las condiciones en un instante dado. Esto
implica que los programas no pueden ser elaborados asumiendo lo que pasar
en el futuro cuando se estn procesando.
Modelo de procesos
El sistema operativo para permitir la multiprogramacin y la concurrencia
requiere de un modelo de procesos que ofrezca el soporte necesario para
proveerla.
Multiprogramacin: La CPU alterna de programa en programa, en
un esquema de seudo paralelismo (Paralelismo virtual).
Paralelismo real de hardware: Cuando se ejecutan las
instrucciones de un programa con ms de un procesador.
El modelo de procesos sirve para aumentar el paralelismo en la
ejecucin. Est compuesto bsicamente por PCB (Process Control Block),
Tabla de Procesos, Estados y transiciones de los procesos.
El Bloque de Control de Procesos (PCB)
El bloque de control de proceso es una estructura de datos con campos
para registrar los diferentes aspectos de la ejecucin del proceso y de la
utilizacin de recursos. Cada vez que se crea un proceso el sistema operativo
crea el PCB correspondiente para que sirva como descripcin en tiempo de
ejecucin durante toda la vida del proceso.
Cuando el proceso termina, su PCB es borrado y el registro puede ser
utilizado para otros procesos. Un proceso resulta conocido para el sistema
operativo y por tanto elegible para competir por los recursos del sistema slo
cuando existe un PCB activo asociado a l.
Estados de los Procesos
Los estados de un proceso obedecen a su participacin y disponibilidad
dentro del sistema operativo y surgen de la necesidad de controlar la ejecucin
de cada proceso. Todo proceso en un sistema operativo presenta un estado
que indica la situacin de la ejecucin en que se encuentra. El nmero de
posibles estados vara de un sistema operativo a otro.
Consideramos que todo proceso puede estar, como mnimo, en uno de los
siguientes tres estados:
Ejecucin, es un proceso que est haciendo uso del procesador.
Bloqueado, No puede ejecutarse hasta que un evento externo sea
llevado a cabo.
Listo, ha dejado disponible al procesador para que otro proceso
pueda ocuparlo.
Modelo de dos estados.
El modelo de estados ms simple es el de dos estados. En este modelo, un
proceso puede estar ejecutndose o no. Cuando se crea un nuevo proceso, se
pone en estado de No ejecucin. En algn momento el proceso que se est
ejecutando pasar al estado No ejecucin y otro proceso se elegir de la lista
de procesos listos para ejecutar para ponerlo en estado Ejecucin.
De esta explicacin se desprende que es necesario que el sistema operativo
pueda seguirle la pista a los procesos, conociendo su estado y el lugar que
ocupa en la memoria. Adems los procesos que no se estn ejecutando deben
guardarse en algn tipo de cola mientras esperan su turno para ejecutar.
Modelo de tres estados
Para poder manejar convenientemente una administracin de procesador es
necesario contar con un cierto juego de datos. Ese juego de datos ser una
tabla (BCP o en ingls PCB) en la cual se reflejar en qu estado se encuentra
el proceso, por ejemplo, si est ejecutando o no. Los procesos, bsicamente,
se van a encontrar en este caso, en tres estados:
- Ejecutando.
- Listos para la ejecucin.
- Bloqueados por alguna razn.
Modelo de cinco estados
Los cinco estados de este diagrama son los siguientes:
Ejecucin: el proceso est actualmente en ejecucin.
Listo: el proceso est listo para ser ejecutado, slo est esperando
que el planificador as lo disponga.
Bloqueado: el proceso no puede ejecutar hasta que no se produzca
cierto suceso, como una operacin de Entrada/Salida.
Nuevo: El proceso recin fue creado y todava no fue admitido por el
sistema operativo. En general los procesos que se encuentran en
este estado todava no fueron cargados en la memoria principal.
Terminado: El proceso fue expulsado del grupo de procesos
ejecutables, ya sea porque termin o por algn fallo, como un error
de proteccin, aritmtico, etc.
Los nuevos estados Nuevo y Terminado son tiles para la de procesos. En este
modelo los estados Bloqueado y Listo tienen ambos una cola de espera.
Cuando un nuevo proceso es admitido por el sistema operativo, se sita en la
cola de listos. A falta de un esquema de prioridades sta puede ser una cola
FIFO Los procesos suspendidos son mantenidos en una cola de bloqueados.
Cuando se da un suceso se pasan a la cola de listos los procesos que
esperaban por ese suceso. Si existe un esquema con diferentes niveles de
prioridad de procesos es conveniente mantener varias colas de procesos listos,
una para cada nivel de prioridad, lo que ayuda a determinar cul es el proceso
que ms conviene ejecutar a continuacin.
Modelo de siete estados
Una de las razones para implementar el estado Bloqueado era poder hacer que
los procesos se puedan mantener esperando algn suceso, por ejemplo una
Entrada/Salida. Sin embargo, al ser mucho ms lentas estas operaciones,
puede suceder en nuestro modelo de cinco estados que todos los procesos en
memoria estn esperando en el estado Bloqueado y que no haya ms memoria
disponible para nuevos procesos. Podra conseguirse ms memoria, aunque es
probable que esto slo permita procesos ms grandes y no necesariamente
nuevos procesos. Adems hay un costo asociado a la memoria y de cualquier
forma es probable que se llegara al mismo estado con el tiempo. Otra solucin
es el intercambio. El intercambio se lleva a cabo moviendo una parte de un
proceso o un proceso completo desde la memoria principal al disco, quedando
en el estado Suspendido. Despus del intercambio, se puede aceptar un nuevo
proceso o traer a memoria un proceso suspendido anteriormente. El problema
que se presenta ahora es que puede ser que si se decide traer a memoria un
proceso que est en el estado Suspendido, el mismo todava se encuentre
bloqueado. Slo convendra traerlo cuando ya est listo para ejecutar, esto
implica que ya aconteci el suceso que estaba esperando cuando se bloque.
Para tener esta diferenciacin entre procesos suspendidos, ya sean listos como
bloqueados, se utilizan cuatro estados: Listo, Bloqueado, Bloqueado y
suspendido y Listo y suspendido.
