Java并发编程系列---volatile和synchronized关键字详解

一、简介

在多线程并发编程中synchronized和volatile都扮演着重要的角色，volatile是轻量级的 synchronized，它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是当一个 线程修改一个共享变量时，另外一个线程能读到这个修改的值。如果volatile变量修饰符使 用恰当的话，它比synchronized的使用和执行成本更低，因为它不会引起线程上下文的切 换和调度。

二、volatile的定义与实现原理

Java编程语言允许线程访问共享变量， 为了确保共享变量能被准确和一致地更新，线程应该确保通过排他锁单独获得这个变量。 Java语言提供了volatile，在某些情况下比锁要更加方便。如果一个字段被声明成volatile， Java线程内存模型确保所有线程看到这个变量的值是一致的。也就是说volatile关键字只保证了线程的可见性，没有保证其原子性。而且volatile关键字禁止JVM和处理器对其修饰的指令进行重排序。

有volatile变量修饰的共享变量进行写操作的时候会多出一汇编代码（具有Lock前缀），Lock前缀的指令在多核处理器下会引发了两件事情。

1. 将当前处理器缓存行的数据写回到系统内存。
2. 这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。

为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存后再进行操作，但操作完不知道何时会写到内存。如果对声明了volatile的变量进行写操作，JVM就会向处理器发送一条Lock前缀的指令，将这个变量 所在缓存行的数据写回到系统内存。但是，就算写回到内存，如果其他处理器缓存的值还 是旧的，再执行计算操作就会有问题。所以，在多处理器下，为了保证各个处理器的缓存 是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自 己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前 处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作的时候，会重新从系 统内存中把数据读到处理器缓存里。

2.1 为什么volatile保证不了原子性

因为volatile进行读写操作的时候，需要三步。

1. 先去主内存读取值，然后写回（缓存）工作内存
2. 然后在工作内存进行加减操作或者一些别的事务操作。
3. 然后再写入到主内存

这三步，都是原子操作，但是，合到一起就不是原子操作了，因为每一步都有可能被其他线程打断。
具体使用：

三、synchronized的实现原理与应用

在多线程并发编程中synchronized一直是元老级角色，很多人都会称呼它为重量级锁。但是，随着Java SE 1.6对synchronized进行了各种优化之后，有些情况下它就并不那么重了。

利用synchronized实现同步的基础:Java中的每一个对象都可以作为锁。具体表现为以下3种形式。

1. 对于普通同步方法，锁是当前实例对象。
2. 对于静态同步方法，锁是当前类的Class对象。
3. 对于同步方法块，锁是Synchonized括号里配置的对象。

当一个线程试图访问同步代码块时，它首先必须得到锁，退出或抛出异常时必须释放 锁。那么锁到底存在哪里呢?锁里面会存储什么信息呢?
从JVM规范中可以看到Synchonized在JVM里的实现原理，JVM基于进入和退出 Monitor对象来实现方法同步和代码块同步，但两者的实现细节不一样。代码块同步是使 用monitorenter和monitorexit指令实现的，而方法同步是使用另外一种方式实现的，细节在 JVM规范里并没有详细说明。但是，方法的同步同样可以使用这两个指令来实现。
monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方 法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。任何 对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执 行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象 的锁。

上图可以看出任意线程对Object(Object由synchronized保护)的访问，首先要 获得Object的监视器。如果获取失败，线程进入同步队列，线程状态变为BLOCKED。当 访问Object的前驱(获得了锁的线程)释放了锁，则该释放操作唤醒阻塞在同步队列中的 线程，使其重新尝试对监视器的获取。
随便写个demo，加上synchronized关键字。查看下字节码文件就可以发现了。

四、volatile和synchronized的区别

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

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

3. 对可见性的保证
   两者均可以保证共享资源在多线程间的可见性，但是实现机制完全不同。
   synchronized借助于JVM指令monitorenter和monitorexit对通过排他的方式使得同步代码串行化，在monitorexit时所有共享资源都将会被刷新到主内存中。
   相比较于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关键字会使线程进人阻塞状态。