Learning objectives
What you should understand
- Package bounded queues behind explicit contracts
- Defend memory ordering and linearization
- Test correctness before publishing throughput
Lab
Hands-on exercise
Release an SPSC queue and one multi-threaded queue with a benchmark suite.
Deliverable
Evidence of completion
A queue repository with proofs, sanitizer runs and reproducible results.
- Prerequisite
- EP 67