Planificador de sistemas operativos

Definición y concepto

El planificador constituye un componente funcional de vital importancia dentro de la arquitectura de los sistemas operativos modernos. Su presencia es esencial tanto en los entornos multitarea y multiproceso tradicionales como en los sistemas operativos de tiempo real, donde la precisión en la gestión de los recursos es crítica para el rendimiento general del sistema. La función principal de este módulo consiste en administrar y repartir el tiempo disponible de un microprocesador entre todos los procesos que se encuentran disponibles para su ejecución, asegurando que cada tarea reciba la atención necesaria del procesador según las políticas establecidas.

Mecanismo de acción y gestión del procesador

El funcionamiento del planificador se basa en la capacidad del hardware para generar interrupciones que señalan al sistema operativo cuándo debe tomar una decisión de asignación. Estas interrupciones pueden originarse por diversos factores, siendo uno de los más comunes la expiración de un temporizador. Por ejemplo, el hardware puede generar una interrupción cada 250 milisegundos, lo que permite al planificador evaluar el estado de los procesos y decidir si es necesario cambiar de uno a otro para mantener la ilusión de simultaneidad en un entorno multitarea.

Además de las interrupciones temporales, el planificador también responde a las solicitudes de entrada/salida (E/S). Cuando un proceso solicita un recurso externo, como la lectura de un archivo o la recepción de datos desde el teclado, el microprocesador puede quedar libre temporalmente. El planificador aprovecha estos momentos para asignar el tiempo del procesador a otros procesos disponibles, optimizando así el uso de los recursos y reduciendo el tiempo de espera total del sistema.

Tipos de planificadores

Para abordar las distintas necesidades de gestión de procesos, los sistemas operativos emplean diferentes niveles de planificación. Existen planificadores a corto, medio y largo plazo, cada uno con funciones específicas que contribuyen a la eficiencia general del sistema. El planificador a largo plazo decide qué procesos se admiten en la cola de preparación, el de mediano plazo gestiona la entrada y salida de procesos de la memoria principal, y el de corto plazo selecciona el proceso que se ejecutará en el procesador en cada momento.

La elección de la política de planificación adecuada depende de los objetivos del sistema, como la maximización del rendimiento, la minimización del tiempo de espera o la garantía de tiempos de respuesta en sistemas de tiempo real. Entre las políticas más utilizadas se encuentran el método Round-robin, que asigna intervalos de tiempo fijos a cada proceso; el método FIFO (First In, First Out), que ejecuta los procesos en el orden en que llegan; el método SJF (Shortest Job First), que prioriza los procesos con menor tiempo de ejecución estimado; y el método CFS (Completely Fair Scheduler), que busca una distribución equitativa del tiempo del procesador entre todos los procesos activos.

¿Cómo funciona el planificador?

El funcionamiento del planificador se basa en un mecanismo cíclico que gestiona la asignación de la unidad central de procesamiento entre las diversas tareas activas. Este componente no actúa de forma aislada, sino que depende estrechamente de las señales generadas por el hardware subyacente para tomar decisiones de cambio de estado. La interacción entre el software del sistema operativo y el microprocesador permite lograr la ilusión de ejecución simultánea, fundamental en entornos multitarea y multiproceso.

Interrupciones de hardware como detonantes

El proceso de reevaluación de los procesos disponibles se desencadena principalmente mediante interrupciones de hardware. Estas señales fuerzan al microprocesador a detener momentáneamente la ejecución del proceso actual para que el planificador pueda intervenir. Existen dos fuentes principales de estas interrupciones que modifican el flujo de ejecución. La primera corresponde a la expiración de un temporizador de hardware. Según los datos técnicos disponibles, este temporizador genera una interrupción cada 250 milisegundos. Esta periodicidad define la "cuánta" de tiempo o el intervalo base durante el cual un proceso puede retener el controlador antes de ser evaluado para una posible suspensión.

La segunda fuente de interrupciones proviene de las solicitudes de entrada y salida (E/S). Cuando un proceso requiere datos de un dispositivo periférico o envía información hacia él, a menudo el dispositivo no está listo de inmediato. En este escenario, el hardware genera una interrupción para notificar al sistema operativo que el proceso puede continuar o, alternativamente, que debe esperar. Estas interrupciones permiten que el planificador decida si el proceso actual sigue siendo el más adecuado para ocupar el recurso de procesamiento o si debe ceder el turno a otra tarea lista para ejecutarse.

