Java synchronize底层实现原理及优化

首先来说下synchronize和Lock的区别：

两者都是锁，用来控制并发冲突，区别在于Lock是个接口，提供的功能更加丰富，除了这个外，他们还有如下区别：

  • synchronize自动释放锁，而Lock必须手动释放，并且代码中出现异常会导致unlock代码不执行，所以Lock一般在Finally中释放，而synchronize释放锁是由JVM自动执行的。
  • Lock有共享锁的概念，所以可以设置读写锁提高效率，synchronize不能。（两者都可重入）
  • Lock可以让线程在获取锁的过程中响应中断，而synchronize不会，线程会一直等待下去。lock.lockInterruptibly()方法会优先响应中断，而不是像lock一样优先去获取锁。
  • Lock锁的是代码块，synchronize还能锁方法和类。
  • Lock可以知道线程有没有拿到锁，而synchronize不能

Lock锁对应有源码的，可以查看下代码，那么synchronize在JVM层面是怎么实现的呢,我们看下字节码文件：

先用javac Test.class 编译出class文件再用javap –c Test.class查看字节码文件

我们写个DEMO看下，JVM底层是怎么实现synchronized的：、

public class Test4 {

  private static Object LOCK = new Object();

  public static int main(String[] args) {
    synchronized (LOCK){
      System.out.println("Hello World");
    }
    return 1;
  }
}

在看下上面代码对应的字节码

也就是说，锁是通过monitorenter和monitorexit来实现的，这两个字节码代表的是啥意思：

可以在下面参考的网页中了解monitorenter和monitorexit的作用，我就不盗用他们的话了，大致意思是，每个对象都有一个monitor监视器，调用monitorenter就是尝试获取这个对象，成功获取到了就将值+1，离开就将值减1。如果是线程重入，在将值+1，说明monitor对象是支持可重入的。

我之前分析过一篇ReenternLock，概念都是类似的，只是锁是自身维护了一个volatile int类型的变量，通过对它加一减一表示占有锁啊重入之类的概念。

注意，如果synchronize在方法上，那就没有上面两个指令，取而代之的是有一个ACC_SYNCHRONIZED修饰，表示方法加锁了。它会在常量池中增加这个一个标识符，获取它的monitor，所以本质上是一样的。

HotSpot中锁的具体实现以及对它的优化：

重量级锁：

最基础的实现方式，JVM会阻塞未获取到锁的线程，在锁被释放的时候唤醒这些线程。阻塞和唤醒操作是依赖操作系统来完成的,所以需要从用户态切换到内核态，开销很大。并且monitor调用的是操作系统底层的互斥量(mutex),本身也有用户态和内核态的切换，所以JVM引入了自旋的概念，减少上面说的线程切换的成本。

自旋锁：

如果锁被其他线程占用的时间很短，那么其他获取锁的线程只要稍微等一下就好了，没必要进行用户态和内核态之间的切换，等的状态就叫自旋。例如如下代码：

public class SpinLock {
  private AtomicReference<Thread> cas = new AtomicReference<Thread>();
  public void lock() {
    Thread current = Thread.currentThread();
    // 利用CAS，获取值不对则无限循环
    while (!cas.compareAndSet(null, current)) {
      // DO nothing
    }
  }
  public void unlock() {
    Thread current = Thread.currentThread();
    cas.compareAndSet(current, null);
  }
}

自旋会跑一些无用的CPU指令，所以会浪费处理器时间，如果锁被其他线程占用的时间段的话确实是合适的…如果长的话就不如使用直接阻塞了，那么JVM怎么知道锁被占用的时间到底是长还是短呢？

因为JVM不知道锁被占用的时间长短，所以使用的是自适应自旋。就是线程空循环的次数时会动态调整的。

可以看出，自旋会导致不公平锁，不一定等待时间最长的线程会最先获取锁。

轻量级锁：

