Learning objectives
What you should understand
- Explain the single order promised by seq_cst
- Use SC as a correct baseline
- Identify the synchronization cost worth investigating
Lab
Hands-on exercise
Implement a small litmus test under sequential consistency.
Deliverable
Evidence of completion
A state-outcome table and correctness explanation.
- Prerequisite
- EP 57