Как работает протокол приоритетного потолка

Question

В приведенном ниже сценарии, как приоритет задачи t1 будет изменяться при освобождении блокировок, предполагая, что Sem_Take() и Sem_Give() являются методом блокировки и освобождения.

Я понимаю, что использование протокола приоритетного потолка повышает приоритет задачи, как только ресурс заблокирован, но что происходит, когда блокировка освобождается.

void t1()//Initial priority 2 
{ 
    int a; 
    Sem_take(S1); //priority ceiling for S1 is 4 
    . 
    . 
    Sem_take(S2);//priority ceiling for S2 is 6 
    . 
    . 
    Sem_Give(S1); 
    .//What is the priority at this line? 
    . 
    Sem_Give(s2); 
    .//What is the priority at this line? 
    . 
} 

Кроме того, в приведенном выше сценарии семафор блокировки и выпуска не соответствуют друг другу, что это ошибочное, но программа может ошибочно сделать это, то в этом случае, как лечащий врач будет работать.

Answer 1

Приоритетный потолок был создан, чтобы избежать инверсии приоритета. Хорошо реализованный алгоритм всегда придавал каждому процессу наивысший приоритет, связанный с каждым из ресурсов, которыми владеет этот процесс (в данном случае - семафоры). Поэтому, в частности, в отношении вашего примера кода: после принятия S1 приоритет процесса будет увеличен до 4, а затем, взяв S2, он снова будет поднят до 6. После отпускания приоритета S1 все равно 6 (S2 все еще удерживается). После освобождения S2 он должен вернуться к приоритету == 2.