Synchronized锁的升级

Java对象头

Synchronized用的锁是存在java对象头里的。如果对象是数组,虚拟机则使用三个字宽(Word)存储对象头,如果是非数组类型则用2个字宽存储,在32位虚拟机 1个字宽=4个字节

32位jvm java对象头的存储结构
锁状态 25bit 4bit 1bit 2bit
23bit 2bit   是否是偏向锁 锁标志位
无锁状态 对象的hashCode 对象分代年龄 0 01
偏向锁 线程ID EPOCH 对象分代年龄 1 01
轻量级锁 指向栈中锁记录的指针 00
重量级锁 指向互斥量(重量级锁)的指针 11
GC标记 01

偏向锁

偏向锁,当只有一个线程访问同步代码块并获取锁时,会在对象头和栈帧中锁记录里,存储锁偏向的线程ID,以后进入和退出时,不需要进行CAS操作来加锁或解锁。

偏向锁升级成轻量级锁

  • 线程A请求锁,发现对象的MarkWord是无锁状态,尝试CAS设置为偏向锁状态,并写入线程A的ID
  • 线程B也来请求锁,发现MarkWord已经是偏向锁状态,检查线程A是否存在
  • 如果此时线程A已经不存在
    • 将MarkWord设置为无锁状态(?)
    • 尝试CAS设置为偏向锁状态,并写入线程B的ID
  • 如果此时线程A存在
    • 暂停线程A
    • 在线程A的栈帧中创建锁记录(Lock Record)
    • 将MarkWord复制到该锁记录中
    • 尝试CAS更新MarkWord,指向该锁记录
    • 更新锁记录的Owner指向MarkWord
    • 设置MarkWord为轻量级锁状态
    • 此时MarkWord与DisplacedMarkWord存储了相同的内容
    • 继续执行线程A
    • 线程B自旋来获取锁

轻量级锁膨胀成重量级锁

  • 线程A栈帧的锁记录已经复制了MarkWord,并且MarkWord指向了该锁记录
  • 线程B来请求锁,发现MarkWord已经是轻量级锁,尝试自旋(?)
  • 线程B自旋之后还是获取不到锁
    • 更新MarkWord,指向重量级锁(Mutex Lock)
    • 设置MarkWord为重量级锁状态
    • 阻塞线程B
  • 线程A尝试CAS用DisplacedMarkWord替换当前的MarkWord,CAS失败
    • 释放锁
    • 唤醒阻塞的线程

 

锁的优缺点

Synchronized锁的升级

参考文献

java并发编程的艺术-方腾飞