【多线程】CAS算法的锅：ABA问题

使用AtomicInteger类看起来是很快乐的事情，因为它同时保证了可见性和原子性。但是忽略了一个过程性问题。