Priority ceiling protocol
Een lockregel voor realtimesystemen die elke resource een prioriteitsplafond geeft, waardoor prioriteitsinversie en deadlock bij voorbaat uitgesloten zijn.
Elke mutex krijgt vooraf een plafond toegewezen: de hoogste prioriteit van elke taak die hem ooit zal nemen. In de eenvoudigste vorm, het immediate ceiling- of „highest locker”-protocol, wordt een taak die het slot verkrijgt direct naar het plafond getild en pas teruggezet bij het loslaten. Geen andere taak die dezelfde resource wil, kan intussen zelfs maar uitvoerbaar worden.
Sha, Rajkumar en Lehoczky beschreven het in 1990, in hetzelfde artikel dat prioriteitsovererving introduceerde. Overerving reageert wanneer het conflict al is ontstaan; het plafond voorkomt het. De opbrengst is bewijsbaar: een taak blokkeert hooguit één keer, voor hooguit één kritieke sectie, en circulaire wachtketens zijn onmogelijk. De prijs is dat vooraf bekend moet zijn wie wat gebruikt — kennis die veiligheidsgecertificeerde systemen toch al eisen. Ada noemt het Ceiling_Locking, POSIX PTHREAD_PRIO_PROTECT, en het resourcemodel van OSEK/AUTOSAR is erop gebouwd.