Synchronized关键字的底层原理

Synchronized实现

Synchronized创建的时候一个互斥的对象锁,每次只有一个线程可以获取该锁。

其底层主要是基于Monitor实现的,在对象的对象头中存储了MarkWord存储的就是Monitor的地址。

 对象的内存结构

对象在内存中存储主要分为三个部分:对象头,实例数据,对齐填充。 

对象头:MarkWord用于存储锁的信息,Klass Word用于存储对象的类型。

  • 无锁状态:hashcode(25位)+ 对象分代年龄(4位,不是重点)+ 偏向锁标识(1位)+ 锁标识(2位)
  • 偏向锁:thread(23位,线程id)+ 偏向时间戳(2位,不是重点)+ 偏向锁标识(1位)+ 锁标识(2位)
  • 轻量级锁:对应线程的栈中指向锁记录的指针。(30位)
  • 重量级锁:对应monitor的地址。(30位)

实例数据:用于存储对象中成员变量的信息。 

对齐填充:不是重点,主要是为了保证长度是8的整数倍。

Monitor(重量级锁)

其中包括三个部分:waitSet,entryList,owner。

owner:存储当前获得锁的线程的id。

enrtyList:存储没有获取到锁的线程id的集合,这些线程处于堵塞状态。

waitList:存储处于等待的线程的集合,通常这些线程调用了wait方法。

当线程要获取锁的时候会先去owner判断是否有线程存在,如果没有的话,直接获取锁并将线程id写入owner,反之写入entryList。

轻量级锁

重量级锁主要使用在线程竞争的时候,且重量级锁涉及进程的上下文切换,效率比较低下,在没有线程竞争且不同线程交替执行的时候,推荐使用轻量级锁。

上锁

在线程栈中创建一个锁记录,锁记录中包含 锁记录地址和指向对象的指针两个部分。通过CAS指令将锁记录地址和MarkWord中的地址进行交换

1.如果对象处于无锁状态则说明获取锁成功,创建一个锁记录,交换markWord和锁记录的地址,且获取的是轻量级锁。(解锁就会删除锁记录)

2.如果对象已经有锁了,这此时就是锁的重入,会继续创建锁记录,且也会进行做CAS指令,但是

 记录锁的地址为null。起到锁重入计数效果(只要锁记录的地址为null ,就认为其为锁的重入)。

3.如果CAS指令失败了,则会直接使用重量级锁。

解锁

1.遍历线程栈,找到对象指针(对象锁的地址)指向锁对象的锁记录。(通过判断地址确定对应的锁记录)

2.如果锁记录中的MarkWord的值为null,说明这是一次锁重入操作,直接将锁记录中的指向对象的地址设置为null。

3.如果锁记录中的MarkWord(交换后的锁记录地址)的值不为null(不是锁重入),我们就通过CAS指令将锁对象中的MarkWord恢复成无锁状态。

偏向锁

类是轻量级锁,但是在做锁的重入的时候不会使用CAS指令,而是直接判断thread的id是否相同,相同就表示没有竞争。减少了CAS指令操作。适合使用在长时间只有一个线程使用锁

所有锁一但发生了冲突都会变成重量级锁。 

三种锁的使用场景

  • 10
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值