Guardado de contexto y selección del sucesor

Una vez que se produce la interrupción, el planificador ejecuta una secuencia crítica para asegurar la integridad de los procesos. El primer paso es el guardado del contexto del proceso saliente. Esto implica almacenar el estado actual del microprocesador, incluyendo los valores de los registros, el contador de programa y otros datos esenciales, en la memoria asociada a ese proceso específico. Este mecanismo garantiza que, cuando el proceso vuelva a ejecutarse, pueda reanudar su trabajo exactamente donde lo dejó, sin perder información intermedia.

Tras preservar el estado anterior, el planificador procede a la selección del siguiente proceso listo para la ejecución. Esta decisión se toma basándose en las políticas de planificación establecidas, como Round-robin, FIFO, SJF o CFS. El objetivo es elegir la tarea que mejor optimice los recursos disponibles según los criterios definidos por la política activa. El proceso seleccionado tiene su contexto cargado en el microprocesador, y la ejecución continúa con esta nueva tarea, completando así el ciclo de gestión del tiempo del procesador.

Niveles de planificación

Los sistemas operativos implementan distintos niveles de planificación para gestionar eficientemente los recursos del procesador y la memoria. Estos niveles se clasifican según la frecuencia de ejecución y el alcance de sus decisiones, abarcando desde la selección inmediata de procesos hasta la gestión global de la carga de trabajo en el sistema.

Planificador a largo plazo

El planificador a largo plazo, también conocido como planificador de trabajo, decide qué procesos se admiten en el sistema para su ejecución. Su función principal es controlar el grado de multiplicidad, determinando cuántos procesos nuevos se ingresan a la cola de preparación. Este nivel influye directamente en la mezcla de procesos de entrada/salida y de cálculo, afectando el rendimiento general del sistema. Las decisiones a largo plazo suelen ser las menos frecuentes, ya que un proceso permanece en el sistema durante un tiempo relativamente largo una vez admitido.

Planificador a medio plazo

El planificador a medio plazo se encarga de la gestión de la memoria principal mediante el intercambio de procesos, conocido como swapping. Su función consiste en eliminar temporalmente procesos de la memoria principal para reducir la carga del procesador o para liberar espacio de memoria. Los procesos eliminados se trasladan al disco y, posteriormente, son readmitidos a la memoria principal cuando las condiciones del sistema lo permiten. Este nivel permite ajustar dinámicamente el número de procesos activos en memoria, mejorando la eficiencia del uso de la memoria y del procesador.

Planificador a corto plazo

El planificador a corto plazo, o dispatcher, es el que selecciona cuál de los procesos listos en memoria principal debe ejecutarse a continuación. Se ejecuta con mucha mayor frecuencia que los otros niveles, típicamente cada vez que ocurre una interrupción de hardware, como la expiración de un temporizador cada 250 milisegundos o una solicitud de entrada/salida. Su decisión determina qué proceso obtiene el control del microprocesador en cada instante, siendo crucial para la respuesta rápida del sistema y la eficiencia del uso de la CPU.

Nivel	Nombre alternativo	Función principal	Frecuencia de ejecución
Largo plazo	Planificador de trabajo	Admisión de procesos al sistema	Baja (segundos o minutos)
Medio plazo	Planificador de intercambio	Swapping entre memoria y disco	Media (milisegundos o segundos)
Corto plazo	Dispatcher	Selección de proceso para ejecución inmediata	Alta (milisegundos, ej. cada 250 ms)

Políticas de planificación

Las políticas de planificación son los algoritmos y criterios que utiliza el planificador para decidir qué proceso debe ejecutarse en el microprocesador en un momento dado. Estas políticas determinan el orden de ejecución, la duración de las ráfagas de tiempo asignadas y la prioridad relativa de los procesos, lo que afecta directamente al rendimiento del sistema y a la latencia de respuesta en sistemas de tiempo real.

