Java内存模型JMM学习之CAS（依赖硬件的CPU原子指令保证原子性）

        对于CAS我一点也不陌生，但是感觉也很陌生，很早之前就开始看java并发编程的艺术这本书，里面讲了很多CAS算法的东西，但是对于这个东西就是觉得没理解清楚，谁和谁比较？比较了什么值是我以前学习的一个困惑，今天专门花时间整理了一下。

       CAS就是java并发编程里面常用的一个算法，很多JUC的一些原子类就是使用CAS算法保证线程安全，它是类似git的实现一样一种基于乐观锁的处理思想。首先先看一个demo.

package bettercode;

public class TestAtomicDemo {
    public static void main(String[] args) {
        AtomicDemo ad = new AtomicDemo();

        //创建10个线程进行操作
        for(int i = 0;i < 10;i++){
            new Thread(ad).start();
        }
    }
}

class AtomicDemo implements Runnable{
    private int serialNumber = 0;

    public int getSerialNumber() {
        return serialNumber++;
    }

    @Override
    public void run() {
        try {
            Thread.sleep(400);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(Thread.currentThread()+":"+getSerialNumber());
    }
}

这个程序可能执行一次没事，但是执行多次发现这样的结果

出现了一些重复数据。

这就是i++的非原子操作导致。当然我们都知道使用原子类AtomicInteger去保证原子性，使用valitale保证可见，重排序的问题，但是AtomicInteger怎么去实现的呢？它的实现原理就是CAS。

看下面一段代码

package bettercode;

import java.util.concurrent.atomic.AtomicInteger;

public class CASTest {

    public static void main(String[] args) {
        AtomicInteger atomicInteger = new AtomicInteger(0);
        System.out.println(atomicInteger.compareAndSet(0, 12)+"  --> "+atomicInteger);
        System.out.println(atomicInteger.compareAndSet(0,100)+"====>"+atomicInteger);
    }
}

      第一次初始值是0，第一次修改，修改前先看一下主内存的值还是0，这个时候满足这个条件，期望是0，初始是0,时候没有冲突可以对数据进行修改，当修改之后，主内存值变为12，当另一个线程需要修改时我也期望是0，但是由于另一个线程已经将主内存的值改为12了，所以这次修改不成功，返回false。

结果如下：

工作机制如下首先

        CAS的缩写就是CompareAndSwap，根据idea参数提示我们可以看出初始值和期望值比较，如果这个值相等那么就将后面的数据更新。在内存中的实现就是每个线程的工作空间都有自己的数据，他们进行写数据时会去看主内存中看一下主内存的值是不是和自己工作空间的值相等如果不相等返回false，不赋值，如果相等直接进行赋值，更新主内存的值，就就像我们在开发时使用git一样，先会拉一下代码看看有没有冲突在进行提交一样。都是使用乐观锁的机制去实现。

为此我画了一个图，有点丑应该可以理解

 

 

 

CAS底层源码：

通过源码可知，cas的底层是调用了Usafe的方法，这个Usafe类时jre中rt.jar的一个类，这个类中大量使用了Native方法，这个类的内部方法可以像指针一样直接操作访计算机内存。这个类操作的时候不可以被打断，本身就是原子操作。cas是一个完全依赖于硬件的功能，是CPU的原子指令，不会造成所谓的数据不一致问题。

 

位置如下

使用CAS带来的问题：

     循环时间长，开销大

CAS底层源码如下

它使用了do while循环，在while条件里面就是cas比较并转换的结果，是否修改成功，他是类似一个自旋锁的东西，只要比=比较不成功，他就一直循环，在高并发的情况下，如果cas长时间不成功，非常耗费计算机CPU性能。

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

当共享变量多个时我们只能通过加锁的方式实现

ABA问题。这个问题后面的文章再继续学习。

 

以上便是我对CAS概念的理解。还请多多指教。

当然使用CAS会也会存在一些问题