Подробно: наследует ли задача верхний предел приоритета, только когда она выполняет критическую секцию или уже когда она выбрана для следующей критической секции (после блокировки, например).Я не смог найти ответ на этот вопрос в документах, которые я прочитал, некоторые из них:
- "Протоколы синхронизации в реальном времени для мультипроцессоров с общей памятью" Раджкумара
- "Улучшенный анализ и оценка времени блокировки для многопроцессорного протокола приоритета потолка »Янга и др.
- « Синхронизация: протоколы доступа к общим ресурсам »Midonnet и др.
Рассмотрим следующий пример: Три задачи T1, T2, T3 (с приоритетами P1 > P2 > P3) выполняются на двух процессорах: T1 на p1 и T2, T3 на p2.T1 и T3 обращаются к глобальному ресурсу R, защищенному семафором, используя MPCP.Следующая временная шкала:
| t | p1 | p2 |
|:-:|:--------------:|:-----------------------------------------------------:|
| 1 | T1 runs | T3 runs |
| 2 | T1 accesses R | T3 accesses R |
| 3 | T1 acquires R | T3 gets blocked |
| 4 | T1 executes CS | T2 gets activated and runs |
| 5 | T1 releases R | Does T3 inherit the priority ceiling and preempt T2? |
При t=5, T1 освобождает семафор, на котором T3 заблокирован.T3 наследует ли приоритетный потолок немедленно и, таким образом, выгружает T2 или T3 помещается в очередь ожидания p2 и наследует лимит приоритета, как только он запланирован на данном процессоре, и, таким образом, способен выполнить критическийраздел