[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.