Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas
RESUMEN: La tesis doctoral está dedicada al análisis de planificabilidad en sistemas de tiempo real. Este análisis se realiza mediante técnicas de cálculo de tiempo de respuesta de peor caso. El trabajo está centrado en sistemas multiprocesador o distribuidos gobernados por eventos. El objetivo prin...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universidad de Cantabria (UC) |
| Repositorio: | UCrea Repositorio Abierto de la Universidad de Cantabria |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unican.es:10902/6764 |
| Acceso en línea: | http://hdl.handle.net/10902/6764 |
| Access Level: | acceso abierto |
| Palabra clave: | Tiempo-Real Sistemas distribuidos Análisis de planificabilidad Análisis de tiempo de respuesta Prioridades dinámicas EDF Real-Time Distributed systems Schedulability analysis Response time analysis Dynamic priorities |
| Sumario: | RESUMEN: La tesis doctoral está dedicada al análisis de planificabilidad en sistemas de tiempo real. Este análisis se realiza mediante técnicas de cálculo de tiempo de respuesta de peor caso. El trabajo está centrado en sistemas multiprocesador o distribuidos gobernados por eventos. El objetivo principal de la tesis es potenciar el uso de planificadores por prioridades dinámicas, concretamente planificadores EDF (Earliest Deadline First, Plazo más Cercano Primero). Habiéndose demostrado que la planificación EDF permite alcanzar cotas de utilización superiores a las de las técnicas de prioridades fijas en sistemas monoprocesador, el estudio y desarrollo de técnicas de análisis en sistemas distribuidos o multiprocesador es claramente inferior a los de la planificación por prioridades fijas. Para este tipo de sistemas las técnicas de análisis exactas son muy costosas y, por ello, las técnicas de análisis usuales son aproximadas. En esta tesis, se pretende mejorar las técnicas de análisis para planificación EDF reduciendo así el pesimismo de las técnicas actuales. Para conseguir este objetivo, en primer lugar se valida el método utilizado previamente y, posteriormente, se aplican mejoras sobre este para reducir el pesimismo del cálculo. Estas mejoras se obtienen adaptando métodos desarrollados para prioridades fijas a sistemas EDF. En concreto, los métodos utilizados para dicha adaptación son el modelo basado en intervalos de desfase (offsets) y la técnica que explota las relaciones de precedencia entre las tareas de un mismo flujo de tareas. El análisis de los desfases entre activaciones de las tareas (offsets) y de las relaciones de precedencia entre las tareas de un mismo flujo de tareas permiten reducir el pesimismo del análisis y con ello aumentar la utilización del sistema. Por último, se introduce una modificación al modelo de flujo de tareas o transacciones lineales (end-to-end flows) que permite ampliar el tipo de aplicaciones representables por el modelo de tareas. Esta modificación consiste en introducir secciones atómicas de tareas que permiten la representación de threads que se autosuspenden en una operación de espera o llamadas bloqueantes (típicamente llamadas bloqueantes a procedimientos remotos). Se han adaptado las técnicas de análisis EDF para este nuevo modelo. |
|---|