【Java多线程学习笔记】synchronized和volatile关键字

个人博客 翔仔年轻有力量：synchronized和volatile关键字

引入

通俗的解释synchronized关键字，即为在多线程开发环境下，当存在共享数据/公共资源类（临界区）可能会被多个线程共同操作时，为了实现在同一时刻有且仅有一个线程在操作临界区，其他线程必须等待该线程处理完数据后再进行的机制，称为互斥锁。

在 Java 中，关键字 synchronized可以保证在同一个时刻，只有一个线程可以执行某个方法或者某个代码块(主要是对方法或者代码块中存在共享数据的操作)，同时我们还应该注意到synchronized另外一个重要的作用，synchronized可保证一个线程的变化(主要是共享数据的变化)被其他线程所看到（保证可见性，完全可以替代Volatile功能），归纳如下：

• 实现线程间的同步
• 对同步的代码加锁，使得每次只有一个线程进入同步块（临界区）
• 从而保证线程间的安全性

synchronized的三种应用方式

• 修饰实例方法，作用于当前实例加锁，进入同步代码前要获得当前实例的锁：修饰在普通实例方法前，当多个线程操作1个实例可以实现线程安全。但多个线程操作多个实例对象，导致锁不同，无法实现线程安全。锁的是整个实例，当被锁定后，其它的线程都不能进入到当前对象的其它的synchronized方法
• 修饰静态方法，作用于当前类对象加锁，进入同步代码前要获得当前类对象的锁：修饰在静态方法前，锁的是当前类的Class对象，通过class对象锁可以控制静态成员的并发操作。
• 修饰代码块，指定加锁对象，对给定对象加锁，进入同步代码库前要获得给定对象的锁。

synchronized底层原理

• synchronized修饰代码块

字节码指令使用的是monitorenter和monitorexit指令。其中，monitor是该对象的所使用的重量级锁，即通常说的synchronized的对象锁，它的信息存储在对象头中。每个对象都存在着一个 monitor 与之关联，对象与其 monitor 之间的关系有存在多种实现方式，如monitor可以与对象一起创建销毁或当线程试图获取对象锁时自动生成，但当一个 monitor 被某个线程持有后，它便处于锁定状态。它包含WaitSet、EntryList、Owner等字段，辅助记录锁的状态。

• synchronized修饰方法

方法级的同步是隐式，即无需通过字节码指令来控制的，它实现在方法调用和返回操作之中。它借助ACC_SYNCHRONIZED 标识，该标识指明了该方法是一个同步方法，JVM 通过该 ACC_SYNCHRONIZED 访问标志来辨别一个方法是否声明为同步方法，从而执行相应的同步调用。先判断ACC_SYNCHRONIZED 标识再持有monitor（监控器锁）然后再执行方法，最后再方法完成(无论是正常完成还是非正常完成)时释放monitor。

JDK 1.6对synchronized的底层优化

在JVM对象头中的MARK WORD中存储了对象使用的锁状态，在JDK 1.6后，锁状态共有四种：重量级锁，轻量级锁，偏向锁和无锁状态。

• 偏向锁：在大多数情况下，锁不仅不存在多线程竞争，而且总是由同一线程多次获得。但通过线程连续多次申请同一把锁，在重量级锁面前，需要大量的锁申请操作。因此为了在没有多线程竞争的前提下，减少传统的重量级锁使用操作系统互斥量产生的性能消耗引入偏向锁。核心思想为如果一个线程获得了锁，那么锁就进入偏向模式，此时Mark Word 的结构也变为偏向锁结构，当这个线程再次请求锁时，无需再做任何同步操作，即获取锁的过程，从而提高程序性能。其优缺点在于是否有锁竞争的不同场合体现，在竞争激烈时偏向锁便失去了意义。
• 轻量级锁：与偏向锁的目的相似，为了减少传统重量级锁导致的性能消耗。轻量级锁能够提升程序同步性能的依据是“对于绝大部分锁，在整个同步周期内都是不存在竞争的”，即并非多个线程同时间访问同一个锁，而是多个线程交替执行同步块的场合。如果存在同一时间访问同一锁的场合，就会导致轻量级锁膨胀为重量级锁。另外，轻量级锁的加锁和解锁都用到了CAS操作，交替获得锁时，不需要申请互斥量，避免使用互斥操作的开销
• 自旋锁：轻量级锁失败后，虚拟机为了避免线程真实地在操作系统层面挂起，还会进行一项称为自旋锁的优化手段。建立在“大多数情况下，线程持有锁的时间都不会太长，但线程切换需要用户态转换内核态时间开销大”的理论上，表示当线程遭拒后不马上挂起，而是执行几个忙循环（自旋），来等待一段时间去获取锁。jdk 1.6后，自旋锁更具“智能性”，通过上一次自旋时间和锁拥有者的状态，来决定自己的自旋时间而非jdk1.6前的固定时间。
• 锁消除：简单的说，就是编译时判断共享数据是否会被竞争，如果检测到那些共享数据不可能存在竞争，那么就执行锁消除。锁消除可以节省毫无意义的请求锁的时间。