Política	Descripción breve
Round-robin	Asigna una ráfaga de tiempo fija a cada proceso en orden circular, ideal para sistemas multitarea interactivos.
FIFO (Primero en entrar, primero en salir)	Ejecuta los procesos en el orden de llegada, sin preempción, lo que puede causar el efecto "efecto convoy".
SJF (Shortest Job First)	Prioriza los procesos con la menor duración estimada de ejecución, minimizando el tiempo medio de espera.
CFS (Completely Fair Scheduler)	Busca equidad distribuyendo el tiempo de CPU proporcionalmente a la prioridad de cada proceso.
SRT (Shortest Remaining Time)	Versión preemptiva de SJF que selecciona el proceso con el menor tiempo restante de ejecución.
SPT (Shortest Processing Time)	Similar a SJF, selecciona el proceso con el menor tiempo total de procesamiento esperado.
Colas multinivel	Divide los procesos en varias colas según características (prioridad, tipo) y aplica políticas distintas a cada una.
Prioridades monótonas	Asigna prioridades fijas a los procesos que permanecen constantes durante su ejecución.
EDF (Earliest Deadline First)	Prioriza el proceso con la fecha límite más cercana, esencial en sistemas de tiempo real.

La elección de la política depende de los objetivos del sistema operativo. En sistemas multitarea generales, políticas como Round-robin y CFS buscan equilibrar la interactividad y la equidad entre procesos. En cambio, en sistemas de tiempo real, políticas como EDF y prioridades monótonas garantizan que las tareas críticas se ejecuten antes de sus fechas límite, asegurando la predictibilidad del sistema.

Tipos de algoritmos: expropiativos y no expropiativos

La gestión de los recursos de procesamiento se clasifica fundamentalmente según la capacidad del planificador para intervenir en la ejecución de un proceso activo. Esta distinción divide los algoritmos en dos grandes categorías: los algoritmos expropiativos y los no exprociativos. La elección entre uno u otro depende de los requisitos de latencia, throughput y complejidad del sistema operativo, siendo esencial en los sistemas operativos de tiempo real donde la predictibilidad es crítica.

Algoritmos expropiativos

En un sistema expropiativo, el planificador tiene la autoridad para quitar la unidad central de procesamiento (CPU) a un proceso que está ejecutándose y asignarla a otro. Esto ocurre típicamente cuando expira un temporizador de hardware, como las interrupciones que pueden generarse cada 250 milisegundos, o cuando llega un proceso de mayor prioridad. Este mecanismo permite una mayor flexibilidad en la gestión de la carga de trabajo.

Las políticas expropiativas son fundamentales para evitar la inanición de procesos de alta prioridad. Por ejemplo, en el algoritmo Round-robin, cada proceso recibe un quantum de tiempo fijo; si no termina en ese lapso, el planificador lo "expropia" y pasa al siguiente en la cola. De manera similar, en el algoritmo de menor tiempo de ejecución primero (SJF) expropiativo, si llega un nuevo proceso cuyo tiempo estimado de ejecución es menor que el tiempo restante del proceso actual, este último es desplazado. El planificador de justicia completa (CFS) también utiliza mecanismos expropiativos para equilibrar el tiempo de CPU entre los procesos activos, asegurando que ninguno domine el recurso indefinidamente.

Algoritmos no expropiativos

Por el contrario, en un sistema no expropiativo, una vez que el planificador asigna la CPU a un proceso, este la mantiene hasta que termina su ejecución o entra voluntariamente en un estado de bloqueo (por ejemplo, al solicitar entrada/salida). El planificador no interviene forzosamente; solo selecciona el siguiente proceso cuando el actual libera el recurso. Esta estrategia reduce la sobrecarga de cambio de contexto, ya que hay menos intervenciones del planificador.

El algoritmo de primeras en entrar, primeras en salir (FIFO), también conocido como primero en llegar, primero en salir, es un ejemplo clásico de planificación no expropiativa. Un proceso se ejecuta hasta su fin, independientemente de su duración, lo que puede llevar a que procesos cortos esperen mucho tiempo si llegan detrás de un proceso largo. Aunque es más simple de implementar que los sistemas expropiativos, puede resultar menos eficiente en sistemas multitarea donde la interactividad del usuario es clave, ya que la respuesta del sistema puede verse retrasada por procesos largos que no ceden la CPU.

Planificación en tiempo real

