title: Priority ceiling protocol
text: # Priority ceiling protocol
  
  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":
  
  Si definisce il massimo ceiling "c(S*)" fra le risorse attualmente occupate
  
  La condizione d'ingresso per il task τj nella sezione Sk è:
  
  ## Proprietà in ambiente monoprocessore
  
  Il protocollo priority ceiling (diversamente dal Priority Inheritance) previene lo stallo (deadlock) se tutte le risorse condivise sono accedute sotto regime Priority Ceiling e le loro priorità sono coerentemente assegnate, un processo subisce al più un ritardo (blocco) da inversione di priorità irriducibile e solo al suo rilascio.
  
  