Политика ресурсов стека - Stack Resource Policy

Эта статья может требовать уборка встретиться с Википедией стандарты качества. Конкретная проблема: Мало информации с неформальной беседой Пожалуйста помоги улучшить эту статью если вы можете. (Май 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Эта статья является сирота, как никакие другие статьи ссылка на это. Пожалуйста ввести ссылки на эту страницу из Статьи по Теме; попробуйте Инструмент поиска ссылок для предложений. (Июнь 2012 г.)

В Политика ресурсов стека (SRP) - это политика распределения ресурсов, используемая в вычислениях в реальном времени, используемая для доступа к общим ресурсам при использовании самый ранний крайний срок первое планирование. Его определил Т. П. Бейкер.^[1] SRP - это не то же самое, что Протокол потолка приоритета который предназначен для задач с фиксированным приоритетом (FP).

Функция

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

${ Displaystyle D (T_ {i}) pi _ {i} (T_ {j})}$

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

${ Displaystyle C_ {R} (V_ {R}) = макс ( {0 } чашка { pi (J) | V_ {R} < mu _ {R} (J) })}$

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

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

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

${ displaystyle pi '$

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

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

Актуальность

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

Рекомендации