Inwersja priorytetów:
Priority Ceiling Protocol - każdy semafor ma przypisaną pewną wielkość - priority ceiling, która jest równa najwyższemu priorytetowi zadania oczekującego na zajęcie tego semafora.
Zadanie może zająć semafor tylko wtedy, gdy jego priorytet jest wyższy od wartości priority ceiling wszystkich semaforów. Jeśli semafor który stara się zająć to zadanie jest zajęty przez inne zadanie, to wówczas priorytet tego zadania jest podnoszony do wartości oczekującego zadania - co powoduje zwolnienie semafora i zajęcie go przez oczekujące zadanie.