Outline:

1. Baker’s schedulability test for G-EDF
   • UB on carry-in work
   • UB on total load possible (head+body+tail)
   • Theorem 12: Baker’s test
   • Corollary 13: simplified EDF test

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.
  • You should have already read Sec. 1-3
  • Read carefully: Sec. 4
  • At a high level: Sec. 5