了解Synchronized以及它的底层实现原理

在网上搜索了这么多内容,发现基本上都是一个抄一个。。。
我也抄了一部分,用于自己学习记录吧。
---------------------------------------华丽的分割线-------------------------------------------------
在 Hotspot 虚拟机中,对象在内存中的存储布局,可以分为三个区域:对象头(Header)、实例数据(Instance Data)、对齐填充(Padding)。
实例数据:
就是对象中真实存在的数据(变量等等)

对齐填充:
计算机中存储的位数必须是2的整次幂,对齐填充主要就是填补对象头和实例数据相加和,不够2的整次幂补位用的。(我不知道记错了没,忘了。。。哈哈)

对象头:(对象头的格式自己上网搜吧,我就不太写了,主要写那三种锁)
对象头主要包括两部分数据:Mark Word(标记字段)、Klass Pointer(类型指针)。 Klass Point:是对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例; Mark Word:用于存储对象自身的运行时数据,如哈希码(HashCode)、GC分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等等,它是实现轻量级锁和偏向锁的关键.

偏向锁和轻量级锁都属于乐观锁,偏向锁指的是没有其他线程竞争资源,只有一个线程在执行同步块代码,这个时候在会使用CAS操作

https://www.jianshu.com/p/e97164049cf7(CAS操作介绍,我认为写的可以)

在对象头部信息中写进拿到锁的那个线程ID/锁级别等信息,偏向锁的使用场景主要是为了提高执行性能,因为在大多数情况下并不存在频繁的多个线程对于同一个代码块进行竞争,那么就没必要同一个线程执行还执行拿锁/释放锁这种耗时操作

而当第一个拿到偏向锁的线程执行时,遇到有新的进程在询问统一代码块的锁时就有可能会升级成轻量级锁,为什么说是有可能呢?因为偏向锁不会自动释放,此时第2个线程询问锁时会出现2种情况:

第一个线程已经执行完毕,那么CAS操作将Mark Word设置为Null,第二个线程获取偏向锁,此时不会升级成轻量级锁
第一个线程未执行完毕,此时第二个线程获取锁失败,那么会进行自旋,当自旋达到一定次数后,就会升级成轻量级锁

同理,当需要获取锁的线程越来越多并且自旋达到一定数目后,就会升级成重量级锁,重量级锁也就是悲观锁,完全阻塞状态,必须等待线程执行完成释放锁之后排队线程才能挨个执行,这个就是锁的升级过程。

在这里插入图片描述

其实在JDK1.5以前的早期版本,还没有那么细粒度完善的锁机制,基本上就一个synchronized打遍天下,但是从JDK1.6之后Oracle对Java锁进行了很大的改动,也就出现了偏向锁/轻量级锁/重量级锁机制和锁的升级机制。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值