https://nalar.dev/tags/lock-free-algorithms/ Recent content in Lock-Free Algorithms on Nalar Hugo en-us Sat, 12 Sep 2026 00:00:00 +0700 https://nalar.dev/aba-problem-behind-successful-compare-and-swap/ Sat, 12 Sep 2026 00:00:00 +0700 https://nalar.dev/aba-problem-behind-successful-compare-and-swap/ <p>A compare-and-swap operation answers a narrow question: does a memory location contain the expected bit pattern at the instant of the atomic operation? If it does, the replacement can proceed. The operation does not establish that the location remained unchanged between an earlier read and the later comparison.</p> <p>That distinction creates the ABA problem. A thread observes value <code>A</code>, pauses, and later performs a compare-and-swap expecting <code>A</code>. During the pause, other work changes the location from <code>A</code> to <code>B</code> and then back to <code>A</code>. The comparison succeeds because the current representation matches the expected representation, even though the shared state passed through a transition that may invalidate assumptions attached to the first observation.</p>