Juc之Synchronized原理

飞雪之都

已于 2024-04-15 11:07:09 修改

阅读量842

点赞数 20

文章标签： jvm java spring spring boot

于 2024-04-15 10:47:10 首次发布

本文链接：https://blog.csdn.net/w15039208774/article/details/137763933

版权

本文详细介绍了Java对象头中的MarkWord字段及其状态，包括正常、偏向、轻量级锁定、重量级锁定和被GC标记。还涵盖了Synchronized锁优化、锁膨胀、自旋优化、偏向锁和锁消除等概念，展示了Java内存管理和多线程同步的深入解析。

摘要由CSDN通过智能技术生成

对象头的概念

在这里插入图片描述

如上图所示

每个JavaObject的字节码文件的头多少位称为Java的对象头，其中有32位

MarkWord字段最后两位位当前Object的状态，一共有5种状态，分别为Normal(正常状态),Biased(偏向状态),Lightweight Locked(轻量级锁状态),Heeavyweight Locked(重量级锁),(Marked for Gc)(标记被Gc垃圾回收期回收的状态)，
KlassWord是个指针指向该对象的类(type.class)对象，
hashcode为每个对象的hashcode，
age为每个对象的迭代年龄和jvm垃圾回收有关
ptr_to_heavyweight_monitor指向monitor对象的指针
ptr_to_lock_record 指向锁记录的指针

再来介绍操作系统Monitor(管程,监视器)

在这里插入图片描述

Owner（当前monitor的所有线程）
WaitSet (等待队列)
EntryList (阻塞队列)

Synchronized 锁优化

轻量级锁优化

在这里插入图片描述
加锁时优先加轻量级锁，当不满足需要时才升级为重量级锁

object第一行为markword字段，第二行为指向当前对象的类对象指针

此时会进行cas交换对象头的markword字段交换如果对象头种的状态为01（Normal）正常状态即可替换成功
在这里插入图片描述

如果当前锁记录已经为

（00)轻量级锁状态，此时有其他的线程竞争获取当前锁会进入锁膨胀，
如果此时当前线程重复对当前对象加锁（称为锁重入）会在栈帧中创建一个新的锁记录，锁记录的第一行为null

在这里插入图片描述

锁膨胀

在这里插入图片描述
将轻量级锁升级为重量级锁，当前对象以及被加了轻量级锁，此时再次被其他线程加轻量级锁，此时会升级为重量级锁。

此时进入锁膨胀过程，此时线程1会给object对象申请Monitor锁，让Object的MarkWord字段指向Monitor并改变MorkWord的状态为重量级锁状态（10），把Monitor的Owner的值设置为指向线程0，此时线程1会进入EntryList进行等待。
在这里插入图片描述

自旋优化

重量级锁竞争发生在已经申请了monitor对象后的线程竞争获得锁的状态（目的是为了避免线程的上下文切换）。
在这里插入图片描述
当monitor对象的owner里面已经有线程了，此时第二个线程过来不会立刻进入阻塞队列而是会重试判断当前锁释放已经释放称为自旋优化。

偏向锁优化

在这里插入图片描述

区别于之前的替换对象头中的MarkWord的锁的状态 此时只有在第一次将当前线程id替换到MarkWord字段，之后当前线程再次对当前对象加锁会判断当前线程id是否是自己，如果是不做操作当前对象依然归当前线程所有（线程id替换到markword的thread字段）

偏向状态

在这里插入图片描述

偏向锁撤销

在这里插入图片描述
刚开始加轻量级锁monitor对象markword头被替换为01状态的头部里面没有hashcode，如果调用hashcode方法线程会将栈帧里面原来的所记录替换回来，此时有hashcode可以用，轻量级锁记录有哈是从的，和重量级锁会在monitor中记录hashcode。
在这里插入图片描述
其他线程使用对该对象加锁，但是没有发生竞争，此时会撤销原来的偏向锁，升级为轻量级锁，第二个线程撤销锁的时候将轻量级锁撤销此时是无锁状态

刚开始30个对象偏向到线程1，之后这30个对象被线程2使用发生了偏向偏向锁撤销，会升级为轻量级锁，当同一线程的偏向对象被撤销的时候超过某一个阈值的时候会把剩下的对象全部偏向为线程2
在这里插入图片描述