The ABA Problem ·
A → B → A
un
seel
.com · Lock-free CAS · Treiber stack · stale read
head
A
CAS result
—
Stage
idle
Shared head pointer
Thread 1 (stalled read)
Thread 2 (pops & pushes)
Reused address / freed node
Play
←
→
Unmute
Reset
Un
seel
.com · The ABA Problem