Java Synchronized字节码层分析体验

 更新时间:2023年04月10日 09:27:19   作者:程序员李哈  
这篇文章主要介绍了Java Synchronized字节码层分析,synchronized关键字解决了多个线程之间的资源同步性,synchronized关键字保证了它修饰的方法或者代码块任意时刻只有一个线程在访问

Synchronized是什么

各位Java读者,对于synchronized关键字并不陌生,在各种中间件源码或者JDK源码中都能看到,对于不熟悉synchronized的读者只知道在多线程中需要使用到synchronized关键字,知道synchronized能够保证线程安全,那么本篇文章带领各位读者对synchronized有一个认识。

  • 称之为:互斥锁(同时只能一个线程执行,其他的线程将会等待)
  • 又称之为:悲观锁(同时只能一个线程执行,其他的线程将会等待)
  • JVM虚拟机帮你实现,开发者只需要使用synchronized关键字即可。
  • 使用时需要用一个对象当锁的互斥量
  • 能够保证一段代码(临界区)的原子性+可见性。
  • 等等......

从字节码层面解析Synchronized关键字

从案例入手,最合适不过。

class Demo1{
    // 互斥对象
    static Object object = new Object();
    // 竞争条件
    static int cout = 0;
    public static void main(String[] args) {
        // 互斥
        synchronized(object){
            // 以下是临界区
            cout++;
            System.out.println("synchronized");
        }
    }
}

仅仅从Java代码,我们并不能看出啥东西,而Java程序编译后是字节码文件,所以我们解析一遍字节码

Constant pool:
   #1 = Methodref          #7.#26         // java/lang/Object."<init>":()V
   #2 = Fieldref           #8.#27         // Demo1.object:Ljava/lang/Object;
   #3 = Fieldref           #8.#28         // Demo1.cout:I
   #4 = Fieldref           #29.#30        // java/lang/System.out:Ljava/io/PrintStream;
   #5 = String             #31            // synchronized
   #6 = Methodref          #32.#33        // java/io/PrintStream.println:(Ljava/lang/String;)V
   #7 = Class              #34            // java/lang/Object
   #8 = Class              #35            // Demo1
   #9 = Utf8               object
  #10 = Utf8               Ljava/lang/Object;
  #11 = Utf8               cout
  #12 = Utf8               I
  #13 = Utf8               <init>
  #14 = Utf8               ()V
  #15 = Utf8               Code
  #16 = Utf8               LineNumberTable
  #17 = Utf8               main
  #18 = Utf8               ([Ljava/lang/String;)V
  #19 = Utf8               StackMapTable
  #20 = Class              #36            // "[Ljava/lang/String;"
  #21 = Class              #34            // java/lang/Object
  #22 = Class              #37            // java/lang/Throwable
  #23 = Utf8               <clinit>
  #24 = Utf8               SourceFile
  #25 = Utf8               Demo1.java
  #26 = NameAndType        #13:#14        // "<init>":()V
  #27 = NameAndType        #9:#10         // object:Ljava/lang/Object;
  #28 = NameAndType        #11:#12        // cout:I
  #29 = Class              #38            // java/lang/System
  #30 = NameAndType        #39:#40        // out:Ljava/io/PrintStream;
  #31 = Utf8               synchronized
  #32 = Class              #41            // java/io/PrintStream
  #33 = NameAndType        #42:#43        // println:(Ljava/lang/String;)V
  #34 = Utf8               java/lang/Object
  #35 = Utf8               Demo1
  #36 = Utf8               [Ljava/lang/String;
  #37 = Utf8               java/lang/Throwable
  #38 = Utf8               java/lang/System
  #39 = Utf8               out
  #40 = Utf8               Ljava/io/PrintStream;
  #41 = Utf8               java/io/PrintStream
  #42 = Utf8               println
  #43 = Utf8               (Ljava/lang/String;)V
         0: getstatic     #2        // 从2号常量池中拿到静态变量,压入到操作数栈中                  
         3: dup                     // 把操作数栈栈顶的对象赋值一份
         4: astore_1                // 将操作数栈的数据保存到1号局部变量表中,给释放锁使用
         5: monitorenter            // 互斥锁开启,也是synchronized的字节码层面实现
         6: getstatic     #3        // 从2号常量池中拿到静态变量,压入到操作数栈中
         9: iconst_1                // 将常量1压入到操作数栈中
        10: iadd                    // 消耗两个操作数栈的数据,相加,然后压入栈顶
        11: putstatic     #3        // 将操作数栈栈顶的变量赋值给3号常量池
        14: getstatic     #4        // 将4号常量池的对象压入操作数栈
        17: ldc           #5        // 解析5号常量池的符号,拿到字符串常量"synchronized"     
        19: invokevirtual #6        // 执行println函数,消耗2个操作数栈
        22: aload_1                 // 将1号局部变量表的数据压入操作数栈
        23: monitorexit             // 互斥锁的结束,也是synchronized的字节码层面实现
        24: goto          32        // 跳转到32行。
        27: astore_2                // 可能存在异常,但是要需要释放锁,所以把异常对象放入2号局部变量表
        28: aload_1                 // 把1号局部变量表数据压入操作数栈的栈顶,供monitorexit指令使用
        29: monitorexit             // 可能存在异常,但是要需要释放锁,不然死锁了。
        30: aload_2                 // 把异常对象从2号局部变量表中压入操作数栈的栈顶
        31: athrow                  // 存在异常抛出
        32: return                  // 函数返回

