Checkpoint: Memory Model
beginner17 min readLesson 162 of 204
Prove deliberate ordering choices on a small concurrent structure.
The memory-model checkpoint: a thread-safe histogram cell — atomic counting plus a publish/consume reset, all orderings deliberate.