synchronized与 Java内置锁(未写完)

文章目录

  • 一、 synchronized 关键字
  • 二、Java对象结构
    • 1. 对象头
    • 2. 对象体
    • 3. 对齐字节
    • 4. 对象头中的字段长度
    • 5. Mark Word 的结构信息
    • 6. 使用 JOL 工具查看对象的布局
  • 三、Java 内置锁机制演进过程
    • 1. 无锁状态
    • 2. 偏向锁状态
    • 3. 轻量级锁状态
    • 4. 重量级锁状态

一、 synchronized 关键字

在Java中,synchronized关键字通过内置锁(也称为监视器锁或互斥锁)机制实现线程间的互斥访问。具体来说,它确保在同一时刻只有一个线程能够执行特定的同步代码块或方法。

  1. Java内置锁

每个对象都有一个与之关联的内置锁(monitor lock)。当一个线程进入synchronized方法或代码块时,它会尝试获取该对象的内置锁。如果成功获取到锁,则该线程可以继续执行;否则,线程将被阻塞并放入等待队列中,直到锁被释放。

  1. 锁的状态
  • 无锁状态:对象处于未锁定状态,任何线程都可以尝试获取该对象的锁。

  • 偏向锁状态:JVM优化的一种方式,在几乎没有竞争的情况下,锁会偏向于第一个获取它的线程,减少不必要的CAS操作。

  • 轻量级锁状态:当有多个线程尝试获取同一个锁但竞争不激烈时,JVM会使用CAS操作来避免重量级锁带来的开销。

  • 重量级锁状态:在高竞争情况下,锁会膨胀为重量级锁,涉及操作系统级别的线程挂起和恢复,带来较高的性能开销。

synchronized的使用方式有:

1. synchronized 修饰实例方法(非静态方法)

当一个实例方法被声明为synchronized时,它会锁定调用该方法的对象(即当前对象,this)。这意味着同一时间只能有一个线程执行这个实例方法。

public class SynchronizedExample {public synchronized void synchronizedInstanceMethod() {// 同步代码块System.out.println(Thread.currentThread().getName() + " is executing synchronized instance method.");try {Thread.sleep(1000); // 模拟工作负载} catch (InterruptedException e) {e.printStackTrace();}}
}

2. synchronized 修饰静态方法

与同步实例方法类似,但同步静态方法锁定的是类的Class对象,而不是某个特定的对象实例。这意味着对于整个类的所有实例,同一时间只能有一个线程执行该静态同步方法。

public class SynchronizedExample {public static synchronized void synchronizedStaticMethod() {// 同步代码块System.out.println(Thread.currentThread().getName() + " is executing synchronized static method.");try {Thread.sleep(1000); // 模拟工作负载} catch (InterruptedException e) {e.printStackTrace();}}
}

synchronizedStaticMethod方法是静态同步的,所以无论哪个实例调用了这个方法,都会锁定该类的Class对象。

3. synchronized 修饰代码块

有时你可能不想同步整个方法,而是只同步其中的一部分代码。这时可以使用同步代码块,它可以指定要锁定的对象。

public class SynchronizedExample {private final Object lock = new Object();public void someMethod() {synchronized(lock) {// 需要同步的代码块System.out.println(Thread.currentThread().getName() + " is executing synchronized block.");try {Thread.sleep(1000); // 模拟工作负载} catch (InterruptedException e) {e.printStackTrace();}}}
}

在这个例子中,我们定义了一个私有的lock对象,并在需要同步的代码块周围使用了synchronized(lock)。这种方式允许更细粒度地控制哪些代码需要同步,同时减少了不必要的同步开销。


二、Java对象结构

学习Java对象结构时,需要有 JVM的相关知识作为背景。

Java对象(Object实例)结构包括三部分:对象头对象体对齐字节

1. 对象头

对象头包括三个字段:
  • Mark Word(标记字):用于存储自身运行时的数据例,如GC标志位、哈希码、锁状态等信息。
  • Class Pointer(类对象指针):用于存放此对象的元数据(InstanceKlass)的地址。虚拟机通过此指针可以确定这个对象是哪个类的实例。
  • Array Length(数组长度):如果对象是一个Java数组,那么此字段必须有,用于记录数组长度的数据;如果对象不是一个Java数组,那么此字段不存在,所以这是一个可选字段。
    在这里插入图片描述

2. 对象体

对象体包含了对象的实例变量(成员变量),用于成员属性值,包括父类的成员属性值。这部分内存按4字节对齐。

3. 对齐字节

对齐字节也叫作填充对齐,其作用是用来保证Java对象在所占内存字节数为8的倍数(8N bytes)。

并不是必然存在的,也没有特别的含义,它仅仅起着占位符的作用。当对象实例数据部分没有对齐(8字节的整数倍)时,就需要通过对齐填充来补全。

HotSpot VM的内存管理要求对象起始地址必须是8字节的整数倍。对象头本身是8的倍数,当对象的实例变量数据不是8的倍数,需要填充数据来保证8字节的对齐。

4. 对象头中的字段长度

Mark WordClass PointerArray Length字段的长度都为JVM的一个Word(字)大小。

在32位JVM虚拟机中,字段长度都是是32位的;在64位JVM虚拟机中,字段长度都是64位的。

对于对象指针而言,如果JVM中对象数量过多,使用64位的指针将浪费大量内存。通过简单统计,64位的JVM将会比32位的JVM多耗费50%的内存。

为了节约内存可以使用选项+UseCompressedOops开启指针压缩。选项UseCompressedOops中的Oop部分为Ordinary object pointer(普通对象指针)的缩写。

如果开启UseCompressedOops选项,以下类型的指针将从64位压缩至32位:

  • Class对象的属性指针(即静态变量)。
  • Object对象的属性指针(即成员变量)。
  • 普通对象数组的元素指针。

当然,也不是所有的指针都会压缩,一些特殊类型的指针不会压缩,比如指向PermGen(永久代)的Class对象指针(JDK 8中指向元空间的Class对象指针)、本地变量、堆栈元素、入参、返回值和NULL指针等。

Mark Word的位长度不会受到OOP对象指针压缩选项的影响。

在堆内存小于32GB的情况下,64位虚拟机的UseCompressedOops选项是默认开启的,该选项表示开启Oop对象的指针压缩,会将原来64位的Oop对象指针压缩为32位。

  • 手动开启Oop对象指针压缩的Java指令为:java -XX:+UseCompressedOops mainclass
  • 手动关闭Oop对象指针压缩的Java指令为:java -XX:-UseCompressedOops mainclass

5. Mark Word 的结构信息

Java内置锁的涉及很多重要信息,这些都存放在对象结构中,并且存放于对象头的Mark Word字段中。Mark Word的位长度为JVM的一个Word大小,也就是说32位JVM的Mark Word为32位,4位JVM的Mark Word为64位。

Java内置锁的状态总共有4种,级别由低到高依次为:无锁偏向锁轻量级锁重量级锁

其实在JDK 1.6之前,Java内置锁还是一个重量级锁,是一个效率比较低下的锁。

在JDK 1.6之后,JVM为了提高锁的获取与释放效率,对synchronized的实现进行了优化,引入了偏向锁、轻量级锁的实现,从此以后Java内置锁的状态就有了4种(无锁偏向锁轻量级锁重量级锁),并且这4种状态会随着竞争的情况逐渐升级,而且是不可逆的过程,即不可降级,也就是说只能进行锁升级(从低级别到高级别)。

1. 不同锁状态下的 Mark Word 字段结构

Mark Word字段的结构与Java内置锁的状态强相关。为了让Mark Word字段存储更多的信息,JVM将Mark Word的最低两个位设置为Java内置锁状态位,不同锁状态下的32位Mark Word结构:

在这里插入图片描述

64位的Mark Word与32位的Mark Word结构相似:

在这里插入图片描述

2. 64 位 Mark Word 的构成

由于目前主流的JVM都是64位,使用64位的Mark Word,接下来对64位的Mark Word中各部分的内容做具体介绍。