以上是字节码全解,其实很简单,最终Synchronized关键字解析成字节为monitorenter和monitorexit字节码指令,然后每次执行这2个字节码指令前,把互斥对象压入操作数栈供给monitorenter和monitorexit字节码指令使用。

所以下一篇就是去Hotspot源码中解析monitorenter和monitorexit字节码指令的详细流程。

Synchronized与ReentrantLock的区别

这是一道很常见的面试题,面试被问到的频率非常高

相似点:

都是互斥锁的实现

不同点:

  • Synchronized基于JVM内部实现,ReentrantLock基于Java层面实现(但是ReentrantLock核心代码还是调用C++代码)。
  • Synchronized在1.6以后经过优化,存在几个不同级别的锁,根据线程竞争的力度提升锁的力度(俗称锁升级),更多的适合场景,而ReentrantLock在锁力度选择上略显死板。
  • ReentrantLock虽然在锁力度选择上略显死板,但是可以选择公平和非公平,而Synchronized只能是非公平锁
  • ReentrantLock的条件等待队列,可创建多个,高定制化。而Synchronized底层只有一个队列。
  • ReentrantLock需要用户手动开启锁,手动释放锁。而Synchronized关键字底层通过字节码自动实现

到此这篇关于Java Synchronized字节码层分析体验的文章就介绍到这了,更多相关Java Synchronized内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • 使用jenkins+maven+git发布jar包过程详解

    使用jenkins+maven+git发布jar包过程详解

    这篇文章主要介绍了使用jenkins+maven+git发布jar包过程详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
    2020-07-07
  • 快速解决跨域请求问题:jsonp和CORS

    快速解决跨域请求问题:jsonp和CORS

    这篇文章主要介绍了快速解决跨域请求问题:jsonp和CORS,涉及jsonp和CORS的介绍,分享了前端 jQuery 写法,后端 SpringMVC 配置,后端非 SpringMVC 配置等相关内容,具有一定借鉴价值,需要的朋友可以参考下。
    2017-11-11
  • Eclipse中引入com.sun.image.codec.jpeg包报错的完美解决办法

    Eclipse中引入com.sun.image.codec.jpeg包报错的完美解决办法

    Java开发中对图片的操作需要引入 com.sun.image.codec.jpeg,但有时引入这个包会报错,利用下面的操作可以完成解决这个问题
    2018-02-02
  • java异步写日志到文件中实现代码

    java异步写日志到文件中实现代码

    这篇文章主要介绍了java异步写日志到文件中实现代码的相关资料,需要的朋友可以参考下
    2017-04-04
  • idea创建的idea项目时springframework出现红色的原因和解决方法

    idea创建的idea项目时springframework出现红色的原因和解决方法

    当使用 IntelliJ IDEA 创建 Spring Framework 项目时,springframework 出现红色可能是因为相关的 Spring Framework 依赖没有正确加载或项目的配置有问题,本文给大家介绍了一些常见的原因和解决方法,需要的朋友可以参考下
    2023-09-09
  • dubbo服务引用之创建Invoker流程详解

    dubbo服务引用之创建Invoker流程详解

    这篇文章主要为大家介绍了dubbo服务引用二之创建Invoker流程详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-08-08
  • 完美解决gson将Integer默认转换成Double的问题

    完美解决gson将Integer默认转换成Double的问题

    下面小编就为大家带来一篇完美解决gson将Integer默认转换成Double的问题。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-03-03
  • SpringBoot整合FastDFS方法过程详解

    SpringBoot整合FastDFS方法过程详解

    这篇文章主要介绍了SpringBoot整合FastDFS方法过程详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
    2020-05-05
  • java性能优化之分代回收

    java性能优化之分代回收

    这篇文章主要介绍了java性能优化之分代回收,文章围绕主题展开详细的内容介绍,具有一定的参考价值,需要的小伙伴可以参考一下
    2022-07-07
  • java 基础之final、finally和finalize的区别

    java 基础之final、finally和finalize的区别

    这篇文章主要介绍了java 基础之final、finally和finalize的区别的相关资料,需要的朋友可以参考下
    2017-05-05

最新评论