浅析轻量级锁

从轻量级锁 来看锁机制。


(目前 上的唯一一张图。= =。 因为有些东西没有图的话 是很难理清楚的 - - )

对象是否被某个线程的锁定的依据是, 对象头中记录的信息。 mark word 也叫对象标志词。对象头的信息内容是变化的,变化后是根据不同的锁标志位来描述对应的信息。

比如当对象头未锁定时候 存储的是对象哈希码和分代年龄。锁标志位为01 。而锁被占用时候存储的指向锁记录的指针以及锁标志位。
synchronized关键字在jdk版本更迭过程中不断被优化,对象的加锁过程不再是直接加最原始的重量级锁,而是先从偏向锁开始, 会升级为轻量级锁,最终变成重量级锁。  这里只总结一下轻量级锁的。

轻量级锁的加锁:
1. 当进入同步代码块的时候 如果该对象未被锁定,即标志位是01 。那么就会为当前线程的栈帧中建立一个  lock record 锁记录空间,其实就是markword的拷贝
2. 然后 执行cas操作,也就是将markword与栈帧中锁记录比对 如果比对成功则立刻把markword更新为指向锁记录的指针,这整个过程都是cas操作。 就表示该线程拥有了对象锁。将标志位转变为00
这里,假设多个线程同时这么做,由于是原子操作,那么肯定仅有一个线程能实现更新markword的值为指向锁记录指针的操作。其他线程cas 肯定就会失败, 因为 markword的值已经变了。
3. 如果更新操作失败了,会检查对象markword 是否指向当前线程的栈帧,如果是的话说明已经拥有了该锁,如果不是的话,则是其他线程 持有的该对象锁。

这个流程有个问题在于:
cas判断是强制先执行的,倾向于我能获取到该锁,而不是先检查对象头,看标志位先去判断锁是否被占用。

对于锁被占用,从代码角度就是 对象头的锁标志位的含义,至于被哪个线程占用,其他线程并不知道,就是指向锁记录的指针,只知道指针地址,但并不知道线程。

轻量级锁的解锁:
解锁就是加锁的反过程,使用cas 把锁记录原封不动拷贝回来。这时候会遇到一种情况。

升级重量级锁:
如果某个线程检测到锁被其他线程占用。就是一旦存在了竞争 那么这时候该锁就会升级成重量级锁,标志位改为10,对象头指针会变成 指向重量级锁监视器ObjectMonitor的指针。。
竞争必然要执行阻塞 那么未持有锁的线程就会进入阻塞状态。
锁升级后的锁释放 就要进行重量级锁的释放过程,这时候会进行额外操作,比如唤醒 被挂起的线程。

关于升级重量级锁后,原始的对象头分代年龄 hash 是否偏向的信息在哪里:
升级 heavyweight lock时,锁对象的markword存储的是对应ObjectMonitor的指针,但是依然持有 原始的对象头分代年龄 hash 是否偏向的信息。是通过ObjectMonitor类中有一个markOop类型的_head成员变量,而这个值,就是在锁膨胀的过程中,由on-stack lock record复制过来的。
其实查看Object类的hashCode 源码过程 就能体会到,对象在不同锁环境下,如何提取到hashCode。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值