Outline:

1. Recap: NPP
   • blocking computation
   • example
2. Resource ceilings and the HLP
3. Priority inheritance and the PIP

Reading assignment (to be completed by the next class):

What you should understand after today (skim proofs, blocking computations):

• HLP and priority ceilings: Buttazzo sec. 7.5 (pp. 193–195)
• PIP and priority inheritance: Buttazzo sec. 7.6 (pp. 195–207)

Paper to read for Friday:

• “Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors” (Biondi and Brandenburg)