阿里面试官:你好,谈谈对Synchronized的理解?(一),2024年最新java面试手册 pdf

先自我介绍一下,小编浙江大学毕业,去过华为、字节跳动等大厂,目前阿里P7

深知大多数程序员,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年最新Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。
img
img
img
img
img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上Java开发知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新

如果你需要这些资料,可以添加V获取:vip1024b (备注Java)
img

正文

public class SyncExample {

private static final Object LOCK = new Object();

private static int i = 1;

public synchronized static void increase1(){

i++;

}

public synchronized void increase2(){

i++;

}

public void increase3(){

synchronized (LOCK){

i++;

}

}

}

#increase1方法表示的是修饰静态方法;#increase2方法表示的是修饰实例方法;#increase1方法表示的是修饰代码块。

三、锁存储布局


synchronized始终与对象关联。如果方法是静态的,那么关联的对象就是类;如果该方法是非静态的,则关联的对象是实例。如果是代码块,那么就是指定的对象。很显然,锁是记录于对象中。那么问题来了,synchronized的锁具体指的是什么呢?简单理解锁就是一个共享的资源,记录了谁占有它,当前状态是什么等等。我们先来分析对象在内存中是如何存储的。

Hotspot JVM 中,Java Object对象在内存中存储中的存储布局分为三个区域,分别是对象头、示例数据、对象填充。如图所示,数组和对象的存储布局十分相似,只是对象的头部大于数组的长度,因为数组需要存储自身的长度,为4Byte。

从图上可以看出,对象头部包括两部分,分别是对象标记和类元信息(类型指针)。对象标记,也就是Markword存储对象的 hashCodeGC 信息和锁等信息。类元信息存储“类对象信息的指针”。在32位的 JVM 中,对象头占用8个byte,另外在64位的 JVM 占用16个字节。

如上图所示,这个是Markword类在32位的 JVM 的各种情况存储布局,Markword 里面存储的数据会随着锁标志位的变为而变化,大致存储的变化共分为五种情况。我们可以从图上看到从无锁->偏向锁->轻量级锁->重量级锁存储的变化过程,这个就是锁升级的过程。

那么问题来了,是不是所有的对象都能实现锁呢?答案是肯定的。

  • 首先我们对于Java有一个共有的认知,那就是所以的对象都派生自Object,每个Object在内存中存储都如我们图上所示的,都有对象头,对象头中有Markword对象标记。 需要注意的是,对象存储包括Markword对象标记的实现都是native的,都是C++语言实现的对象。

  • 线程在获取锁时,实际获取的是一个监视器(monitor)对象,这是一个同步对象,所有的Java Object都包含这个对象。同样的,这个对象也是native的。

四、锁升级


Java 1.6之前,synchronized是标准的重量级锁,多个线程竞争共享资源时,未竞争到资源的线程会一直处于阻塞状态,性能开销很大,同时对于重量级锁,对于加锁和释放锁也有很多的资源消耗。为了减少性能开销,提升效率,人们针对不同的加锁场景,细分了四种锁状态,包括无锁、偏向锁、轻量级锁,重量级锁,锁的状态会根据线程竞争资源的激烈程度从低到高不断升级。

4.1 偏向锁

很多时候,锁总是被同一线程多次获取,并没有线程竞争锁。对于这样的情况,偏向锁就很适用,那到底什么时候偏向锁呢?在第三章节,我们列出了在synchronized不同的锁状态下,Markword内存布局有很大的差异。

4.1.1 偏向锁获取

当一个线程去访问synchronized关键字修饰的代码块或方法时,会在Markword中存储当前线程的ID,当再有线程想尝试进入同步块时,会先通过CAS比较当前Markword存储的线程ID是否为尝试进入同步块的线程ID,如果相等,不需要再次获取锁了,可直接执行同步代码块;如果不相等,说明当前偏向锁是偏向于其它线程,需要撤销偏向锁,然后将锁升级成轻量级锁。

4.1.2 偏向锁撤销

撤销偏向锁并不是将锁真正的撤销,成为无锁的状态。对于偏向锁的撤销,对原持有的线程和锁本身有两种情况。

  • 如果原持有线程刚好执行完了,退出同步代码块,那么这个时候会把Markword保存的线程ID设置为空。

  • 如果原持有线程仍在同步代码块中执行,这个时候偏向锁会升级为轻量级锁,然后原有线程继续执行。

下面图演示在synchronized修饰的同步代码块下,线程T1和线程T2先后竞争锁资源的流程。

4.2 轻量级锁

上一小节说到了两个线程竞争锁,导致偏向锁的撤销,撤销过程中有一种常见的锁升级,即升级成轻量级锁。轻量级锁适用于两个线程竞争锁资源,并且同步代码块执行很快的场景。那在对象中的Markword存储布局有变化成什么呢?

4.2.1 轻量级升级过程

众所周知,在JVM中,栈是线程私有的。升级成轻量级锁的第一步是在栈的栈帧中搞事情。

  1. 栈帧新创建锁记录LockRecord,记录中包括displaced hdrowner

  2. 将锁对象头中的Markword内容复制到刚创建的栈帧中LockRecord

  3. 将锁记录LockRecord中的owner指向锁对象。

最后

经过日积月累, 以下是小编归纳整理的深入了解Java虚拟机文档,希望可以帮助大家过关斩将顺利通过面试。
由于整个文档比较全面,内容比较多,篇幅不允许,下面以截图方式展示 。







由于篇幅限制,文档的详解资料太全面,细节内容太多,所以只把部分知识点截图出来粗略的介绍,每个小节点里面都有更细化的内容!

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加V获取:vip1024b (备注Java)
img

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!
做到真正的技术提升。**

需要这份系统化的资料的朋友,可以添加V获取:vip1024b (备注Java)
[外链图片转存中…(img-TSyb4HbG-1713555467089)]

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

  • 10
    点赞
  • 9
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值