Planificadores de tareas en tiempo real concurrentes: Una clasificación basada en funciones y teoría de conjuntos

Los Sistemas Operativos en Tiempo Real deben brindar soporte para concurrencia, para lograrlo se requieren de los Planificadores de tareas. Los planificadores operan sobre un Conjunto de Tareas e n Tiempo Real Concurrentes donde sus instancias requieren ejecutarse hasta completarse dentro de su s pl...

Descripción completa

Detalles Bibliográficos
Autores: Pedro Guevara López, Jorge Salvador Valdez Martínez, Gustavo Delgado Reyes
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2014
País:México
Institución:Instituto Politécnico Nacional
Repositorio:Redalyc-IPN
OAI Identifier:oai:redalyc.org:61532985014
Acceso en línea:https://www.redalyc.org/articulo.oa?id=61532985014
Access Level:acceso abierto
Palabra clave:Computación
función
planificador
clasificación
Tiempos de arribo
tiempos de inicio
Descripción
Sumario:Los Sistemas Operativos en Tiempo Real deben brindar soporte para concurrencia, para lograrlo se requieren de los Planificadores de tareas. Los planificadores operan sobre un Conjunto de Tareas e n Tiempo Real Concurrentes donde sus instancias requieren ejecutarse hasta completarse dentro de su s plazos máximos; el planificador recibe un conjunto de Tiempos de Arribo y lo mapea hacia un Conjunto de Tiempos de Inicio para que las instancias empiecen su ejecución. En este contexto, un planificador se considera una función que mapea entre dos conjuntos que evolucionan en el tiempo, en este sentido, se presenta una clasificación de los planificadores ba sada en funciones y teoría de conjuntos siendo: críticos, no críticos, estáticos, adaptativos, predictivos, por desalojo de prioridades y óptimos. Esta propuesta de clasificación es novedosa ya que en el actual estad o del arte solo se presentan clasificaciones verbales no formales y no aportan elementos que ayuden a su análisis, modelado y/o caracterización. Como resultado adicional, esta clasificación podrá ser utilizada para realizar futuros estudios cualitativ os en optimalidad, estabilidad, controlabilidad, eficienc ia, convergencia y predecibilidad desde el punto de vi sta computacional. Al final del documento se clasifican dos ejemplos de planificadores: RM (Rate Monotionic) y EDF (Earliest Deadline First).