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



Título del documento: Planificadores de tareas en tiempo real concurrentes: Una clasificación basada en funciones y teoría de conjuntos
Revue: Computación y sistemas
Base de datos: PERIÓDICA
Número de sistema: 000381272
ISSN: 1405-5546
Autores: 1
1
1
Instituciones: 1Instituto Politécnico Nacional, Escuela Superior de Ingeniería Mecánica y Eléctrica, México, Distrito Federal. México
Año:
Periodo: Oct-Dic
Volumen: 18
Número: 4
Paginación: 809-820
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Experimental, aplicado
Resumen en español 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 en Tiempo Real Concurrentes donde sus instancias requieren ejecutarse hasta completarse dentro de sus 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 basada 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 estado 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 cualitativos en optimalidad, estabilidad, controlabilidad, eficiencia, convergencia y predecibilidad desde el punto de vista computacional. Al final del documento se clasifican dos ejemplos de planificadores: RM (Rate Monotionic) y EDF (Earliest Deadline First)
Resumen en inglés Real-Time Operating Systems must provide support for concurrency; to achieve this, task schedulers are necessary. Schedulers operate on a set of concurrent real-time tasks in which its instances are to complete their execution within their respective deadlines; a scheduler receives a set of arrival times and maps it to a set of start times for the instances to begin their execution. In this context, a scheduler is considered to be a function that performs mapping between two sets which evolve in time, with respect to this we present a classification of schedulers, based on functions and set theory, into such categories as critical, non-critical, static, adaptive, predictive, preemptive, and optimal. Our proposed classification is novel because the state of the art classifications are only verbal and non-formal and they do not support elements which assist in analysis, modeling and/or characterization of schedulers. As an additional result, this classification can be used for future qualitative studies of optimality, stability, controllability, efficiency, convergence, and predictability from the computational point of view. The paper concludes with two examples of schedulers: RM (Rate Monotonic) and EDF (Earliest Deadline First)
Disciplinas: Ciencias de la computación,
Ingeniería
Palabras clave: Procesamiento de datos,
Ingeniería industrial,
Planificadores de tareas,
Sistemas en tiempo real,
Tiempo de inicio,
Tiempo de arribo
Keyword: Computer science,
Engineering,
Data processing,
Industrial engineering,
Task schedulers,
Real time systems,
Starting time,
Arrival time
Texte intégral: Texto completo (Ver HTML)