Una solucion para el manejo de la exclusion mutua usando protocolo de techo de prioridad

Abstract

El uso de semáforos es una forma clásica de lograr la exclusión mutua entre dos o más procesos que concurren sobre una determinada región crítica. Un efecto no deseado del uso de semáforos consiste en la inversión ilimitada de prioridades, que puede dar lugar a que un proceso permanezca bloqueado por otros de menor prioridad durante un intervalo de tiempo excesivamente largo. Este problema es aun más grave en los sistemas de tiempo real, en los cuales se requiere que los intervalos de inversión de prioridad sean breves y de duración predecible. A tal efecto se han desarrollado algunas soluciones[1], una de ellas se basa en la aplicación del "protocolo básico de herencia de prioridades" y otra, mejor aún, se basa en el "protocolo de techo de prioridad". Debido a la complejidad creciente de estos dos métodos, es habitual que algunos sistemas operativos dispongan sólo de un manejo de semáforos elemental, algunos otros pueden tener implementado un esquema básico de herencia de prioridades, y unos pocos disponen de una emulación de techo de prioridad. El presente trabajo describe un par de módulos que extienden el manejo básico de semáforos brindado por el sistema operativo, implementando el protocolo de techo de prioridad. Si bien la implementación experimental ha sido desarrollada sobre QNX Neutrino[4], la misma puede ser portada fácilmente a otros sistemas operativos.