ABA问题

今天在微博上看到讨论ABA的问题，不懂，google，记录下。

 

ABA问题：
在进行CAS操作的时候，因为在更改V之前，CAS主要询问“V的值是否仍然为A”，所以在第一次读取V之后以及对V执行CAS操作之前，如果将值从A改为B，然后再改回A，会使基于CAS的算法混乱。在这种情况下，CAS操作会成功。这类问题称为ABA问题。


1、
对于CAS产生的这个ABA问题，通常的解决方案是采用CAS的一个变种DCAS。
DCAS，是对于每一个V增加一个引用的表示修改次数的标记符。对于每个V，如果引用修改了一次，这个计数器就加1。然后再这个变量需要update的时候，就同时检查变量的值和计数器的值。


2、
要解决ABA问题，就不要重用A。通常通过将标记或版本编号与要进行CAS操作的每个值相关联，并原子地更新值和标记，来处理这类问题。

在像Java或者.net这样的具有垃圾收集机制的环境中，这个问题很简单，只要不循环使用V即可。也就是说，一旦V第一次被使用，就不会再重复使用，如有需要则分配新的V。垃圾收集器可以检查V，保证其不被循环使用，直到当前的访问操作全部结束。（这个做法用垃圾收集器来控制对V的访问，相当于有个线程本地变量了）