Protocolo de techo de prioridad

Priority Ceiling Protocol es un protocolo de sincronización de tareas de trabajo en un sistema en tiempo real que es mejor que el protocolo de herencia Priority en muchos aspectos. Los sistemas en tiempo real son sistemas multitarea que involucran el uso de variables de semáforo, señales y eventos para la sincronización de trabajos.

En el protocolo de techo de prioridad se asume que todos los trabajos en el sistema tienen una prioridad fija. No cae en un estado de interbloqueo.

El problema de bloqueo enstringdo del Protocolo de Herencia de Prioridad se resuelve en el Protocolo de Techo de Prioridad.

Las propiedades básicas de los protocolos de techo de prioridad son:

1. A cada uno de los recursos del sistema se le asigna un techo de prioridad.
2. El techo de prioridad asignado está determinado por la prioridad más alta entre todos los trabajos que pueden adquirir el recurso.
3. Hace uso de más de un recurso o variable de semáforo, eliminando así el bloqueo de strings.
4. A un trabajo se le asigna un bloqueo en un recurso si ningún otro trabajo ha adquirido bloqueo en ese recurso.
5. Un trabajo J puede adquirir un bloqueo solo si la prioridad del trabajo es estrictamente mayor que los techos de prioridad de todos los bloqueos que tienen otros trabajos.
6. Si un trabajo de alta prioridad ha sido bloqueado por un recurso, entonces el trabajo que contiene ese recurso obtiene la prioridad de la tarea de alta prioridad.
7. Una vez que se libera el recurso, la prioridad se restablece al original.
8. En el peor de los casos, el trabajo de mayor prioridad J ₁ puede ser bloqueado por T tareas de menor prioridad en el sistema cuando J ₁ tiene que acceder a T semáforos para finalizar su ejecución.

El Protocolo de programación de prioridad se puede utilizar para abordar el problema de la inversión de prioridad a diferencia del Protocolo de herencia de prioridad. Hace uso de semáforos para compartir los recursos con los trabajos en un sistema en tiempo real.