Öncelik tavanı protokolü (Priority ceiling protocol)
Her kaynağa bir öncelik tavanı atayarak öncelik tersine dönmesini ve kilitlenmeyi (deadlock) baştan imkânsız kılan gerçek zamanlı kilitleme kuralı.
Her mutex’e önceden bir tavan atanır: onu hiç alacak olan görevlerin en yüksek önceliği. En basit biçiminde, yani anlık tavan ya da “en yüksek kilitleyen” protokolünde, kilidi alan görev hemen tavana yükseltilir ve yalnızca kilidi bıraktığında eski önceliğine döner. Aynı kaynağı isteyen başka hiçbir görev bu arada çalışmaya hazır bile olamaz.
Protokolü 1990’da Sha, Rajkumar ve Lehoczky, öncelik kalıtımını da tanıtan aynı makalede tanımladı. Kalıtım çatışma çıktıktan sonra tepki verir; tavan ise onu önler. Kazanç kanıtlanabilir: bir görev en fazla bir kez, en fazla bir kritik bölüm süresince bloke olur ve döngüsel beklemeler imkânsızdır. Bedel, kimin neyi kullandığını statik olarak bilmek zorunda olmanız — ki güvenlik sertifikalı sistemler zaten bunu ister. Ada buna Ceiling_Locking, POSIX PTHREAD_PRIO_PROTECT diyor; OSEK/AUTOSAR kaynak modelini bunun üzerine kuruyor.