Volatile小结

1）Java 中能建立 Volatile 数组吗？

能，Java 中能够建立 volatile 类型数组，不过只是一个指向数组的引用，而不是整个数组。个人意思是，若是改变引用指向的数组，将会受到 volatile 的保护，可是若是多个线程同时改变数组的元素，volatile 标示符就不能起到以前的保护做用了。

2）volatile 能使得一个非原子操做变成原子操做吗？

一个典型的例子是在类中有一个 long 类型的成员变量。若是你知道该成员变量会被多个线程访问，如计数器、价格等，你最好是将其设置为 volatile。为何？由于 Java 中读取 long 类型变量不是原子的，须要分红两步，若是一个线程正在修改该 long 变量的值，另外一个线程可能只能看到该值的一半（前 32 位）。可是对一个 volatile 型的 long 或 double 变量的读写是原子。

3）volatile 修饰符有过什么实践？

一种实践是用 volatile 修饰 long 和 double 变量，使其能按原子类型来读写。double 和 long 都是64位宽，所以对这两种类型的读是分为两部分的，第一次读取第一个 32 位，而后再读剩下的 32 位，这个过程不是原子的，但 Java 中 volatile 型的 long 或 double 变量的读写是原子的。volatile 修复符的另外一个做用是提供内存屏障（memory barrier），例如在分布式框架中的应用。简单的说，就是当你写一个 volatile 变量以前，Java 内存模型会插入一个写屏障（write barrier），读一个 volatile 变量以前，会插入一个读屏障（read barrier）。意思就是说，在你写一个 volatile 域时，能保证任何线程都能看到你写的值，同时，在写以前，也能保证任何数值的更新对全部线程是可见的，由于内存屏障会将其余全部写的值更新到缓存。

4）volatile 类型变量提供什么保证？

volatile 变量提供顺序和可见性保证，例如，JVM 或者 JIT为了得到更好的性能会对语句重排序，可是 volatile 类型变量即便在没有同步块的状况下赋值也不会与其余语句重排序。 volatile 提供 happens-before 的保证，确保一个线程的修改能对其余线程是可见的。某些状况下，volatile 还能提供原子性，如读 64 位数据类型，像 long 和 double 都不是原子的，但 volatile 类型的 double 和 long 就是原子的。