Contribución al estudio de la sincronización de acceso a recursos compartidos en sistemas de tiempo real con planificación dinámica

Resum

El objetivo de esta Tesis es aportar técnicas de sincronización que permitan planificar un conjunto de tareas de tiempo real bajo el algoritmo conocido como Earliest Deadline First (EDF) de una manera eficiente (es decir, que todas las tareas cumplan las restricciones de tiempo real a la vez que tengan garantizada la exclusión mutua en sus accesos a los recursos compartidos), y lo más liviana posible, Para alcanzar este objetivo, se aporta una caracterización más precisa del protocolo de techo dinámico de prioridad (DPCP), para el cual, así como para los otros protocolos que emplean el mecanismo de techo de prioridad se propone una simplificación a la que se denomina reducción canónica. Se propone y se estudia una adaptación a EDF del protocolo básico de herencia de prioridad (BIP), al que se denomina protocolo básico de herencia de plazo (BDIP), y, finalmente, se propone y se caracteriza una simplificación de este último, con el nombre de BDIP-1, el cual puede obtener altos factores de utilización con bajas cargas administrativas.