  • lock:锁状态标记位,占两个二进制位,由于希望用尽可能少的二进制位表示尽可能多的信息,所以设置了lock标记。该标记的值不同,整个Mark Word表示的含义不同。
  • biased_lock:对象是否启用偏向锁标记,只占1个二进制位。为1时表示对象启用偏向锁,为0时表示对象没有偏向锁。

lockbiased_lock两个标记位组合在一起,共同表示 Object实例处于什么样的锁状态。二者组合的含义如下:
在这里插入图片描述

  • age:4位的Java对象分代年龄。在GC中,如果对象在Survivor区复制一次,年龄增加1。当对象达到设定的阈值时,将会晋升到老年代。默认情况下,并行GC的年龄阈值为15,并发GC的年龄阈值为6。由于age只有4位,因此最大值为15,这就是-XX:MaxTenuringThreshold选项最大值为15的原因。

  • identity_hashcode:31位的对象标识HashCode(哈希码)采用延迟加载技术,当调用Object.hashCode()方法或者System.identityHashCode()方法计算对象的HashCode后,其结果将被写到该对象头中。当对象被锁定时,该值会移动到Monitor(监视器)中。

  • thread:54位的线程ID值为持有偏向锁的线程ID。

  • epoch:偏向时间戳。

  • ptr_to_lock_record:占62位,在轻量级锁的状态下指向栈帧中锁记录的指针。

  • ptr_to_heavyweight_monitor:占62位,在重量级锁的状态下,指向对象监视器的指针。

32位的Mark Word与64位Mark Word结构相似,这里不再赘述。

6. 使用 JOL 工具查看对象的布局


三、Java 内置锁机制演进过程

在JDK 1.6版本之前,所有的Java内置锁都是重量级锁。重量级锁会造成CPU在用户态和核心态之间频繁切换,所以代价高、效率低。

JDK 1.6版本为了减少获得锁和释放锁所带来的性能消耗,引入了“偏向锁”和“轻量级锁”实现。所以,在JDK 1.6版本里内置锁一共有4种状态:无锁状态偏向锁状态轻量级锁状态重量级锁状态,这些状态随着竞争情况逐渐升级。内置锁可以升级但不能降级,意味着偏向锁升级成轻量级锁后不能降级成偏向锁。这种能升级却不能降级的策略,其目的是为了提高获得锁和释放锁的效率。

1. 无锁状态

当一个对象刚刚创建时,它处于无锁状态(也称为自由状态)。这意味着没有任何线程试图获取该对象的锁,因此可以认为它是自由访问的。偏向锁标识位是0、锁状态01。无锁状态下对象的Mark Word如下:
在这里插入图片描述

2. 偏向锁状态

偏向锁是JVM的一种优化技术,主要针对锁只会被单个线程持有的场景。它的核心思想是假设锁总是由同一个线程获得,从而避免每次进入同步块时都进行昂贵的原子操作(如CAS操作)。
【重点】

  • “偏向”:指的是内置锁会偏向于当前已经占有过自己的线程。
  • 无锁转变为偏向锁的过程:
    1. 无锁转向偏向锁 :当线程A第一次尝试获取内置锁时,如果此时对象处于无锁状态,并且没有其他线程竞争该锁,则JVM会将该对象的锁状态从无锁转变为偏向锁。在转变为偏向锁的过程中,JVM会在对象头中标记该锁为偏向锁,并记录下持有该锁的线程ID。
    2. 尝试获取偏向锁线程A再次尝试获取该内置锁时,可以直接进入,无需执行任何同步操作,因为系统“偏向”了这个线程。
    3. 撤销偏向锁:在线程 A第二次获取内置锁之前,线程 B 尝试获取该内置锁,那么当前的偏向锁会被撤销,转而升级为轻量级锁或者根据竞争情况进一步升级为重量级锁。
  • 原理:如果不存在线程竞争的一个线程获得了锁,那么锁就进入偏向状态,此时Mark Word的结构变为偏向锁结构,锁对象的锁标志位(lock)被改为01,偏向标志位(biased_lock)被改为1,然后线程的ID记录在锁对象的Mark Word中(使用CAS操作完成)。以后该线程获取锁的时候判断一下线程ID和标志位,就可以直接进入同步块,连CAS操作都不需要,这样就省去了大量有关锁申请的操作,从而也就提升了程序的性能。

偏向锁状态下对象的Mark Word具体如下:
在这里插入图片描述

3. 轻量级锁状态

