The ABA problem is the failure of a compare-and-swap to detect that a location changed from to and back to between the read and the CAS: the comparison succeeds although the state it was computed from (here, ’s successor) is stale.
ll_aba.aba, a deterministic replay.