并发编程之CAS算法ABA问题分析和解决

前言

        在前面《并发编程之CAS算法与原子变量详解》我们采用JUC包下的Atomic原子变量，解决了多线程环境下共享变量原子性问题，Atomic底层操作是基于CAS算法，并且也提到，采用一种无锁的非阻塞算法的实现，乐观锁算法，但是也会有一些缺点。

        其中有一个就是ABA问题，CAS原理其实就是拿副本中的预期值与主存中的值作比较，如果相等就继续替换新值，如果不相等就说明主存中的值已经被别的线程修改，就继续重试，这期间如果并发请求过多，有其中一步慢，就有可能出现问题，本文就来重点分析CASABA问题并怎么解决。

一、什么是ABA问题

        ABA问题是指，当一个线程T1从内存地址X中取出值A，另一个线程T2也从内存地址X中取出值A，然后T2进行了一系列操作将值改变成B，写回主物理内存。接着，T2又将内存地址为X的数据变为A，这时线程T1进行了CAS操作发现内存中仍然是A，于是T1操作成功。尽管线程T1的CAS操作成功，但并不代表这个过程就没有问题，实际地址已经改变了。

        ABA问题的产生原因是，CAS操作只检查内存中的数据值是否与预期值相同，而不会检查该值在内存中的变化过程。因此，当数据值在内存中发生变化时，CAS操作可能会误判为该值未被其他线程修改过。