JDK1.6之后加入，它的目的并不是为了替换前面的重量级锁，而是在实际没有锁竞争的情况下，将申请互斥量这步也省掉。锁实现的核心在与对象头(MarkWord)的结构,对象自身会有信息表示所有被锁住并且锁是什么类型，如下所示：

如果代码进入同步块时，检测到对象未锁定，即标志位为01。那么当前线程就会在自身栈帧中建议一个区域保存对象的MarkWord信息，再使用CAS的方式让这个区域指向对象的MarkWork区域，这样就算加上锁了。(这样就没有获取系统mutex变量，只是改了个值，但是如果有竞争的话，就要升级成重量级锁，这样反倒变慢了)

加锁前VS 加锁后：

偏向锁：

比轻量级锁更绝，将同步操作全部省略…设置步骤是和前面的轻量级锁一样的，不同的是标志位设置的是01，即偏向模式。

不同的是同一个线程第二次进来之后，虚拟机不会再进行任何的同步操作，比如Mark Word的update。

如果有其他线程来，偏向模式就结束了，标志位会恢复到未锁定或者偏向锁。所以如果锁总是会被多个线程访问的话，还是禁止掉偏向锁优化比较好。

锁优化流程如下：(出自周志明老师的那本讲解JVM的书)

可以看出，锁是一个逐步升级的过程，不会一开始上来就重量级锁。锁一般只会升级不会降级，避免降级之后冲突导致效率不行并且又得升级。但是降级其实是允许的(STW的时候)，可以看下参考中文章里面提到的英文网站。

其他的优化还有锁消除以及锁粗化：

如果一段代码其实在作用域可以不加锁的，Javac编译器会自动优化。

锁粗化是指代码在一段代码中多次加锁，会被JVM优化成对整个代码段加锁。

（但是这两点是JVM对代码的优化，而不是对synchronized优化了，这里只是顺带提一下）

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持我们。

赞 (0)

