Estados de los procesos

Planificador de procesos: Diagrama de estados simplicado

Todo proceso en un sistema operativo presenta un estado que indica la situación de la ejecución en que se encuentra. El número de posibles estados varía de un sistema operativo a otro. No obstante, un proceso de cualquier sistema operativo puede estar, como mínimo, en uno de los siguientes tres estados:

• Activo: el proceso está empleando la CPU, por tanto, está ejecutandose. Pueden haber tantos procesos activos como procesadores haya disponible. Por tanto, si el sistema dispone de un único procesador, únicamente puede haber un proceso activo a la vez.
• Preparado: el proceso no está ejecutándose pero es candidato a pasar a estado activo. Es el planificador el que, en base a un criterio de planificación, decide qué proceso selecciona de la lista de procesos preparados para pasar a estado activo.
• Bloqueado: el proceso está pendiente de un evento externo, tales como una operación de lectura/escritura, la espera de finalización de un proceso hijo, una señal o una operación sobre un semáforo.

                          |---------------|
  pendiente               |               |              recibido
   evento      ---------> |   bloqueado   |-----------    evento
   externo     |          |               |          |    externo
               |          |---------------|          |
               |                                     |
               |             planificador           \/
       |--------------|       retira CPU     |---------------|
       |              | -------------------> |               |
       |    activo    |                      |   preparado   |
       |              | <------------------- |               |
       |--------------|                      |---------------|
                            planificador
                             asigna CPU

La transición de activo a preparado y viceversa depende de decisiones tomadas por el planificador del sistema operativo en base a un cierto criterio. La transición de activo a bloqueado, y de bloqueado a preparado puede inducirlas el programador mediante llamadas al sistema.

Además, algunos sistemas operativos disponen de un estado terminado en el que los procesos pasan antes de terminar su ejecución.

En el caso del núcleo de Linux, existen tres tipos de estados bloqueado y dos estados terminado: http://www.ibm.com/developerworks/linux/library/l-task-killable/