并发-Volatile解读

1 介绍

1.1 Volatile特性

它能保证内存可见性，但是不能保证原子性。

• 可见性：对一个Volatile变量的读，总能看到(任意线程)对这个volatile变量最后的写入（Happen-before：volatile变量规则）；
• 原子性：对任意单个Volatile变量的读/写具有原子性，但类似于Volatile++这种复合操作不具有原子性；

1.2 Volatile应用场景

如何写入的值不依赖变量当前值，那么就可以使用Volatile。其不具备互斥性，适合一个线程写，其它线程读的场景。

1.3 工作内存与主内存之间的交互协议

JAVA内存模型规定工作内存与主内存之间的交互协议，其中包括8种原子操作：

• lock：将主内存中的变量锁定，为一个线程所独占；
• unclock：将lock加的锁定解除，此时其它的线程可以有机会访问此变量；
• read：将主内存中的变量值读到工作内存当中；
• load：将read读取的值保存到工作内存中的变量副本中；
• use：将值传递给线程的代码执行引擎；
• assign：将执行引擎处理返回的值重新赋值给变量副本；
• store：将变量副本的值存储到主内存中；
• write：将store存储的值写入到主内存的共享变量当中；

1.4 Volatile为什么不是线程安全的

       类似于synchronized这样的关键字才会具有lock和unlock操作，而volatile是保证在读取和写入共享变量时都要在主内存中读取和写入。简单来说，volidate不会锁住一个volidate变量。

1.5 Volatile重排序规则

• 当第二个操作是Volatile写时，无论第一个操作是什么都不能重排序；

如果进行重排序，那么volatile 写会使其他CPU的缓存行无效，就不能保证volatile 写之前的共享变量数据的一致，如此就违背了内存语义。同理，在volatile 变量进行读操作的时候，会直接从主存中读取，再存储到缓存行。

• 当第一个操作是Volatile读时，无论第二个操作是什么都不能重排序；

如果进行重排序，当前缓存行的数据就会被置为无效，那么缓存行中的普通共享变量也会再从主存中重新读取，如此就违背了内存语义。

• 当第一个操作是Volatile写，第二个操作是Volatile读时，不能重排序；

Happen-before：volatile变量规则

缓存行 ： CPU高速缓存中可以分配的最小的存储单位。处理器填写缓存行时会加载整个缓存行。volatile 变量在进行写操作的时候，会插入一条Lock前缀的指令。这个指令在多核处理器下会发生两个事情：

• 将当前处理器缓存行的数据写回主存；
• 使其他CPU里的缓存无效，下次访问相同内存地址时，将强制执行缓存行填充；

1.6 Volatile内存屏障

上面定义了哪些不能重排序，然后内存屏障的一个作用就是禁止屏障两边进行重排序，因此会推导出下列情况。

• 在每个volatile写操作的前面插入一个StoreStore屏障
• 在每个volatile写操作的后面插入一个StoreLoad屏障
• 在每个volatile读操作的前面插入一个LoadLoad屏障
• 在每个volatile读操作的后面插入一个LoadStore屏障

PS：简化？

1.7. Atomic类如何应用Volatile

Volatile并不能保证原子性，因此Atomic类为了保证其原子性，利用了底层Unsafe类的操作

public class AtomicInteger extends Number implements java.io.Serializable {
    private static final long serialVersionUID = 6214790243416807050L;

    // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();
    private static final long valueOffset;

    static {
        try {
            // 获取目标对象在内存中的偏移量
            valueOffset = unsafe.objectFieldOffset
                (AtomicInteger.class.getDeclaredField("value"));
        } catch (Exception ex) { throw new Error(ex); }
    }

    private volatile int value;
    // ...
}

CAS：乐观锁的思想

this+valueOffset：确定旧值

expect：期望的旧值

update：更新值

public final boolean compareAndSet(int expect, int update) {
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}

2 源码

3 实践

4 FAQ

5 参考资料

【volatile的指令重排序理解】

【volatile关键字作用与内存可见性、指令重排序概述[JAVA]】

【volatile禁止重排序详解】

【聊聊并发（一）深入分析Volatile的实现原理】

【CPU缓存行】

【Java并发篇：volatile关键字吐血整理】

【Java魔法类：Unsafe应用解析】

【Volatile重排序规则的一些理解】