[audidude]

I don't see any mention of where the author mitigates, or prevents the ABA problem. https://en.wikipedia.org/wiki/ABA_problem

- Some systems will use a double-CAS where one word is a counter.

- People lucky enough to use RCU can use grace-periods.

- You can also mitigate it (to a degree) using the bottom bits of the pointer and the kernel area of the pointer as a counter.

- Also, Hazard Pointers.

[mattnewport]

This post doesn't go into his lock free work stealing queue implementation at all, he says that will be covered in a later post. I don't see how the ABA problem relates to any of the implementation details covered in this post?

[uxcn]

Implementing a lock-free work stealing queue isn't difficult, especially with C/C++ atomics. I can't think of an implementation where ABA would be a problem.