synchronized的可重入性

简单地说，重入即在该线程获得锁执行代码时，代码内部调用了该对象的另一个synchonized方法，那么，该线程可以直接获取到它。当一个线程试图操作一个由其他线程持有的对象锁的临界资源时，将会处于阻塞状态，但当一个线程再次请求自己持有对象锁的临界资源时，这种情况属于重入锁，请求将会成功

注：当子类继承父类时，子类也是可以通过可重入锁调用父类的同步方法。

synchronized和ReentrantLock 的区别

• 二者均是可重入锁

• synchronized 依赖于 JVM 而 ReentrantLock 依赖于 API：

  synchronized均是由JVM虚拟机在字节码底层实现的，而ReentrantLock是可以在代码中通过接口API调用各种方法，灵活性和可操作性更强。

• ReentrantLock 比 synchronized 增加了一些高级功能：

• 通过lock.lockInterruptibly()来实现这个机制。也就是说正在等待的线程可以选择放弃等待，改为处理其他事情

• ReentrantLock可以指定是公平锁还是非公平锁。而synchronized只能是非公平锁。所谓的公平锁就是先等待的线程先获得锁

• synchronized关键字与wait()和notify()/notifyAll()方法相结合可以实现等待/通知机制，ReentrantLock类当然也可以实现，但是需要借助于Condition接口与newCondition() 方法。Condition是JDK1.5之后才有的，它具有很好的灵活性，比如可以实现多路通知功能也就是在一个Lock对象中可以创建多个Condition实例（即对象监视器），线程对象可以注册在指定的Condition中，从而可以有选择性的进行线程通知，在调度线程上更加灵活。 在使用notify()/notifyAll()方法进行通知时，被通知的线程是由 JVM 选择的，用ReentrantLock类结合Condition实例可以实现“选择性通知” ，这个功能非常重要，而且是Condition接口默认提供的。而synchronized关键字就相当于整个Lock对象中只有一个Condition实例，所有的线程都注册在它一个身上。如果执行notifyAll()方法的话就会通知所有处于等待状态的线程这样会造成很大的效率问题，而Condition实例的signalAll()方法 只会唤醒注册在该Condition实例中的所有等待线程

volatile关键字

首先明确：volatile关键字是针对变量的关键字，而非对象或者类。

目前JMM内存模型下，线程可以把变量保存本地内存（比如机器的寄存器）中，而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值，而另外一个线程还继续使用它在寄存器中的变量值的拷贝，造成数据的不一致。

而使用volatile关键字声明一个变量后，虚拟机将得知该变量极有可能被线程修改。需要确保这个修改能够让所有线程看到，保证可见性。

volatile 关键字的主要作用就是保证变量的可见性然后还有一个作用是防止指令重排序。

• 原子性 : 一个的操作或者多次操作，要么所有的操作全部都得到执行并且不会收到任何因素的干扰而中断，要么所有的操作都执行，要么都不执行。synchronized可以保证代码片段的原子性。volatile 不能保证数据的原子性
• 可见性 ：当一个变量对共享变量进行了修改，那么另外的线程都是立即可以看到修改后的最新值。volatile 关键字可以保证共享变量的可见性。
• 有序性 ：代码在执行的过程中的先后顺序，Java 在编译器以及运行期间的优化，代码的执行顺序未必就是编写代码时候的顺序。volatile 关键字可以禁止指令进行重排序优化。

synchronized 关键字和 volatile 关键字的区别

• volatile关键字是线程同步的轻量级实现，所以volatile性能肯定比synchronized关键字要好。但是volatile关键字只能用于变量而synchronized关键字可以修饰方法以及代码块。synchronized关键字在JavaSE1.6之后进行了主要包括为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁以及其它各种优化之后执行效率有了显著提升，实际开发中使用 synchronized 关键字的场景还是更多一些。
• 多线程访问volatile关键字不会发生阻塞，而synchronized关键字可能会发生阻塞
• volatile关键字能保证数据的可见性，但不能保证数据的原子性。synchronized关键字两者都能保证。
• volatile关键字主要用于解决变量在多个线程之间的可见性，而 synchronized关键字解决的是多个线程之间访问资源的同步性。

参考

• 深入理解Java并发之synchronized实现原理
• Github@SnailClimb/JavaGuide:synchronized.md