  • 当锁处于偏向锁状态,但是锁又被另一个线程所企图抢占时,偏向锁就会升级为轻量级锁。企图抢占的线程会通过自旋的形式尝试获取锁,不会阻塞抢锁线程,以便提高性能。
  • 两个线程公平竞争,哪个线程先占有锁对象,锁对象的Mark Word就指向哪个线程的栈帧中的锁记录。

轻量级锁状态下对象的Mark Word如图所示:
在这里插入图片描述

自旋的基本思想是让一个线程不断地检查某个条件是否满足,而不是直接进入阻塞状态。

如果持有锁的线程能在很短时间内释放锁资源,那么那些等待竞争锁的线程就不需要做内核态和用户态之间的切换进入阻塞挂起状态,它们只需要不断地检查某个条件是否满足,等持有锁的线程释放锁后即可立即获取锁,这样就避免用户线程和内核切换的消耗。

但是,线程自旋是需要消耗 CPU的,如果一直获取不到锁,则线程也不能一直占用CPU自旋做无用功,所以需要设定一个自旋等待的最大时间。

轻量级锁主要有两种:普通自旋锁自适应自旋锁

普通自旋锁

所谓普通自旋锁,就是指当有线程来竞争锁时,抢锁线程会在原地循环等待,而不是被阻塞,直到那个占有锁的线程释放锁之后,这个抢锁线程才可以获得锁。

默认情况下,自旋的次数为10次,用户可以通过-XX:PreBlockSpin选项来进行更改。

自适应自旋锁

所谓自适应自旋锁,就是等待线程空循环的自旋次数并非是固定的,而是会动态地根据实际情况来改变自旋等待的次数,自旋次数由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定。

自适应自旋锁的大概原理是:

  • 如果抢锁线程在同一个锁对象上之前成功获得过锁,那么JVM就会认为这次自旋也很有可能再次成功,因此允许自旋等待持续相对更长的时间。

  • 如果对于某个锁,抢锁线程在很少成功获得过,那么JVM将可能减少自旋时间甚至省略自旋过程,以避免浪费处理器资源。

自适应自旋解决的是“锁竞争时间不确定”的问题。自适应自旋假定不同线程持有同一个锁对象的时间基本相当,竞争程度趋于稳定。总的思想是:根据上一次自旋的时间与结果调整下一次自旋的时间。

JDK 1.6的轻量级锁使用的是普通自旋锁,且需要使用-XX:+UseSpinning选项手工开启。

JDK 1.7后,轻量级锁使用自适应自旋锁,JVM启动时自动开启,且自旋时间由JVM自动控制。

4. 重量级锁状态

重量级锁会让其他申请的线程之间进入阻塞,性能降低。重量级锁也就叫同步锁,这个锁对象Mark Word再次发生变化,会指向一个监视器对象,该监视器对象用集合的形式来登记和管理排队的线程。重量级锁状态下对象的Mark Word具体

在JVM中,每个对象都关联一个监视器,这里的对象包含了Object实例和Class实例。监视器是一个同步工具,相当于一个许可证,拿到许可证的线程即可以进入临界区进行操作,没有拿到则需要阻塞等待。重量级锁通过监视器的方式保障了任何时间只允许一个线程通过受到监视器保护的临界区代码。

核心原理

JVM中每个对象都会有一个监视器,监视器和对象一起创建、销毁。监视器相当于一个用来监视这些线程进入的特殊房间,其义务是保证(同一时间)只有一个线程可以访问被保护的临界区代码块。

本质上,监视器是一种同步工具,也可以说是一种同步机制,主要特点是:

  • 同步。监视器所保护的临界区代码是互斥地执行的。一个监视器是一个运行许可,任一个线程进入临界区代码都需要获得这个许可,离开时把许可归还。

