Jump to content

Протокол потолка приоритета

В вычислениях в реальном времени протокол потолка приоритета — это протокол синхронизации общих ресурсов , позволяющий избежать неограниченной инверсии приоритетов и взаимной тупиковой ситуации из-за неправильного вложения критических секций . В этом протоколе каждому ресурсу назначается потолок приоритета, который равен задачи наивысшему приоритету любой , которая может заблокировать ресурс. Протокол работает путем временного повышения приоритетов задач в определенных ситуациях, поэтому для него требуется планировщик , поддерживающий динамическое планирование приоритетов . [1]

ICPP против OCPP

[ редактировать ]

Существует два варианта протокола: протокол первоначального приоритета потолка ( OCPP ) и протокол немедленного приоритета потолка ( ICPP ). Поведение двух схем потолка в худшем случае идентично с точки зрения планирования. Оба варианта работают за счет временного повышения приоритетов задач. [2]

В OCPP приоритет задачи X повышается, когда задача Y с более высоким приоритетом пытается получить ресурс, который X заблокировал. Затем приоритет задачи повышается до самого высокого приоритета, который был заблокирован сам по себе, гарантируя, что задача X быстро завершит свою критическую часть, разблокируя ресурс. Задаче разрешено блокировать ресурс только в том случае, если ее динамический приоритет выше, чем предельные значения приоритета всех ресурсов, заблокированных другими задачами. В противном случае задача блокируется в ожидании ресурса. [2]

В ICPP приоритет задачи немедленно повышается, когда она блокирует ресурс. Приоритет задачи установлен на максимальном уровне приоритета ресурса, поэтому ни одна задача, которая может заблокировать ресурс, не может быть запланирована. Это гарантирует свойство OCPP: «Задача может заблокировать ресурс только в том случае, если ее динамический приоритет выше, чем потолки приоритета всех ресурсов, заблокированных другими задачами». [2]

  • ICPP проще реализовать, чем OCPP, поскольку нет необходимости отслеживать отношения блокировки. [2]
  • ICPP приводит к меньшему количеству переключений контекста, поскольку блокировка происходит до первого выполнения. [2]
  • ICPP требует более приоритетных перемещений, поскольку это происходит при использовании всех ресурсов. [2]
  • OCPP меняет приоритет только в том случае, если произошла фактическая блокировка. [2]

ICPP называется «Потолочной блокировкой» в Ada , «Протоколом приоритетной защиты» в POSIX и «Эмуляцией потолка приоритета» в RTSJ . [3] Он также известен как «Протокол наивысшего приоритета шкафчика» (HLP). [4]

См. также

[ редактировать ]
  • Луи Ша; Рагунатан Раджкумар и Джон П. Лехочки (сентябрь 1990 г.). «Протоколы наследования приоритетов: подход к синхронизации в реальном времени» (PDF) . Транзакции IEEE на компьютерах . 39 (9): 1175–1185. дои : 10.1109/12.57058 .
  1. ^ Ренвик, Кайл; Ренвик, Билл (18 мая 2004 г.). «Как использовать наследование приоритетов» . Embedded.com . Проверено 11 ноября 2014 г.
  2. ^ Jump up to: а б с д и ж г «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 13 ноября 2014 г. Проверено 13 ноября 2014 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )
  3. ^ Алан Бернс ; Энди Веллингс (март 2001 г.). Системы реального времени и языки программирования — Ada 95, Java реального времени и POSIX реального времени (3-е изд.). Эддисон Уэсли Лонгмейн. ISBN  0-201-72988-1 .
  4. ^ http://user.it.uu.se/~yi/courses/rts/dvp-rts-08/notes/synchronization-resource-sharing.pdf [ только URL-адрес PDF ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 9a7a4501aa634d2e4070258e630e547e__1715399820
URL1:https://arc.ask3.ru/arc/aa/9a/7e/9a7a4501aa634d2e4070258e630e547e.html
Заголовок, (Title) документа по адресу, URL1:
Priority ceiling protocol - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)