Learning objectives
What you should understand
- Coordinate multiple producers and consumers per slot
- Use sequence numbers to distinguish queue generations
- Evaluate contention, fairness and bounded capacity
Lab
Hands-on exercise
Implement or rigorously study a bounded sequence-number queue.
Deliverable
Evidence of completion
A linearization sketch plus saturation benchmark.
- Prerequisite
- EP 61