深入理解volatile关键字

volatile关键字的介绍

volatile关键字只能修饰类变量和实例变量，对于方法参数，局部变量以及实例常量，类常量都不能进行修饰。

机器硬件CPU

在计算机中，所有的运算操作都是由CPU的寄存器来完成的，CPU指令的执行过程需要涉及数据的读取和写入操作，CPU所能访问到的所有数据只能是计算机的主存。
Cache的出现是为了解决CPU直接访问内存效率低下问题的，程序在运行的过程中，会将运算所需要的数据从主存复制一份到CPU Cache中，这样CPU进行计算时就可以直接对CPU Cache中的数据进行读取和写入，当运算结束之后，再将CPU Cache中的最新数据刷新到主内存当中，CPU通过直接访问Cache的方式替代直接访问主存的方式极大地提高了CPU的吞吐能力。

在缓存一致性协议中最为出名的是Intel的MESI协议，MESI协议保证了每一个缓存中使用的共享变量副本都是一致的，它的大致思想是，在CPU在操作Cache中的数据时，如果发现该变量是一个共享变量，也就是说在其他的CPU Cache中也存在一个副本，那么进行如下操作：
1. 读取操作，不做任何处理，只是将Cache中的数据读取到寄存器。
2. 写入操作，发出信号通知其他CPU将该变量的Cache line置为无效状态，其他CPU在进行该变量读取的时候不得不到主内存中再次获取。

Java内存模型

Java的内存模型决定了一个线程对共享变量的写入何时对其他线程可见，Java内存模型定义了线程和主内存之间的抽象关系。

• 共享变量存储于主内存之中，每个线程都可以访问。
• 每个线程都有私有的工作内存或者称为本地内存。
• 工作内存只存储该线程对共享变量的副本。
• 线程不能直接操作主内存，只有先操作了工作内存之后才能写入主内存。
• 工作内存和Java内存模型一样也是一个抽象的概念，它其实并不存在，它涵盖了缓存，寄存器，编译器优化以及硬件等。

假设主内存的共享变量为0，线程1和线程2分别拥有共享变量X的副本，假设线程1此时将工作内存的x修改为1，同时刷新到主内存中，当线程2想要去使用副本x的时候，就会发现该变量已经失效了，必须到主内存中再次获取然后存入自己的工作内容中，这一点和CPU与CPU Cache之间的关系非常相似。

并发编程的三个重要特性

1. 原子性
   所谓原子性是指在一次的操作或者多次操作中，要么所有的操作全部得到执行并且不会受到任何因素的干扰而中断，要么所有的操作都不执行。
   注意：两个原子性的操作结合在一起未必还是原子性的，比如i++。volatile关键字不保证数据的原子性操作，synchronized关键字保证。
2. 可见性
   可见性是指，当一个线程对共享变量进行了修改，那么另外的线程可以立即看到修改后的最新值。
3. 有序性
   所谓有序性是指程序代码在程序执行过程中的先后顺序，由于Java在编译器以及运行期的优化，导致代码的执行顺序未必就是开发者编写代码时的顺序。
   一般来说，处理器为了提高程序的运行效率，可能会对输入的代码指令做一定的优化，它不会百分之百的保证代码的执行顺序严格按照编写代码中的顺序来进行，但是它会保证程序的最终运算结果是编码时所期望的那样。
   在单线程情况下，无论怎样的重排序最终都会保证程序的执行结果和代码顺序执行的结果是完全一致的，但是在多线程的情况下，如果有序性得不到保证，那么很有可能就会出现非常大的问题。

JMM如何保证三大特性

JVM采用内存模型的机制来屏蔽各个平台和操作系统之间内存访问的差异，以实现让Java程序在各种平台达到一致的内存访问效果，比如C语言中的整型变量，在某些平台下占用了两个字节的内存，在某些平台下则占用了四个字节的内存，Java则在任何平台下，Int类型就是四个字节，这就是所谓的一致内存访问效果。
Java的内存模型规定了所有的变量都是存在于主内存(RAM)当中的，而每个线程都有自己的工作内存或者本地内存(这一点很像CPU的Cache)，线程对变量的所有操作都必须在自己的工作内存中进行，而不能直接对主内存进行操作，并且每一个线程都不能·访问其他线程的工作内存或者本地内存。

JMM与原子性

在Java语言中，对基本数据类型的变量读取赋值操作都是原子性，对引用类型的变量读取和赋值的操作也是原子性的，因此诸如此类的操作都是不可被中断的。

x=10;原子性
y=x;非原子性
y++;非原子性
z=z+1;非原子性

