Java多线程问题合集之volatile

1 volatile的作用

可见性：当一个变量被volatile修饰时，那么对它的修改会立刻刷新到主内存，在刷新主内存时使用汇编指令Lock，避免未完成写操作时就被其他线程读取。总线会通知所有CPU放弃工作内存中的值。当其它线程再次需要使用该变量时，会去主内存中读取新值。而普通变量则不能保证立即去读取主内存新值，而且会有很长时间的延迟。其实通过synchronized和Lock也能够保证可见性，线程在释放锁之前，会把共享变量值都刷回主存。取锁时会从主内存取值。但是synchronized和Lock会挂起线程，开销都更大。

• 当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存，并通知所有线程（可见性相当于释放锁）
• 当读一个volatile变量时，JMM会把该线程对应的工作内存置为无效，线程接下来将从主内存中读取共享变量。（可见性相当于取得锁）
  注意：volatile 修饰 数组/Object 时，只有在数组/Object的变量引用发生变化时才内存可见，而数组/Object中的元素/属性被改变时没有内存可见性。例如：volatile int[] a={1,2,3 } ; a[1]=5;//无可见性 a={6,7,8}；//有可见性 ；实际上 volatile只是关注变量a的变化，而不关心其引用的数组的变化
  可见性相关有一个重要原则这是happens-before，happens-before原则定义如下：

1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
2. 两个操作之间存在happens-before关系，并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果与按照happens-before关系来执行的结果一致，那么这种重排序并不非法。
   下面是happens-before原则规则：（详见深入理解JVM）

• 程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作；
• 锁定规则：一个unLock操作先行发生于后面对同一个锁额lock操作；
• volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作；
• 传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C；
• 线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作；
• 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生；
• 线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行；
• 对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始；
  这里再说一遍happens-before的概念：如果两个操作不存在上述（前面8条 + 后面6条）任一一个happens-before规则，那么这两个操作就没有顺序的保障，JVM可以对这两个操作进行重排序。如果操作A happens-before操作B，那么操作A在内存上所做的操作对操作B都是可见的。这也是volatile关键字的第二点作用，即禁止指令重拍

2禁止指令重排

下面解释一下什么是指令重排序，一般来说，处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。语句1和语句2谁先执行对最终的程序结果并没有影响，那么就有可能在执行过程中，语句2先执行而语句1后执行。volatile生成内存屏障，此变量前后的代码在JVM行时可能会被重排序，但是前后代码重拍排序时不会越过vola