相关推荐

  • 浅析java并发中的Synchronized关键词

    如果在多线程的环境中,我们经常会遇到资源竞争的情况,比如多个线程要去同时修改同一个共享变量,这时候,就需要对资源的访问方法进行一定的处理,保证同一时间只有一个线程访问. java提供了synchronized关键字,方便我们实现上述操作. 为什么要同步 我们举个例子,我们创建一个类,提供了一个setSum的方法: public class SynchronizedMethods { private int sum = 0; public void calculate() { setSum(get

  • Java synchronized关键字使用方式及特性解析

    这篇文章主要介绍了Java synchronized关键字使用方式及特性解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 synchronized 关键字是实现锁的一种方式,是在jvm层面实现的非公平锁,以下是使用synchronized的四种方式 synchronized 特性: 1.非公平锁 2.可重入性 1.作用在方法上,保证了访问同一个对象的同一个方法的线程同步 public synchronized void testFun(Str

  • java synchronized实现可见性过程解析

    JMM关于synchronized的两条规定: 1)线程解锁前,必须把共享变量的最新值刷新到主内存中 2)线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新获取最新的值 (注意:加锁与解锁需要是同一把锁) 通过以上两点,可以看到synchronized能够实现可见性.同时,由于synchronized具有同步锁,所以它也具有原子性 多线程中程序交错执行时,重排序可能会造成内存可见性问题 接下来我们看一段代码: /** * synchronized能够实现原子性(同步)

  • 简单了解Java synchronized关键字同步

    synchronized synchronized可以用来同步块,同步方法.同步块可以用来更精确地控制对象锁,控制锁的作用域.(锁的作用域就是从锁的获得到锁的释放的时间,而且可以选择获取哪个对象的锁).但是在使用同步块机制时,过多的使用锁也会引发死锁问题,同时获取和释放也有代价. 而同步方法,它所拥有的就是该类的对象,换句话说,就是this对象,而且锁的作用域是整个方法,这可能导致锁的作用域太大,有可能导致死锁问题.同时也可能包括了不需要同步的代码块在内,也会降低程序的运行效率. 不管是同步方法

  • Java并发 synchronized锁住的内容解析

    synchronized用在方法上锁住的是什么? 锁住的是当前对象的当前方法,会使得其他线程访问该对象的synchronized方法或者代码块阻塞,但并不会阻塞非synchronized方法. 脏读 一个常见的概念.在多线程中,难免会出现在多个线程中对同一个对象的实例变量或者全局静态变量进行并发访问的情况,如果不做正确的同步处理,那么产生的后果就是"脏读",也就是取到的数据其实是被更改过的.注意这里 局部变量是不存在脏读的情况 public class ThreadDomain13 {

  • Java synchronized关键字和Lock接口实现原理

    Java synchronized关键字和Lock接口实现原理

    这篇文章主要介绍了Java synchronized关键字和Lock接口实现原理,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 引用 当开发过程中,我们遇到并发问题.怎么解决? 一种解决方式,简单粗暴:上锁.将千军万马都给拦下来,只允许一个人过独木桥.书面意思就是将并行的程序变成串行的程序.现实的锁有门锁.挂锁和抽屉锁等等.在Java中,我们的锁就是synchronized关键字和Lock接口. synchronized关键字 synchron

  • Java多线程synchronized同步方法详解

    1.synchronized 方法与锁对象 线程锁的是对象. 1)A线程先持有 object 对象的 Lock 锁, B线程可以以异步的方式调用 object 对象中的非 synchronized 类型的方法 2)A线程先持有 object 对象的 Lock 锁, B线程如果在这时调用 object 对象中的 synchronized 类型的方法,则需要等待,也就是同步. 2.脏读(DirtyRead) 示例: public class DirtyReadTest { public static

  • Java synchronize底层实现原理及优化

    首先来说下synchronize和Lock的区别: 两者都是锁,用来控制并发冲突,区别在于Lock是个接口,提供的功能更加丰富,除了这个外,他们还有如下区别: synchronize自动释放锁,而Lock必须手动释放,并且代码中出现异常会导致unlock代码不执行,所以Lock一般在Finally中释放,而synchronize释放锁是由JVM自动执行的. Lock有共享锁的概念,所以可以设置读写锁提高效率,synchronize不能.(两者都可重入) Lock可以让线程在获取锁的过程中响应中断

  • Java同步关键字synchronize底层实现原理解析

    Java同步关键字synchronize底层实现原理解析

    目录 1 字节码层实现 1.1 InterpreterRuntime::monitorenter 1.1.1 函数参数 JavaThread *thread 1.1.2 函数体 2 偏向锁 2.1 偏向锁的意义 2.2 偏向锁的获取 2.2.1 markOop mark = obj->mark() 2.2.2 判断mark是否为可偏向状态 2.2.3 判断mark中JavaThread的状态 2.2.4 通过CAS原子指令 2.2.5 如果执行CAS失败 2.3 偏向锁的撤销 2.4 轻量级锁

  • Java synchronized底层实现原理以及锁优化

    Java synchronized底层实现原理以及锁优化

    目录 一.概述 synchronized简介 synchronized作用 synchronized的使用 二.实现原理 三.理解Java对象头 四.JVM对synchronized的锁优化 1.偏向锁 2.轻量级锁 3.重量级锁 4.自旋锁 5.锁消除 6.锁粗化 总结 一.概述 synchronized简介 在多线程并发编程中 synchronized 一直是元老级角色,很多人都会称呼它为重量级锁.但是,随着 Java SE 1.6 对synchronized 进行了各种优化之后,有些情况下

  • Java CAS底层实现原理实例详解

    Java CAS底层实现原理实例详解

    这篇文章主要介绍了Java CAS底层实现原理实例详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 一.CAS(compareAndSwap)的概念 CAS,全称Compare And Swap(比较与交换),解决多线程并行情况下使用锁造成性能损耗的一种机制. CAS(V, A, B),V为内存地址.A为预期原值,B为新值.如果内存地址的值与预期原值相匹配,那么将该位置值更新为新值.否则,说明已经被其他线程更新,处理器不做任何操作:无论哪种情

  • Java LinkedHashMap 底层实现原理分析

    在实现上,LinkedHashMap很多方法直接继承自HashMap,仅为维护双向链表覆写了部分方法.所以,要看懂 LinkedHashMap 的源码,需要先看懂 HashMap 的源码. 默认情况下,LinkedHashMap的迭代顺序是按照插入节点的顺序.也可以通过改变accessOrder参数的值,使得其遍历顺序按照访问顺序输出. 这里我们只讨论LinkedHashMap和HashMap的不同之处,LinkedHashMap的其他操作和特性具体请参考HashMap 我们先来看下两者的区别:

  • Java并发底层实现原理学习心得

    我们知道java实现的并发操作最后肯定是由我们的CPU完成的,中间经历了将java源码编译成.class文件,然后进行加载,然后虚拟机执行引擎进行执行,解释为汇编语言,然后转为操作系统指令,然后转为1,0,最后CPU进行识别执行. 提到java的并发,我们不由的就会想到java中常见的键字:volatile和synchronized,我们接下来就会从这两个关机字展开分析: volatile的底层实现原理 synchronized的实现原理和应用 volatile 说到volatile,在java

  • Java synchronized底层的实现原理

    Java synchronized底层的实现原理

    目录 监视器 底层实现 执行流程 总结 前言: 想了解 synchronized 是如何运行的?就要先搞清楚 synchronized 是如何实现? synchronized 同步锁是通过 JVM 内置的 Monitor 监视器实现的,而监视器又是依赖操作系统的互斥锁 Mutex 实现的,那接下来我们先来了解一下监视器. 监视器 监视器是一个概念或者说是一个机制,它用来保障在任何时候,只有一个线程能够执行指定区域的代码. 一个监视器像是一个建筑,建筑里有一个特殊的房间,这个房间同一时刻只能被一个

  • Java中synchronized实现原理详解

    记得刚刚开始学习Java的时候,一遇到多线程情况就是synchronized,相对于当时的我们来说synchronized是这么的神奇而又强大,那个时候我们赋予它一个名字"同步",也成为了我们解决多线程情况的百试不爽的良药.但是,随着我们学习的进行我们知道synchronized是一个重量级锁,相对于Lock,它会显得那么笨重,以至于我们认为它不是那么的高效而慢慢摒弃它. 诚然,随着Javs SE 1.6对synchronized进行的各种优化后,synchronized并不会显得那么

  • HashMap底层实现原理详解

    一.快速入门 示例:有一定基础的小伙伴们可以选择性的跳过该步骤 HashMap是Java程序员使用频率最高的用于映射键值对(key和value)处理的数据类型.随着JDK版本的跟新,JDK1.8对HashMap底层的实现进行了优化,列入引入红黑树的数据结构和扩容的优化等.本文结合JDK1.7和JDK1.8的区别,深入探讨HashMap的数据结构实现和功能原理. Java为数据结构中的映射定义了一个接口java.uti.Map,此接口主要有四个常用的实现类,分别是HashMap,LinkedHas

  • java synchronized 锁机制原理详解

    java synchronized 锁机制原理详解

    目录 前言: 1.synchronized 的作用: 2.synchronized 底层语义原理: 3. synchronized 的显式同步与隐式同步: 3.1.synchronized 代码块底层原理: 3.2.synchronized 方法底层原理: 4.JVM 对 synchronized 锁的优化: 4.1.锁升级:偏向锁->轻量级锁->自旋锁->重量级锁 4.1.1.synchronized 的 Mark word 标志位: 4.1.2.锁升级过程: 4.2.锁消除: 4.3

随机推荐