  • 协作。监视器提供Signal机制,允许正持有许可的线程暂时放弃许可进入阻塞等待状态,等待其他线程发送Signal去唤醒;其他拥有许可的线程可以发送Signal,唤醒正在阻塞等待的线程,让它可以重新获得许可并启动执行。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/36158.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【MySQL数据库】多表查询(笛卡尔积现象,联合查询、内连接、左外连接、右外连接、子查询)-通过练习快速掌握法

在DQL的基础查询中,我们已经学过了多表查询的一种:联合查询(union)。本文我们将系统的讲解多表查询。 笛卡尔积现象 首先,我们想要查询emp表和stu表两个表,按照我们之前的知识栈,我们直接使用…

网易云信架构升级实践,故障恢复时间缩至8秒

一、项目背景 网易云信是网易旗下集IM与音视频技术于一体的PaaS服务平台,为全球提供融合通信与视频的核心功能和组件,包括IM即时通讯、短信、信令等通信服务,以及RTC、直播、点播、互动直播、互动白板等音视频服务,此外&#xf…

[HelloCTF]PHPinclude-labs超详细WP-Level 1-FILE协议

源码分析 <?php include("get_flag.php");isset($_GET[wrappers]) ? include("file://".$_GET[wrappers]) : ;highlight_file(__FILE__); ?>第一句 include("get_flag.php");, 使代码包含了 get_flag.php 的内容 大概是生成 Flag 之类的…

MongoDB 可观测性最佳实践

MongoDB 介绍 MongoDB 是一个高性能、开源的 NoSQL 数据库&#xff0c;它采用灵活的文档数据模型&#xff0c;非常适合处理大规模的分布式数据。MongoDB 的文档存储方式使得数据结构可以随需求变化而变化&#xff0c;提供了极高的灵活性。它支持丰富的查询语言&#xff0c;允许…

4.angular 服务

服务是在controller里面引入的服务&#xff1a; 最好是内部服务在前面&#xff0c;自定义服务在后面 内部服务 $scope $scope.$watch(‘属性名’, function(newVal, oldVal) {}, true) true是深度监听,对象函数等$scope.$apply 触发页面更新,里面传入回调函数,比如说之前那个…

HarmonyOS NEXT开发进阶(十二):build-profile.json5 文件解析

文章目录 一、前言二、Hvigor脚本文件三、任务与任务依赖图四、多模块管理4.1 静态配置模块 五、分模块编译六、配置多目标产物七、配置APP多目标构建产物八、定义 product 中包含的 target九、拓展阅读 一、前言 编译构建工具DevEco Hvigor&#xff08;以下简称Hvigor&#x…

【强化学习基石】Deepseek V3技术报告中的GRPO算法是什么?

1. Deepseek V3技术报告中的GRPO算法是什么? GRPO(Generalized Relative Policy Optimization)是一种在强化学习领域用于策略优化的算法。它主要是在策略梯度方法的基础上进行改进,目的是更有效地优化策略网络,从而提高智能体在环境中的表现。 GRPO 的核心思想是通过相对…

VSCode C/C++ 开发环境完整配置及常见问题(自用)

这里主要记录了一些与配置相关的内容。由于网上教程众多&#xff0c;部分解决方法并不能完全契合我遇到的问题&#xff0c;因此我选择以自己偏好的方式&#xff0c;对 VSCode 进行完整的配置&#xff0c;并记录在使用过程中遇到的问题及解决方案。后续内容也会持续更新和完善。…

Billu_b0x靶机攻略

1&#xff0c;安装好靶机并打开&#xff0c;打开kali进行扫描得到靶机ip为192.168.50.138 2&#xff0c;访问靶机以及扫描出的目录 3&#xff0c;访问test.php发现file参数为空&#xff0c;尝试拼接其他路径来访问&#xff0c;发现可以file传参&#xff0c;利用插件进行post传参…

如何搭建一个安全经济适用的TRS交易平台?

TRS&#xff08;总收益互换&#xff09;一种多方参与的投资方式&#xff0c;也是绝对收益互换&#xff08;total return swap&#xff09;的一种形式。 它是一种衍生合约&#xff0c;是一种金融衍生品的合约&#xff0c;是指交易双方在协议期间将参照资产的总收益转移给信用保…

LeetCode 解题思路 16(Hot 100)

解题思路&#xff1a; 初始化辅助节点&#xff1a; dummy&#xff1a;哑节点。pre&#xff1a;当前链表的前一个节点。start&#xff1a;当前链表的第一个节点。end&#xff1a;当前链表的最后一个节点。nextStart&#xff1a;end.next&#xff0c;下组链表的第一个节点&…

数据结构——串、数组和广义表

串、数组和广义表 1. 串 1.1 串的定义 串(string)是由零个或多个字符组成的有限序列。一般记为 S a 1 a 2 . . . a n ( n ≥ 0 ) Sa_1a_2...a_n(n\geq0) Sa1​a2​...an​(n≥0) 其中&#xff0c;S是串名&#xff0c;单引号括起来的字符序列是串的值&#xff0c; a i a_i a…

LeetCode BFS层序遍历树

中等 103. 二叉树的锯齿形层序遍历 给你二叉树的根节点 root &#xff0c;返回其节点值的 锯齿形层序遍历 。&#xff08;即先从左往右&#xff0c;再从右往左进行下一层遍历&#xff0c;以此类推&#xff0c;层与层之间交替进行&#xff09;。 示例 1&#xff1a; 输入&#…

深度学习大模型补充知识点

文章目录 VIT用途处理方法与CNN区别 多模态LLM&#xff1a;大语言模型预训练指令微调强化学习 总结 VIT ViT&#xff08;Vision Transformer&#xff09; 首次将 Transformer架构成功应用于计算机视觉领域&#xff08;尤其是图像分类任务&#xff09;。传统视觉任务主要依赖卷…

RCore学习记录002

初次运行RCore和调试&#xff0c;这里使用的RCore代码是实验指导书的代码&#xff0c;而非RCore训练营的 讲两种方法&#xff0c;第一种是传统的gdb调试&#xff0c;在上一节中提到的riscv交叉编译工具链中的已经安装了riscv的gdb&#xff0c;另一种是基于CLion的可视化调试&a…

maven在idea上搭建

maven搭建 首先进入maven官网&#xff0c;去download下载欢迎使用 Apache Maven – Maven下载免安装版本&#xff0c;解压在任意目录下&#xff0c;命名别取中文名 配置环境变量 复制你刚刚maven解压的路径&#xff0c;我这里是D:\resource\apache-maven-3.8.8&#xff0c;之…

【sql靶场】第18-22关-htpp头部注入保姆级教程

目录 【sql靶场】第18-22关-htpp头部注入保姆级教程 1.回顾知识 1.http头部 2.报错注入 2.第十八关 1.尝试 2.爆出数据库名 3.爆出表名 4.爆出字段 5.爆出账号密码 3.第十九关 4.第二十关 5.第二十一关 6.第二十二关 【sql靶场】第18-22关-htpp头部注入保姆级教程…

K8S下nodelocaldns crash问题导致域名请求响应缓慢

前言 最近做项目&#xff0c;有业务出现偶发的部署导致响应很慢的情况&#xff0c;据了解&#xff0c;业务使用域名访问&#xff0c;相同的nginx代理&#xff0c;唯一的区别就是K8S重新部署了。那么问题大概率出现在容器平台&#xff0c;毕竟业务是重启几次正常&#xff0c;偶…

SpringBoot之如何集成SpringDoc最详细文档

文章目录 一、概念解释1、OpenAPI2、Swagger3、Springfox4、Springdoc5. 关系与区别 二、SpringDoc基本使用1、导包2、正常编写代码&#xff0c;不需要任何注解3、运行后访问下面的链接即可 三、SpringDoc进阶使用1、配置文档信息2、配置文档分组3、springdoc的配置参数**1. 基…

基于扣子(coze.cn)搭建一个古文化学习助手

highlight: a11y-dark 扣子Coze 是由字节跳动推出的一个AI聊天机器人和应用程序编辑开发平台&#xff0c;可以理解为字节跳动版的GPTs。 下面进行Coze的登录&#xff0c;初步使用&#xff0c;创建定制化的Bot&#xff08;聊天机器人&#xff09;&#xff0c;插件使用等操作。…