La planificación en tiempo real representa una especialización crítica del planificador dentro de los sistemas operativos, donde la precisión temporal es tan importante como la corrección lógica del resultado. A diferencia de los sistemas generales, donde el objetivo principal es maximizar el rendimiento global, los sistemas de tiempo real exigen que las tareas se completen dentro de límites estrictos. El planificador garantiza estos límites máximos de tiempo de ejecución mediante mecanismos de priorización y prelación, asegurando que los procesos más críticos accedan al microprocesador antes de que expire su ventana de oportunidad.

Mecanismos de garantía temporal

El hardware juega un papel fundamental en esta precisión, generando interrupciones cuando expira un temporizador, típicamente cada 250 milisegundos, o al solicitar entrada/salida. Estas interrupciones activan al planificador, que evalúa el estado de los procesos disponibles. En entornos industriales, como los sistemas de control de robots, esta capacidad de respuesta rápida es esencial para mantener la estabilidad del sistema. Si un proceso no termina en su tiempo límite, puede producirse una sobrecarga que afecte a toda la cadena de procesamiento.

Las políticas de planificación se adaptan para satisfacer estas exigencias. El algoritmo Round-robin, por ejemplo, asigna fragmentos de tiempo fijos a cada proceso, lo que permite una distribución equitativa y predecible del recurso. El método FIFO (First In, First Out) asegura que los primeros procesos en llegar sean los primeros en ejecutarse, lo cual es útil cuando la orden de llegada correlaciona con la urgencia. Por su parte, SJF (Shortest Job First) prioriza los procesos más cortos, reduciendo el tiempo medio de espera, mientras que CFS (Completely Fair Scheduler) busca un equilibrio más sofisticado entre la justicia y la eficiencia en la asignación de la carga del procesador.

Equilibrio de carga y estabilidad industrial

En aplicaciones industriales, el planificador debe equilibrar la carga para evitar la saturación del microprocesador. Esto implica gestionar no solo la CPU, sino también la interacción con la entrada/salida, que puede generar retardos significativos. La estabilidad del sistema depende de la capacidad del planificador para prever estos cuellos de bottlenecks y ajustar las prioridades dinámicamente. En un robot industrial, por ejemplo, un retraso en la lectura de un sensor puede provocar un movimiento erróneo, lo que subraya la necesidad de una planificación precisa y robusta.

La integración de estas políticas permite que los sistemas operativos de tiempo real mantengan un rendimiento consistente bajo presión variable. El planificador, al repartir el tiempo disponible entre todos los procesos disponibles para su ejecución, actúa como el corazón del sistema, asegurando que cada componente reciba la atención necesaria en el momento adecuado. Esta capacidad de gestión eficiente es lo que distingue a los sistemas de tiempo real en entornos donde la falla de un solo proceso puede tener consecuencias significativas.

Ejercicios resueltos

Ejercicio 1: Simulación de la política FIFO

Considérese un escenario simple con tres procesos (P1, P2, P3) que llegan a la cola de listados en el orden indicado. La política First-In, First-Out (FIFO) ejecuta los procesos en el orden de llegada, completando cada uno antes de iniciar el siguiente, salvo interrupciones de entrada/salida o temporizadores.

Datos de entrada:

P1: Tiempo de llegada 0, Duración 4 unidades.
P2: Tiempo de llegada 1, Duración 3 unidades.
P3: Tiempo de llegada 2, Duración 1 unidad.

Resolución paso a paso:

En el tiempo 0, llega P1. El planificador asigna el microprocesador a P1.
P1 ejecuta durante 4 unidades. Termina en el tiempo 4.
En el tiempo 1 llegó P2, pero esperó. En el tiempo 2 llegó P3. Al finalizar P1, P2 es el siguiente en la cola.
P2 ejecuta durante 3 unidades. Comienza en 4 y termina en 7.
P3 ejecuta durante 1 unidad. Comienza en 7 y termina en 8.

El tiempo total de ejecución es la suma de las duraciones individuales:

T = 4 + 3 + 1 = 8

Esta política asegura que el primer proceso disponible ocupe el tiempo del microprocesador hasta su fin, repartiendo el recurso secuencialmente.

Ejercicio 2: Aplicación de la política Round-robin

La política Round-robin reparte el tiempo del microprocesador en intervalos fijos (cuantos) entre los procesos disponibles. Se utiliza un temporizador que genera interrupciones periódicas. Supongamos un cuanto de tiempo de 2 unidades.