Scheduling

Planned post. This page is a stub.

Runnable queues, bounded execution, preemption, and fairness.

Planned Coverage

Separate scheduler safety invariants from progress claims and their assumptions.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.