Real-time scheduling algorithms and analysis: RM, DM, EDF, servers, resource sharing and contract-based scheduling.
How scheduling contracts work: minimum budgets and periods, online negotiation and admission control, spare-capacity distribution and server-based enforcement, with a worked example and the…
A practical comparison of Rate Monotonic and EDF scheduling covering the Liu and Layland bound, EDF optimality, exact schedulability tests, a worked example where…
How to schedule real-time tasks on multicore processors: partitioned bin-packing, global EDF and the Dhall effect, optimal and semi-partitioned algorithms, multiprocessor locking, and inter-core…
Why priority inversion happens, what went wrong on Mars Pathfinder, and how priority inheritance, the priority ceiling protocol, immediate ceiling and Baker's SRP bound…
A practical guide to saving energy without missing deadlines: the CMOS power model, static and dynamic DVFS slowdown, cycle-conserving EDF, race-to-idle, sleep-state break-even times…
