Prioritetstakprotokoll
Låsregel för realtidssystem där varje resurs får ett prioritetstak, så att prioritetsinversion och baklås inte kan uppstå alls.
Varje mutex tilldelas i förväg ett tak: den högsta prioriteten bland de uppgifter som någonsin tar låset. I den enklaste varianten, immediate ceiling eller "highest locker", lyfts den som tar låset direkt till takprioriteten och släpps ned först när låset lämnas tillbaka. Ingen annan uppgift som vill ha samma resurs kan då ens bli körbar under tiden.
Protokollet beskrevs av Sha, Rajkumar och Lehoczky 1990, i samma artikel som prioritetsarv. Skillnaden är att arv reagerar när konflikten redan uppstått, medan taket förhindrar den. Vinsten är bevisbar: en uppgift blockeras högst en gång, av högst en kritisk sektion, och cirkulär väntan blir omöjlig. Priset är att man måste veta statiskt vem som använder vad — vilket är precis den sortens kunskap som säkerhetscertifierade system ändå kräver. Ada kallar det Ceiling_Locking, POSIX PTHREAD_PRIO_PROTECT, och OSEK/AUTOSAR bygger sina resurser på det.