synchronized 原理 - 字节码分析、对象内存结构、锁升级过程、Monitor
本文分析的问题:
synchronized 字节码文件分析之 monitorenter、monitorexit 指令
为什么任何一个 Java 对象都可以成为一把锁?
对象的内存结构
锁升级过程
Monitor 是什么、源码查看
synchronized 是基于 monitor 实现的,线程在获取锁的时候,实际上是获取了一个 monitor 对象,然后用它来进行加锁的。
字节码分析
synchronized 的 3 种使用方式
作用于实例方法,对对象加锁
作用于静态方法,对类加锁
作用于代码块,对 () 里的对象加锁
先说结论:通过 monitorenter、monitorexit 指令来做
synchronized 关键字底层原理属于 JVM 层面的东西。
代码块
monitorenter、monitorexit 指令来做
代码:
编译后使用 javap -v xxx.class
命令查看:
![](https://static001.geekbang.org/infoq/a8/a876faab3204997f685db9f889913e92.png)
一般情况下就是 1 个 monitorenter 对应 2 个 monitorexit
正常处理正常释放时有一个 monitorexit,考虑到有异常时,锁应该也要被释放,所以也会有一个 monitorexit
极端情况下:如果方法里抛出异常了,就只会有一个 monitorexit 指令
包含一个 monitorenter 指令以及两个 monitorexit 指令,这是为了保证锁在同步代码块正常执行以及出现异常的这两种情况下都能被正确释放
异常情况下:只有一个 monitorexit 指令
![](https://static001.geekbang.org/infoq/9a/9aef7b812a75d104e54ee75640883e1e.png)
实例方法
ACC_SYNCHRONIZED 这个标识来做
代码:
结果:在方法下没有那两个指令,取而代之的是 ACC_SYNCHRONIZED 这个标识。该标识指明了该方法是一个同步方法。
JVM 通过该 ACC_SYNCHRONIZED 标识来辨别一个方法是否是一个同步方法,从而执行相应的同步调用
![](https://static001.geekbang.org/infoq/fa/faa579192b5ab9ccb1f6c81d2f16bfa0.png)
静态方法
ACC_SYNCHRONIZED 这个标识来做
代码:
结果:可以看到还是通过 ACC_SYNCHRONIZED 这个标识来做。
ACC_STATIC 这个标识是用来区分实例方法和静态方法的,就算不加 synchronized 也会有。
![](https://static001.geekbang.org/infoq/e8/e8ce39b2b6d5c4d957302d47fc3949b7.png)
对象内存结构
为了可以更加直观的看到对象结构,我们可以借助 openjdk 提供的 JOL 工具进行分析。
JOL 分析工具
JOL(Java 对象布局)用于分析对象在 JVM 的大小和分布
官网:https://openjdk.org/projects/code-tools/jol/
对象内存结构
可以看到总共分为三部分:对象头、实例数据、对齐填充
![](https://static001.geekbang.org/infoq/9d/9db21379ce4ae8e97c2d97242d6b4e48.png)
对象头
在 64 位系统中,Mark Word 占了 8 个字节,类型指针占了 8 个字节,一共是 16 个字节
Mark Word
MarkWord 中存了一些信息:hashCode 的值、gc 相关、锁相关
![](https://static001.geekbang.org/infoq/b5/b56cc6ad1a9d842121de2953a0795e5b.png)
具体结构
![](https://static001.geekbang.org/infoq/67/675c03ad26523a54b36b2325b544117b.png)
unused:未使用的位置
hashcode:hashcode 的值
age:GC 年龄(4 位最大只能表示 15)
biased_lock:是否是偏向锁(0 不是;1 是)
thread:线程 id
epoch:偏向时间戳
ptr_to_lock_record:存储指向栈帧中的锁记录(LockRecord)的指针
ptr_to_heavyweight_monitor:指向重量级锁的指针(也就是指向 ObjectMonitor 的指针)
锁标志位:01 代表有锁(通过偏向锁标志位 1/0 表示是否是偏向锁);00 代表轻量级锁;10 代表重量级锁
markOop.hpp 中的 C++ 源码查看:
源码地址:https://hg.openjdk.org/jdk8/jdk8/hotspot/file/87ee5ee27509/src/share/vm/runtime/objectMonitor.hpp
![](https://static001.geekbang.org/infoq/40/4087cc70b6551dde7e354bc2ec7e8a3a.png)
Class Pointer
对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象哪个类的实例
我们怎么知道创建的这个对象是什么类型的,就通过这个指针指向方法区的类元信息(kclass pointer)。
可能会进行指针压缩。
实例数据
存放类的属性(Field)数据信息,包括父类的属性信息
对齐填充
虚拟机要求对象起始地址必须是 8 字节的整数倍,所以填充数据不是必须存在的,仅仅是为了字节对齐,这部分内存按 8 字节补充对齐
比如:
只有一个类的话,类里面是空的那就是 16 字节 = MarkWord + 类型指针(不考虑指针压缩的情况下)。这时不需要对齐填充来对齐,因为 16 字节本身就是 8 的整数倍。
但假如此时有了属性,int = 4 字节,boolean = 1 字节,加起来 = 16+4+1 = 21 字节,这时就不是 8 的整数 倍的,这时就需要对齐填充来补齐了
使用 JOL 工具证明
简单使用:
验证对象内存结构
代码:
结果:
![](https://static001.geekbang.org/infoq/14/1405a3c27cb8f5f45d415f87dae933b2.png)
Object 对象,总共占 16 字节
对象头占 12 个字节,其中:mark-word 占 8 字节、Klass Point 占 4 字节
最后 4 字节,用于数据填充对齐
指针压缩
不是说类型指针是 8 字节吗,到这里怎么变为 4 字节了?
那是因为被指针压缩了(开启后性能会更好)
命令查看: java -XX:+PrintCommandLineFlags -version
![](https://static001.geekbang.org/infoq/c3/c3edc058bf6f3ea7cc9ce29ea39e1c8e.png)
这个参数就是压缩指针的参数:-XX:+UseCompressedClassPointers +代表开启,- 代表关闭
关闭后,运行后,再次查看:-XX:-UseCompressedClassPointers
![](https://static001.geekbang.org/infoq/b8/b8b4b0dfe8f37835f09606ff13234571.png)
这次就没有对齐填充了。
锁升级过程
无锁 ---> 偏向锁 ---> 轻量级锁 -> 重量级锁
出现的背景
之前 synchronized 是重量级锁,依靠 Monitor 机制实现。
Monitor 是依赖于底层的操作系统的 Mutex Lock(互斥锁)来实现的线程同步。这种机制需要用户态和内核态之间来切换。但 Mutex 是系统方法,由于权限的关系,应用程序调用系统方法时需要切换到内核态来执行。
所以是为了减少用户态和内核态之间的切换。因为这两种状态之间的切换的开销比较高。
先来一个 狗 的类,用来创建对象
无锁
创建一个对象,没有一个线程来占有它,这时就是无锁
无锁时 Mark Word 的结构:
测试代码:
对照上面的结构来看:从后往前按照 Mark Word 结构来看。每 8bit 从前往后看。
![](https://static001.geekbang.org/infoq/a7/a79ebc9d976fa100a392c1f0a8346db3.png)
偏向锁
当第一个线程来获取到它时(没有竞争/一次就竞争成功),这时它就是偏向锁,只偏向于这一个线程(CAS)
偏向锁、轻量级锁的 Mark Word 的结构:
测试代码:
结果:
![](https://static001.geekbang.org/infoq/50/503137689f6d1a36dcbccdec3fcb93a8.png)
这里的锁为什么直接是轻量级锁呢?
因为偏向锁默认是延迟开启的,所以进入了轻量级锁状态。
使用 java -XX:+PrintFlagsInitial | grep BiasedLock 命令在 Git Bash 下执行:
![](https://static001.geekbang.org/infoq/57/57a9e3d117dac71d51d7ee95a30d9043.png)
所以需要添加参数 -XX:BiasedLockingStartupDelay=0,让其在程序启动时立刻启动。或者让程序睡了 5 秒后再执行。
添加参数/睡 5 秒后执行,发现偏向锁出现了:
![](https://static001.geekbang.org/infoq/fe/fe1b62194e541bf120751f3bd2395102.png)
1 代表是偏向锁,01 代表有锁
轻量级锁
其实就是自旋锁(底层是 CAS)
其它线程来竞争锁,并且竞争失败,会到一个全局安全点来把这个锁升级为轻量级锁
轻量级锁的 Mark Word 结构:
测试代码:通过调用 hashCode() 来得到轻量级锁(因为偏向锁里没有地方存储 hashCode 的值)
结果:
![](https://static001.geekbang.org/infoq/24/24c4d262141ca6b17d17ec5d9958fae8.png)
自旋次数
JDK6 之前
默认启用,默认情况下自旋的次数是 10 次,或者自旋线程数超过 CPU 核数一半
JDK6 之后 自适应自旋锁
线程如果自旋成功了,那下次自旋的最大次数会增加,因为 JVM 认为既然上次成功了,那么这一次也很大概率会成功。
反之,如果很少会自旋成功,那么下次会减少自旋的次数其至不自旋,避免 CPU 空转。
自适应意味着自旋的次数不是固定不变的,而是根据:同一个锁上一次自旋的时间。拥有锁线程的状态来决定。
重量级锁
自旋到一定次数后,还没获取到锁,会将其升级为重量级锁。那就是阻塞了,用户态和内核态之间的切换
基于 Monitor 的实现,monitorenter 和 monitorexit 指令来实现
重量级锁的 Mark Word 的结构:
测试代码:
结果:
![](https://static001.geekbang.org/infoq/c5/c591a60a34afbf10189cd48d24f2d1cf.png)
锁升级后,hash 值去哪?
无锁:就存在 Mark Word 里
偏向锁:没有地方存 hash 值了
如果在 synchronized 前调用了 hashCOde() ,此时偏向锁会升级为轻量级锁
如果在 synchronized 中调用了 hashCode() ,此时偏向锁会升级为重量级锁
轻量级锁:栈帧中的锁记录(Lock Record)里
重量级锁:Mark Word 保存重量级锁的指针,底层实现 ObjectMonitor 类里有字段记录加锁状态的 Mark Word 信息
必须说的 monitor
在 HotSpot 虚拟机中,monitor 是由 C++ 中的 ObjectMonitor 实现。
什么是 Monitor
Monitor 是管程,是同步监视器,是一种同步机制。为了保证数据的安全性
Monitor 有什么用
提供了一种互斥机制。限制同一时刻只能有一个线程进入 Monitor 的临界区,保护数据安全。
用于保护共享数据,避免多线程并发访问导致数据不一致。
synchronized 的重量级锁就是用 Monitor 来实现的
Monitor 的源码分析
线程在获取锁的时候,实际上是获取了一个 monitor 对象
每个 Java 对象都自带了一个 monitor 对象,所以每个 Java 对象都可以成为锁。
源码:Java 中的每个对象都继承自 Object 类,而每个 Java 对象在 JVM 内部都有一个 C++ 对象 oopDesc 与其对应,而对应的 oopDesc 内有一个属性是 markOopDesc 对象(这个对象就是 Java 里的 Mark Word),这个 markOopDesc 内有一个 monitor() 方法返回了 ObjectMonitor 对象(hotspot 中,这个对象实现了 monitor )
oopDesc
这个类是每个 Java 对象的基类。每个 Java 对象在虚拟机内部都会继承这个 C++ 对象。
![](https://static001.geekbang.org/infoq/58/58fe61d02fc286692f9683e0e9fb4647.png)
源码地址:https://hg.openjdk.org/jdk8/jdk8/hotspot/file/87ee5ee27509/src/share/vm/oops/oop.hpp
markOopDesc
这个类也是 oopDesc 的子类。这个类就是 Mark Word 对象头。
里面有一个 monitor() 方法返回了 ObjectMonitor 对象。
![](https://static001.geekbang.org/infoq/5c/5c9526ddcac68db997ac1be4ea954f86.png)
monitor():
![](https://static001.geekbang.org/infoq/14/1488564f84876756aa60e36a5d11e51d.png)
源码地址:https://hg.openjdk.org/jdk8/jdk8/hotspot/file/87ee5ee27509/src/share/vm/oops/markOop.hpp
ObjectMonitor
在 hotspot 虚拟机中,ObjectMonitor 是 Monitor 的实现。
![](https://static001.geekbang.org/infoq/54/543b4c8fd9845bc8d85507d76ff0f70f.png)
源码地址:https://hg.openjdk.org/jdk8/jdk8/hotspot/file/87ee5ee27509/src/share/vm/runtime/objectMonitor.hpp
为什么任何一个 Java 对象都可以成为一把锁
synchronized 是基于 monitor 实现的,线程在获取锁的时候,实际上是获取了一个 monitor 对象。而 Java 中的每个对象都继承自 Object 类,虚拟机源码中 oopDesc 是每个 Java 对象的顶层父类,这个父类内有个属性是 markOopDesc 对象,也就是对象头。这个对象头是存储锁的地方,里面有一个 ObjectMonitor 。而 monitor 的实现就是 ObjectMonitor 对象监视器。
每一个被锁住的对象又都会和 Monitor 关联起来,通过对象头里的指针。
参考资料
大部分参考:
https://www.bilibili.com/video/BV1ar4y1x727/
Mark Word 代码块里的结构参考视频的笔记(图为自画):
https://www.bilibili.com/video/BV16J411h7Rd
少部分参考:
https://www.cnblogs.com/wuzhenzhao/p/10250801.html
https://segmentfault.com/a/1190000037645482
https://www.cnblogs.com/mic112/p/16388456.html
oopDesc、markOopDesc 和 Java 对象之间的关系参考:
https://www.cnblogs.com/mazhimazhi/p/13289686.html
https://blog.csdn.net/qq_31865983/article/details/99173570
为什么每一个 Java 对象都可以成为一把锁?
https://blog.csdn.net/Leon_Jinhai_Sun/article/details/111416247
openjdk 源码位置参考:里面也有 ObjectMonitor 原理
https://www.cnblogs.com/webor2006/p/11442551.html
版权声明: 本文为 InfoQ 作者【荔枝】的原创文章。
原文链接:【http://xie.infoq.cn/article/6eed332501464224665accb78】。文章转载请联系作者。
评论