volatile + CAS

voilatile

1. 可见性
2. 不保证原子性
3. 有序性（禁止指令重排序）

可见性保证一个线程更改的共享变量另一个线程可以马上知晓

• 在写屏障之前的的数据更新到主内存中
• 在读屏障之前要从主内存中读取最新值

有序性保证指令不会被重排序，保证多线程下的线程安全

• 在写屏障之前的代码不可以重排序到写屏障之后
• 在毒品栈之前的代码不可以重排序到读屏障之前

    // volatile 保证可见性和禁止指令重排序
    private static volatile Singleton singleton;

    public static Singleton getInstance() {
        // 只有第一次创建对象的时候加锁，避免了创建对象后再加synchronized锁
        if (singleton == null) {
          // 同步代码块
          synchronized(this.getClass()) {
              // 第二次检查
              if (singleton == null) {
                    // 对象的实例化是一个非原子性操作
                    singleton = new Singleton();
                }
            }
        }
        return singleton;
    }
}

上面代码中， new Singleton() 是一个非原子性操作，对象实例化分为三步操作：（1）分配内存空间，（2）初始化实例，（3）返回内存地址给引用。创建对象时，编译器可能会进行指令重排序。假设线程 A 在执行创建对象时，（2）和（3）进行了重排序，如果线程 B 在线程 A 执行（3）时拿到了引用地址，此时应该已有对象但B并在第一个检查中判断 singleton != null 了，B进入了同步代码块

所以，这里使用 volatile 修饰 singleton 变量，就是为了禁止在实例化对象时进行指令重排序。

CAS

CAS（compare and swap）通过比较预期值（A）与实际值（V），若相等就把更新后的值（B）更新到主内存
通过一种无锁的机制保证线程安全。

CAS底层实现

• 自旋锁 更新失败后不断尝试
• Unsafe类 Unsafe类里面都是native方法 相当于是用c的指针直接操作内存

cas是与volatile配合，保证了原子性和可见性，通过不断循环的方式，比较交换的方式实现线程安全

CAS缺陷

• 不断地自旋导致cpu开销过大

• 只能保证一个共享变量的原子性

• ABA问题

  ABA：CAS是检查预期值与内存值是否相等，但并不能检测到中间过程里内存值是否发生变化
  2线程把内存中的值更改从 A -> B - > A
  1线程检测到内存值仍为原来的A更新数据 A->C(但其实并不应该修改此时的A并不是原来的A)
  解决方案：加上一个时间戳，在更改的时候也比较时间戳，如果时间戳不一致则不更改数据（别的线程成功修改数据会修改时间戳）