锁的粗化和细化

2022-05-06 15:35:38 浏览数 (2)

首先看下结构

Mark Word结构

标志位

无锁标志为01。轻量级所标志位00。重量级锁10

锁粗化

轻量级锁指向当前程序调用栈帧中的lock record锁记录空间 。

当锁的对象没有被锁过。

流程

第一次在当前线程的栈帧中创建一个空间lock record用来记录mark word对象头并通过cas操作(01旧值 00新值)如果cas操作成功表示还是无锁状态并且将对象的mark对象头指向线程中的lockrecord空间,如果操作失败则说明已经是轻量级锁了。

当操作失败时会进行检查对象的markword对象头是否指向的是当前线程栈帧中的lockrecord

1.如果指向当前线程栈帧中的lockrecord那么说明该线程已经获取过该锁那么直接进入同步块中执行操作即可;

2.如果对象的对象头指向的不是当前线程的lockrecord那么说明是两个线程在抢占那么就将锁的标志位设置为10表示进入重量级锁。

此时Mark Word中存储的就是指向重量级锁(互斥量)的指针,并且进入等待获取锁状态也就是阻塞(进行优化后的操作是进行cas自旋不是直接调用系统内核线程的等待阻塞 )

轻量级锁是通过cas进行加锁(粗化)操作,那么我也是通过cas进行释放锁(细化)的操作。

锁细化

释放锁步骤:

1.首先通过cas进行操作(判断旧值是不是还是轻量级锁)

2.如果还是轻量级锁,那么没有存在其他线程的竞争(可进行细化操作了),直接将对象头的数据和lockrecord中的值进行替换; 如果替换失败,则说明有其他线程竞争过(还有线程在竞争锁不能够细化)。

3.如果可以替换,那么在替换完成之后要唤醒等待获取锁的线程。

0 人点赞