Il Priority ceiling protocol è un protocollo che viene usato in sistema real-time per la gestione di accesso a risorse condivise evitando l'inversione di priorità e la Mutua esclusione.
Quando due o più task (o thread) devono accedere alle stesse risorse si pone il problema di chi debba accedervi per primo e di come si possa segnalare, a tutti gli attori, la modifica di una particolare risorsa condivisa da parte di un attore. L'accesso alla sezione critica risulta gestibile efficientemente tramite l'approccio Priority Ceiling che consiste in:
Si definisce per ogni risorsa (mutex) "Sk" un ceiling "c(Sk)" definito come la massima tra le priorità "p(τi)" dei task "τi" che potrebbero usare il mutex "Sk":
c(Sk) = max {p(τi) : τi usa Sk}
Si definisce il massimo ceiling "c(S*)" fra le risorse attualmente occupate
c(S*) = max {c(Sk) : Sk occupate}
La condizione d'ingresso per il task τj nella sezione Sk è:
p(τj) > c(S*) (n.b. strettamente maggiore)