Политика ресурсов стека

Политика ресурсов стека (SRP) — это политика распределения ресурсов, используемая в вычислениях в реальном времени и используемая для доступа к общим ресурсам при использовании планирования с самым ранним сроком . Это было определено Т.П. Бейкером. SRP — это не то же самое, что протокол потолка приоритета , который предназначен для задач с фиксированным приоритетом (FP).

Функция

Каждой задаче назначается уровень приоритета на основе следующей формулы, где $D(T_{i})$ обозначает крайний срок выполнения задачи $i$ и $\pi _{i}(T_{i})$ обозначает уровень вытеснения задачи i:

$D(T_{i})<D(T_{j})\iff \pi _{i}(T_{i})>\pi _{i}(T_{j})$

Каждый ресурс R имеет текущий потолок $C_{R}(V_{R})$ представляет собой максимальный уровень вытеснения задач, которые могут быть заблокированы при наличии $V$ единицы $R$ доступны и $\mu _{R}(J)$ это максимальные единицы $R$ что $T_{i}$ может потребоваться в любой момент. $C_{R}(V_{R})$ назначается следующим образом:

$C_{R}(V_{R})=max(\{0\}\cup \{\pi (J)|V_{R}<\mu _{R}(J)\})$

Также имеется системный потолок $\pi '$ что является максимальным из всех текущих потолков ресурсов.

$\pi '=max(\{C_{R}(i)|i=1,...,m\}\cup \{\pi (J_{c})\})$

Любая задача $T_{i}$ желающий вытеснить систему, должен сначала удовлетворить следующее ограничение:

$\pi '<P_{i}(T_{i})$

Это можно уточнить для реализации операционной системы (как в MarteOS ), удалив многоюнитные ресурсы и определив политику ресурсов стека следующим образом.

• Всем задачам назначается уровень приоритета, чтобы сохранить порядок задач по отношению друг к другу при блокировке ресурсов. Задачам с наименьшим относительным сроком выполнения назначается самый высокий уровень вытеснения.
• Каждый общий ресурс имеет связанный с ним верхний уровень, который представляет собой максимальный уровень вытеснения всех задач, обращающихся к этому защищенному объекту.
• Потолок системы в любой момент времени представляет собой максимальный активный приоритет всех задач, которые в данный момент выполняются в системе.
• Задаче разрешено вытеснять систему только в том случае, если ее абсолютный крайний срок меньше, чем у выполняющейся в данный момент задачи, а ее уровень вытеснения выше текущего системного потолка.

Релевантность

В книге Джорджио К. Буттаццо 2011 года « Вычислительные системы жесткого реального времени: алгоритмы и приложения предсказуемого планирования» был выделен специальный раздел, посвященный обзору SRP из работы Бейкера 1991 года.