> NOTE: In this snippet we ignore the ABA problem

The article doesn't go into details but this is subtle way to mess up writing lock free data structures:

https://en.wikipedia.org/wiki/ABA_problem

i will do another one on just the ABA problem and how many different ways it can put your program in the hospital.

Can you point me at an example of this?