What is ABA problem?
The problem that when a value changes from A to B and back to A, a CAS comparing only values fails to notice and succeeds. Lock-free data structures must guard against it.
Field: Multicore & Synchronization
ABA problem in the explanations
Building one correctly is hard, though, and pitfalls such as the ABA problem must be handled.
What property does a lock-free algorithm have?
Questions that mention ABA problem (2)
Related terms
Load-reserved/store-conditional (LR/SC) Lock-free algorithm Interrupt Acquire-release semantics Atomic instruction Barrier synchronization Bus snooping Compare-and-swap Condition variable Critical section