Planificadores de tareas en Tiempo Real Concurrentes: Una Clasificación basada en Funciones y Teoría de Conjuntos

Resumen

Los Planificadores para Tareas en Tiempo Real Concurrentes son un conjunto de reglas que determinan que tarea va a ser ejecutada en un tiempo determinado; esto es, un conjunto de tareas en tiempo real concurrentes solicitan ser ejecutadas formando un conjunto de tiempos de arribo y el planificador se encarga de ordenar  la ejecución de las tareas obteniéndose un conjunto de tiempos de inicio. Esto define al planificador como una función que mapea entre dos conjuntos; por lo tanto, con base en las propiedades de esa función es posible clasificar a los planificadores en: crítico, no crítico, estático, adaptativo, predictivo, por desalojo de prioridades y óptimo; esta propuesta de clasificación puede ser usada para realizar estudios de optimalidad, estabilidad, controlabilidad, eficiencia, convergencia y predecibilidad. Por último, se presentan dos ejemplos de planificadores: RM (Rate Monotonic) y EDF (Earliest Deadline First) que actuaron como modelos de prueba para clasificarlos de acuerdo a las definiciones de este trabajo.