Java中的CAS理解

CAS是什么

cas是compareandswap的简称，从字面上理解就是比较并交换，简单来说：从某一内存上取值V，和预期值A进行比较，如果内存值V和预期值A的结果相等，那么我们就把新值B更新到内存，如果不相等，那么就重复上述操作直到成功为止。

CAS能做什么

上面我们了解了cas是什么了，那么它能解决什么问题呢？它可以解决多线程并发安全的问题，以前我们对一些多线程操作的代码都是使用synchronize关键字，来保证线程安全的问题；现在我们将cas放入到多线程环境里我们看一下它是怎么解决的，我们假设有A、B两个线程同时执行一个int值value自增的代码，并且同时获取了当前的value，我们还要假设线程B比A快了那么0.00000001s，所以B先执行，线程B执行了cas操作之后，发现当前值和预期值相符，就执行了自增操作，此时这个value = value + 1;然后A开始执行，A也执行了cas操作，但是此时value的值和它当时取到的值已经不一样了，所以此次操作失败，重新取值然后比较成功，然后将value值更新，这样两个线程进入，value值自增了两次，符合我们的预期。

CAS隐患

1、首先就是经典的ABA问题

何为ABA呢？我们还是以两个线程L、N进行自增操作为例，线程L、N同时获取当前的值A，只不过此时线程N比较快，它在L操作之前，进行了两次操作，第一次将值从A 改为了B，之后又将B改为了A，那么在线程L操作的 时候发现当前的值还是A，符合预期，那么它也会更新成功，从操作上看并没有什么不对，更新成功也是对的，但是这样是有隐患的，这个网上有好多关于ABA问题隐患的解读，我觉得有一个老哥使用链表的表述最为贴切，这个是我很久之前看的，我现在也找不到这个老哥关于这个问题解读的帖子了，大家自行搜索一下吧，为了解决这个问题，java引入了版本的概念，相当于上述操作变为了A1----B2----A3,这样就非常明确了，这个版本相信大家也猜到那就是valueOffset,所以在AtomicInteger中进行cas操作时除了this、expect、update之外还有一个valueOffset的参数进行版本的区分，就是为了解决ABA问题的。

2、长时间自旋非常消耗资源

先说一下什么叫自旋，自旋就是cas的一个操作周期，如果一个线程特别倒霉，每次获取的值都被其他线程的修改了，那么它就会一直进行自旋比较，直到成功为止，在这个过程中cpu的开销十分的大，所以要尽量避免。

3、只能保证一个共享变量的原子操作。

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁，或者有一个取巧的办法，就是把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i＝2,j=a，合并一下ij=2a，然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，你可以把多个变量放在一个对象里来进行CAS操作。