• 多个原子性的操作在一起就不再是原子性操作了。
• 简单的读取与赋值操作是原子性的，将一个变量赋给另外一个变量的操作不再原子性的。
• Java内存模型(JMM)只保证了基本读取和赋值的原子性操作，其他的均不保证，如果想要使得某些代码片段具备原子性，需要使用关键字synchronized，或者JUC中的lock。如果想要使得int等类型自增操作具备原子性，可以使用JUC包下的原子封装类型java.util.concurrent.atomic.*。

JMM与可见性

在多线程的环境下，如果某个线程首次读取共享变量，则首先到主内存中获取该变量，然后存入工作内存中，以后只需要在工作内存中读取该变量即可。如果对该变量执行了修改的操作，则先将新值写入工作内存中，然后再刷新至主内存中。但是什么时候最新的的值会被刷新至主内存中是不太确定的。
Java提供了以下三种方式来保证可见性。

• 使用关键字volatile，当一个变量被volatile关键字修饰时，对于共享资源的读操作会直接在主内存中进行(当然也会缓存到工作内存中，当其他线程对该共享资源进行了修改，则会导致当前线程在工作内存中的共享资源失效，所以必须从主内存中再次获取)，对于共享资源的写操作当然是先修改工作内存，但是修改结束后会立即将其刷新到主内存中。
• 通过synchronized关键字能够保证可见性，synchronized关键字能够保证同一时刻只有一个线程获得锁，然后执行同步方法，并且还会确保在锁释放之前，会将对变量的修改刷新到主内存中。
• 通过JUC提供的显式锁Lock也能保证可见性，Lock的lock方法能够保证在同一时刻只有一个线程获得锁然后执行同步方法，并且会确保在锁释放之前会将对变量的修改刷新到主内存当中。

总结：volatile关键字具有保证可见性的语义。

JMM与有序性

在Java的内存模型中，允许编译器和处理器对指令进行重排序，在单线程的情况下，重排序并不会引起什么问题，但是在多线程的情况下，重排序会影响到程序的正确运行，Java提供了三种保证有序性的方式，具体如下。

• 使用volatile关键字来保证有序性
• 使用synchronized关键字来保证有序性
• 使用显式锁Lock来保证有序性

Java的内存模型具有一些天生的有序性规则，不需要任何同步手段就能够保证有序性，这个规则被称为Happens-before原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就无法保证有序性，也就是说虚拟机或者处理器可以随意对它们进行重排序处理。

被volatile修饰的实例变量或者类变量具备如下两层语义。

1. 保证了不同线程之间对共享变量操作时的可见性，也就是说当一个线程修改volatile修饰的变量，另外一个线程会立即看到最新的值。
2. 禁止对指令进行重排序操作。

volatile和synchronized

1)使用上的区别

• volatile关键字只能用于实例变量或者类变量，不能用于修饰方法以及方法参数和局部变量，常量等。
• synchronized关键字不能用于对变量的修饰，只能用于修饰方法或者语句块。
• volatile修饰的变量可以为null,synchronized关键字同步语句块的moniter对象不能为null。

2)对原子性的保证

• volatile无法保证原子性
• 由于synchronized是一种排他的机制，因此被synchronized关键字修饰的同步代码是无法被中途打断的，因此其能够保证代码的原子性。

3)对可见性的保证

• 两者均可以保证共享资源在多线程间的可见性，但是实现完全不同
• synchronized借助于JVM指令moniter enter和moniter exit对通过排他的方式使得同步代码串行化，在moniter exit时所有共享资源都将会被刷新到主内存中。
• 相比较于synchronized关键字volatile使用机器指令(偏硬件)"lock;"的方式迫使其他线程工作内存中的数据失效，不得到主内存中进行再次加载。

4)对有序性的保证

• volatile关键字禁止JVM编译器以及处理器对其进行重排序，所以它能够保证有序性。
• 虽然synchronized关键字所修饰的同步方法也可以保证有序性，但是这种顺序性是以程序的串行化执行换来的，在synchronized关键字所修饰的代码块中代码指令也会发生指令重排序的情况。
  synchronized(this){
  int x=10;
  int y=20;
  x++;
  y=y+1;
  }
  x和y谁最先定义以及谁最先进行运算，对程序来说没有任何的影响，另外x和y之间也没有依赖关系，但是由于synchronized关键字同步的作用，在synchronized的作用域结束时x必定是11，y必定是21，也就是说达到了最终的输出结果和代码编写顺序的一致性。

5）其他

• volatile不会使线程陷入阻塞
• synchronized关键字会使线程进入阻塞状态