Planificadores para Tareas en Tiempo Real Concurrentes: Una Descripción Basada en Teoría de Conjuntos

• Autores: Jorge Santiago Valdez Martínez, Pedro Guevara López, Gustavo Delgado Reyes, Jesús Audelo González
• Localización: Información tecnológica, ISSN-e 0718-0764, ISSN 0716-8756, Vol. 25, Nº. 2, 2014, págs. 123-130
• Idioma: español
• Títulos paralelos:
  • Concurrent real-time tasks schedulers: A description Based on Set Theory
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En este artículo se proponen definiciones sobre las restricciones temporales de las etapas de una tarea en tiempo real (TTR). Estas definiciones se construyeron utilizando teoría de conjuntos y funciones, sirviendo de base para formalizar el concepto de planificador de tareas como una función que mapea del conjunto de tiempos de arribo al conjunto de tiempos de inicio en un conjunto de TTR concurrentes. La función es válida para cualquier planificador de tareas ya que es descriptiva y no depende del algoritmo de planificación ni tampoco del tiempo de arribo de las tareas. Como ejemplo de aplicación se presenta un estudio sobre el planificador Rate Monotonic donde se define un caso específico con restricciones temporales. El conjunto de definiciones obtenido, permitirá realizar estudios de estabilidad, funcionalidad, optimización y factibilidad y comparación con otros planificadores.

  • English

    In this paper definitions for time constraints of steps of a real-time task (RTT) are presented. These definitions were constructed using set theory and functions theory and provided the basis for formalizing the concept of scheduler of tasks as a function that maps from the arrival times set to the start times set on a set of concurrent RTT. This definition is valid for any scheduler and its description does not depend of the scheduling algorithm or of the arrival time of the tasks. As an application, a study on the Rate Monotonic scheduler in which a specific case with time constraints is presented. The set of definitions will allow performing studies of stability, functionality, optimization, feasibility and comparison with other schedulers.