Outline:

1. Baker’s schedulability test for G-EDF
   • recap: setup and overall strategy
   • Theorem 12: Baker’s test
   • Corollary 13: simplified EDF test
   • LB on load to miss a deadline
   • UB on carry-in work

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

• Baker, T. P. (2003, December). Multiprocessor EDF and deadline monotonic schedulability analysis. In RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003 (pp. 120-129). IEEE.
  • First pass: Sec. 1-2
  • Next: Sec. 3 and Sec. 4
  • At a high level: Sec. 5