在多线程并发编程中synchronized一直是元老级角色,很多人都会称呼它为重量级锁。但是,随着Java SE1.6对synchronized进行了各种优化之后,有些情况下它就并不是那么重了。JavaSE1.6为了减少获得锁和锁释放带来的性能消耗而引入了偏向锁和轻量级锁。
首先我们来看下利用synchronized实现同步的基础。Java中的每个队形都可以作为锁。具体表现为以下三种形式:
- 对于普通方法,锁是当前实例对象
- 对于静态同步方法,锁是当前类的Class对象
- 对于同步方法块,锁是synchronized括号里配置的对象
当一个线程试图访问同步代码块时,它首先必须得到锁,退出或抛出异常时必须释放锁。那么锁到底存在哪里呢?锁里面会存储什么信息呢?
从JVM规范中可以看到synchronized在JVM里的是实现原理,JVM基于进入和退出Monitor对象来实现方法同步和代码块同步,但两者的实现细节不一样。代码块同步是使用monitorenter和monitorexit指令实现的。
monitorenter指令在编译后插入到同步代码块的开始位置,而monitorexit是插入到方法结束处和异常处,JVM要保证每个monitorenter必须要有对应的monitorexit与之匹配。任何对象都有一个monitor与之关联,当且一个monitor被持有后,它将处于锁定状态。线程执行到monitorenter命令时,将会尝试获取对象所对应的monitor的所有权,即尝试获取对象的锁。
1.Java对象头
synchronized用的锁是存在Java对象头里的。如果对象是数组类型,则虚拟机用三个字宽来存储对象头,如果对象时非数组类型,则用两个字宽存储对象头。在32位虚拟机中,1字宽等于4字节,即32bit。
长度 | 内容 | 说明 |
---|---|---|
32/64bit | Mark Word | 存储对象的hashCode或锁信息等 |
32/64bit | Class Metadata Address | 存储到对象类型数据的指针 |
32/32bit | Array length | 数组的长度(如果当前对象是数组) |
Java对象头里的Mark Word里默认存储对象的HashCode、分代年龄和锁标位。32位JVM的Mark Word的默认存储结构如下表:
锁状态 | 25bit | 4bit | 1bit是否是偏向锁 | 2bit锁标志位 |
---|---|---|---|---|
无锁状态 | 对象的hashCode | 对象的分代年龄 | 0 | 01 |
在运行期间,Mark Word里存储的数据会随着锁标志位的变化而变化。Mark Word可能变化为存储以下四种数据:
在64位虚拟机下,Mark Word是64bit大小的,其存储结构为:
将上面两个表整合一下
我们可以提取一下最后3个bit代表的数值
二进制数值 | 十进制数值 | 锁状态 | 其余部分储存信息 |
---|---|---|---|