搜索
写经验 领红包
 > 运动

轻量级锁有哪些(sychoized轻量级锁)

导语:浅谈轻量级锁

轻量级锁有哪些(synchronized轻量级锁)

流程讲解

当JVM关闭了偏向锁模式,对象在创建的时候,Mark Word中存储的是hash值,年代,是否偏向锁标志位为0,标志位是01。即一个无锁不可偏向状态。

轻量级锁逻辑:

1.当线程访问同步块,先判断锁状态标志位,如果是00,则说明是轻量级锁,JVM会先在当前线程栈帧中分配Lock Record空间;

2.将锁对象头中的Mark Word拷贝到当前线程的Lock Record中,称为Displaced Mark Word,然后使用CAS,将对象头中的Mark Word修改为指向当前线程栈中Lock Record的指针(如图)。如果成功,则获取轻量级锁,执行同步块中的代码,如果失败,则进行自旋竞争锁,自旋达到一定的次数如果依旧没有获取到锁,则升级为重量级锁(因为自旋会消耗CPU,为了避免无用的自旋,一旦锁升级为重量级锁,就不会恢复到轻量级锁,自旋的线程会被挂起阻塞住);

CAS操作之前堆栈与对象的状态

CAS操作之后堆栈与对象的状态

3.执行完同步代码块代码,退出同步代码块,使用CAS开始轻量级锁解锁,解锁的条件需要满足以下两个:

1)对象头Mark Word中锁记录指针是否依旧指向当前线程Lock Record

2)拷贝在当前线程Lock Record的Mark Word信息是否与对象头中的Mark Word一致

4.如果满足,则成功释放锁;

5.如果不满足,则释放锁,唤醒被挂起阻塞的线程,开始重量级锁的竞争。

注:当超过自旋阈值,竞争的线程就会把锁对象Mark Word指向重量级锁,导致Mark Word中的值发生了变化,当原持有轻量级锁的线程执行完毕,尝试通过CAS释放锁时,因为Mark Word已经指向重锁,不再是指向当前线程Lock Record的指针,于是解锁失败,这时原持有轻量级锁的线程就会知道锁已经升级为重量级锁。

偏向锁升级为轻量级锁:

1.先在原持有偏向锁的线程栈帧中分配Lock Record;

2.将对象头Mark Word拷贝到原持有偏向锁的线程Lock Record中,然后使用CAS,将对象头中的Mark Word修改为指向当前线程栈中Lock Record的指针。将原持有偏向锁的线程升级为持有偏向锁的线程;

3.唤醒线程,从安全点继续执行,执行完毕解锁。

轻量级锁的重入计数

我们看个demo,在该demo中重复3次获得锁,

假设锁的状态是轻量级锁,如图反应了Mark Word和线程栈中Lock Record的关系,右边线程栈中包含3个指向当前锁对象的Lock Record。其中栈中最高位的Lock Record为第一次获取锁时分配的,其中Displaced Mark word为锁对象加锁前的Mark Word,而之后的锁重入,则会在线程栈中分配一个Displaced Mark word为null的Lock Record,用来重入计数。

每次释放锁的时候则会删除对应的Lock Record。 这就是轻量级锁的实现逻辑,相对于偏向锁来说,逻辑会稍微简单一些。

如果我的文章对你有帮助,请轻轻点击关注。

你的关注就是我的动力

本文内容由小凡整理编辑!