Política de recursos de pila
|
|
El Política de recursos de pila (SRP) no es el mismo que el Protocolo de techo prioridad que es para las tareas prioritarias fijo (FP). SRP fue definida por T. P. Baker[1] y se utiliza para acceder a recursos compartidos cuando se utiliza Lo más temprano posible plazo primero programación.
Función
Cada tarea se asigna una preferencia nivel basado en la siguiente fórmula donde D(Ti) denota la fecha límite de la tarea i y Pi(Ti) denota el nivel de preferencia de tarea i.
PI(ti) > Pi(Tj) iff D(Ti) < D(Tj)
Cada recurso R tiene una actual techo c (R) v que representa el máximo de los niveles de preferencia de las tareas que pueden ser bloqueadas, cuando existen unidades V de R y es el máximo de unidades de I+d+i que Ti puede requerir en cualquier momento. v c (R) se asigna como sigue:
v c (R) = max i (∪ 0 Pi(Ti) | v < u(Ti)})
También hay un techo PiBar que es el máximo de todos los techos actuales de los recursos del sistema.
PiBar = max (c (R) | yo = 1..m)
Cualquier tarea que desee tener preferencia sobre el sistema de Ti primero debe satisfacer la siguiente restricción:
PiBar < Pi(Ti)
Esto puede ser refinado para la implementación del sistema operativo (como en MarteOS) quitando los múltiples recursos y definir la política de recursos de pila como sigue
- Todas las tareas se asignan un nivel de preferencia, con el fin de preservar el orden de las tareas en relación con los demás cuando bloqueo de recursos. Las tareas de plazo relativo menor se asignan al más alto nivel de preferencia.
- Cada recurso compartido tiene un nivel de techo asociado, que es el nivel de máxima preferencia de todas las tareas que tienen acceso a este objeto protegido.
- El techo del sistema, en cualquier instante en el tiempo, es la máxima prioridad activa de todas las tareas que se ejecutan actualmente dentro del sistema.
- Una tarea sólo es permitida para el sistema de preferencia cuando su plazo absoluto es menor que la tarea está ejecuta actualmente y su nivel de preferencia es mayor que el límite actual del sistema.
Relevancia
El libro de 2011 Sistemas informáticos en tiempo real duro: Algoritmos de programación predecibles y aplicaciones por Giorgio C. Buttazzo contó con una sección dedicada a revisar SRP del trabajo de Baker 1991.[2][3]
Referencias
- ^ Baker, T. P. (1990). "Una recurso basado en pila asignación política para los procesos en tiempo real". Simposio de sistemas en tiempo real de IEEE:: 191-200.
- ^ Sistemas informáticos en tiempo real duro: Algoritmos de programación predecibles y aplicacionesGiorgio C. Buttazzo, 2011
- ^ T.P. Baker, "Procesos de programación basada en la pila de en tiempo real", la revista de sistemas en tiempo real 3,1 (marzo de 1991) 67-100