Java并发之synchronized锁

最新推荐文章于 2024-08-12 00:31:20 发布
最新推荐文章于 2024-08-12 00:31:20 发布
阅读量251 收藏
点赞数
分类专栏： Java 并发编程 文章标签： 并发编程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/fd2025/article/details/119601128
版权

synchronized 内置锁是一种对象锁(锁的是对象而非引用)，作用粒度是对象，可以用来实现对临界资源的同步互斥访问，是可重入的。

锁对象

  1. 普通方法，锁的是当前实例对象
  2. 静态同步方法，锁的 是当前类的class对象
  3. 同步方法块，锁的是括号里的 对象

原理

synchronized是基于JVM内置锁实现，通过内部对象Monitor(监视器锁)实现，基于进入与退出Monitor对象实现方法与代码块同步，监视器锁的实现依赖底层操作系统的Mutex lock（互斥锁）实现，它是一个重量级锁性能较低。当然，JVM内置锁在1.5之后版本做了重大的优化，如锁粗化（Lock Coarsening）、锁消除（Lock Elimination）、轻量级锁（Lightweight Locking）、偏向锁（Biased Locking）、适应性自旋（Adaptive Spinning）等技术来减少锁操作的开销，，内置锁的并发性能已经基本与Lock持平。

synchronized关键字被编译成字节码后会被翻译成monitorenter 和 monitorexit 两条指令分别在同步块逻辑代码的起始位置与结束位置。

在这里插入图片描述
每个同步对象都有一个自己的Monitor(监视器锁)，加锁过程如下图所示：

在这里插入图片描述
Monitor监视器锁

任何一个对象都有一个Monitor与之关联，当且一个Monitor被持有后，它将处于锁定状态

Synchronized在JVM里的实现都是 基于进入和退出Monitor对象来实现方法同步和代码块同步，虽然具体实现细节不一样，但是都可以通过成对的MonitorEnter和MonitorExit指令来实现。

monitorenter
每个对象都是一个监视器锁（monitor）。当monitor被占用时就会处于锁定状态，线程执行monitorenter指令时尝试获取monitor的所有权，过程如下：

  1. 如果monitor的进入数为0，则该线程进入monitor，然后将进入数设置为1，该线程即为monitor的所有者
  2. 如果线程已经占有该monitor，只是重新进入，则进入monitor的进入数加1；
  3. 如果其他线程已经占用了monitor，则该线程进入阻塞状态，直到monitor的进入数为0，再重新尝试获取monitor的所有权；

monitorexit

执行monitorexit的线程必须是objectref所对应的monitor的所有者。指令执行时，monitor的进入数减1，如果减1后进入数为0，那线程退出monitor，不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个 monitor 的所有权。

monitorexit，指令出现了两次，第1次为同步正常退出释放锁；第2次为发生异步退出释放锁；

示例代码

public class SynchronizedMethod {
    public synchronized void method() {
        System.out.println("Hello World!");
    }
}

在这里插入图片描述
从编译 结果来看，方法的同步并没有通过monitorenter和monitorexit来完成，不过相对于普通方法，其常量池中多了ACC_SYNCHRONIZED标识符。JVM 就是根据该标识符来实现方法的同步的。

当方法调用时，调用指令将会检查方法的 ACC_SYNCHRONIZED 访问标志是否被设置，如果设置了，执行线程将先获取monitor，获取成功之后才能执行方法体，方法执行完后再释放monitor。在方法执行期间，其他任何线程都无法再获得同一个monitor对象

只是方法的同步是一种隐式的方式来实现，无需通过字节码来完成。两个指令的执行是JVM通过调用操作系统的互斥原语mutex来实现，被阻塞的线程会被挂起、等待重新调度，会导致“用户态和内核态”两个态之间来回切换，对性能有较大影响。

对象的内存布局

对象的内存布局 分为三块区域:

在这里插入图片描述

  1. 对象头(Header)

比如 hash码，对象所属的年代，对象锁，锁状态标志，偏向锁（线程）ID，偏向时间，数组长度（数组对象）等。Java对象头一般占有2个机器码（在32位虚拟机中，1个机器码等于4字节，也就是32bit，在64位虚拟机中，1个机器码是8个字节，也就是64bit），但是 如果对象是数组类型，则需要3个机器码，因为JVM虚拟机可以通过Java对象的元数据信息确定Java对象的大小，但是无法从数组的元数据来确认数组的大小，所以用一块来记录数组长度。

  1. 实例数据 (Instance Data)

存放类的属性数据信息，包括父类的属性信息；

  1. 对齐填充(Padding)

由于虚拟机要求 对象起始地址必须是8字节的整数倍。填充数据不是必须存在的，仅仅是为了字节对齐；

锁的膨胀升级过程

在这里插入图片描述
锁的状态总共有四种：无锁状态、偏向锁、轻量级锁和重量级锁

随着锁的竞争，锁可以从偏向锁升级到轻量级锁，再升级到重量级锁，但是锁的升级是单向的，也就是说只能从低到高升级，不会出现锁的降级。

从JDK1.6中默认是开启偏向锁和轻量级锁的，可以通过-XX:-UseBiasedLocking来禁用偏向锁

偏向锁

  • 偏向锁是Java 6之后加入的新锁，它是一种针对加锁操作的优化手段，经过研究发现，在大多数情况下，锁不仅不存在多线程竞争，而且总是由同一线程多次获得，因此为了减少同一线程获取锁(会涉及到一些CAS操作,耗时)的代价而引入偏向锁。偏向锁的核心思想是，如果一个线程获得了锁，那么锁就进入偏向模式，此时Mark Word 的结构也变为偏向锁结构，当这个线程再次请求锁时，无需再做任何同步操作，即获取锁的过程，这样就省去了大量有关锁申请的操作，从而也就提供程序的性能。
  • 所以，对于没有锁竞争的场合，偏向锁有很好的优化效果，毕竟极有可能连续多次是同一个线程申请相同的锁。但是对于锁竞争比较激烈的场合，偏向锁就失效了，因为这样场合极有可能每次申请锁的线程都是不相同的，因此这种场合下不应该使用偏向锁，否则会得不偿失，需要注意的是，偏向锁失败后，并不会立即膨胀为重量级锁，而是先升级为轻量级锁。下面我们接着了解轻量级锁。
  • 默认开启偏向锁开启偏向锁：-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0关闭偏向锁：-XX:-UseBiasedLocking

轻量级锁
倘若偏向锁失败，虚拟机并不会立即升级为重量级锁，它还会尝试使用一种称为轻量级锁的优化手段(1.6之后加入的)，此时Mark Word 的结构也变为轻量级锁的结构。轻量级锁能够提升程序性能的依据是“对绝大部分的锁，在整个同步周期内都不存在竞争”，注意这是经验数据。需要了解的是，轻量级锁所适应的场景是线程交替执行同步块的场合，如果存在同一时间访问同一锁的场合，就会导致轻量级锁膨胀为重量级锁。

自旋锁
轻量级锁失败后，虚拟机为了避免线程真实地在操作系统层面挂起，还会进行一项称为自旋锁的优化手段。这是基于在大多数情况下，线程持有锁的时间都不会太长，如果直接挂起操作系统层面的线程可能会得不偿失，毕竟操作系统实现线程之间的切换时需要从用户态转换到核心态，这个状态之间的转换需要相对比较长的时间，时间成本相对较高，因此自旋锁会假设在不久将来，当前的线程可以获得锁，因此虚拟机会让当前想要获取锁的线程做几个空循环(这也是称为自旋的原因)，一般不会太久，可能是50个循环或100循环，在经过若干次循环后，如果得到锁，就顺利进入临界区。如果还不能获得锁，那就会将线程在操作系统层面挂起，这就是自旋锁的优化方式，这种方式确实也是可以提升效率的。最后没办法也就只能升级为重量级锁了。

锁消除

  • 消除锁是虚拟机另外一种锁的优化，这种优化更彻底，Java虚拟机在JIT编译时(可以简单理解为当某段代码即将第一次被执行时进行编译，又称即时编译)，通过对运行上下文的扫描，去除不可能存在共享资源竞争的锁，通过这种方式消除没有必要的锁，可以节省毫无意义的请求锁时间，如下StringBuffer的append是一个同步方法，但是在add方法中的StringBuffer属于一个局部变量，并且不会被其他线程所使用，因此StringBuffer不可能存在共享资源竞争的情景，JVM会自动将其锁消除。锁消除的依据是逃逸分析的数据支持。

  • 锁消除，前提是java必须运行在server模式（server模式会比client模式作更多的优化），同时必须开启逃逸分析

  • :-XX:+DoEscapeAnalysis 开启逃逸分析-XX:+EliminateLocks 表示开启锁消除。

逃逸分析

使用逃逸分析，编译器可以对代码做如下优化：

一、同步省略。如果一个对象被发现只能从一个线程被访问到，那么对于这个对象的操作可以不考虑同步。

二、将堆分配转化为栈分配。如果一个对象在子程序中被分配，要使指向该对象的指针永远不会逃逸，对象可能是栈分配的候选，而不是堆分配。

三、分离对象或标量替换。有的对象可能不需要作为一个连续的内存结构存在也可以被访问到，那么对象的部分（或全部）可以不存储在内存，而是存储在CPU寄存器中。

wait notify

在这里插入图片描述
wait和notify 为什么需要在synchronized里面?

  • wait方法的语义有两个，一个是释放当前对象的锁，另一个是使得当前线程进入阻塞队列，而这些操作都和监视器是相关的，所以wait必须要获得一个监视器锁。
  • 而notify来说也 是一样的，它是唤醒一个线程，既然要去唤醒，首先得知道它在哪里？所以就必须要找到这个对象获取到这个对象的锁，然后到这个对象的等待队列中去唤醒一个线程。

对象头在JVM 源码中的定义,需要关心几个文件，oop.hpp/markOop.hpp

oop.hpp，每个 Java Object 在 JVM 内部都有一个 native 的 C++ 对象 oop/oopDesc 与之对应。先在oop.hpp中看oopDesc的定义

在这里插入图片描述
_mark 被声明在 oopDesc 类的顶部，所以这个 _mark 可以认为是一个 头部, 前面我们讲过头部保存了一些重要的状态和标识信息，在markOop.hpp文件中有一些注释说明markOop的内存布局.

在这里插入图片描述

半夏_2021
关注
专栏目录
【Java】synchronized的使用
L_MaFia的博客
05-27 777
文章目录synchronized锁定的资源锁定对象改变锁定对象为字符串常量减小锁的颗粒度脏读问题支持重入重入1重入2synchronized 与 异常处理synchronized的可见性问题原子性操作一道的面试题方式1:方式2:方式3: synchronized锁定的资源 synchronized修饰的是方法或者代码块来实现同步，但其实锁定的资源其实是对象。synchronized修饰于3种方式（静态方法、普通方法、方法块），其锁定的资源有2种（类对象、类的实例）加synchronized关键字之后不一定能
java 锁之synchronized
kupaott的博客
12-15 330
synchronized 互斥 可重入 案例 /** * 修饰非静态方式 */ public synchronized void synchronizedMethod(){ System.out.println("synchronized 非静态方法锁"); } /** * 对应指令码 */ public synchronized void synchronizedMethod(); descript
java synchronized关键字的用法以及锁的等级：方法锁、对象锁、类锁
forLove
09-21 2954
转载自：http://blog.csdn.net/le_le_name/article/details/52348314 java的内置锁：每个java对象都可以用做一个实现同步的锁，这些锁成为内置锁。线程进入同步代码块或方法的时候会自动获得该锁，在退出同步代码块或方法时会释放该锁。获得内置锁的唯一途径就是进入这个锁的保护的同步代码块或方法。   java内置锁是一个互斥锁，
并发锁机制之synchronized
SunAcument的博客
01-20 246
2022年1月17日15:50:38 synchronized 同步块是 Java 提供的一种原子性内置锁，Java 中的每个对象都可以把它当作一个同步锁来使用，这些 Java 内置的使用者看不到的锁被称为内置锁，也叫作监视器锁。 加锁方式有：锁类、示例锁 i++的问题 两个线程对初始值为 0 的静态变量一个做自增，一个做自减，各做 5000 次，结果是 0 吗？ 结果可能为正数、负数、零。因为Java对自增、自减的操作并不是原子性，多个资源对共享资源读写操作时，发生指令交错，就会出问题。这种多个
Java并发编程——Synchronized同步锁
Java是世界上最好的语言
11-06 494
原子性问题 在下面的案例中，演示了两个线程分别去去调用 demo.incr 方法来对 i 这个变量进行叠加，预期结果应该是20000，但是实际结果却是小于等于20000的值。 public class AutoDemo { int i = 0; // synchronized 排它锁 互斥锁 --- 同一时刻只能由一个线程执行 public synchronized void incr() { i++; } public static void
Java并发 synchronized锁住的内容解析
08-25
Java并发synchronized锁住的内容解析 Java并发synchronized锁住的内容解析是Java并发编程中的一种重要机制，用于解决多线程并发访问同一个资源时可能出现的线程安全问题。通过使用synchronized关键字，可以锁住当前...
解析Java编程之Synchronized锁住的对象
08-29
Java synchronized锁住的对象解析 在Java编程中，synchronized关键字是用于同步的关键字，它可以用于锁住一个对象，以实现线程同步。但是，在使用synchronized关键字时，需要了解锁住的到底是哪个对象，否则可能...
深入理解Java并发之synchronized实现原理.docx
06-27
总结来说，synchronized是Java并发编程中的核心关键字，它通过互斥访问、可见性和锁的多种优化策略，为开发者提供了一种有效管理线程安全的方法。理解和掌握synchronized的工作原理，对于编写高效、可靠的多线程代码...
Java 基础 之 Synchronized 锁升级
lt_xiaodou的博客
07-27 973
1Synchronized.加在对象上表示对这个对象加锁，当有线程进入函数后先获取对象的锁，如果获取到锁，进入同步块执行，获取失败，放入阻塞队列中。}}}2Synchronized.加在类的普通函数上表示对这个当前对象上加锁（对this加锁），}}3Synchronized.加在类的static函数上表示对这个类加锁(对class加锁)}}所谓自旋锁就是线程在获取锁的时候，如果锁被其他线程持有，则当前线程将循环等待，直到获取到锁。https。...
synchronized锁原理分析（一、从Java对象头看synchronized锁的状态）
12-21
《深入剖析synchronized锁原理——从Java对象头的角度》 synchronized关键字在Java中扮演着重要的角色，它是Java实现同步的基础，确保了多线程环境下的数据一致性。不同于基于JDK实现的Lock接口（如ReentrantLock）...
一个简单的java类，说明了锁的粒度
03-22
一个简单的java类，说明了锁的粒度 thread synchronized lock 粒度
并发编程（二）synchronized锁
CodingAnHour
07-15 274
前言 多线程编程中，有可能会出现多个线程同时访问同一个共享、可变资源的情况， 这个资源称之其为临界资源；这种资源可能是：对象、变量、文件等。 共享：资源可以由多个线程同时访问 可变：资源可以在其生命周期内被修改 由于线程执行的过程是不可控的，所以需要采用同步机制来协同对对象可变状态的访问 所有的并发模式在解决线程安全问题时，采用的方案都是序列化（有序）访问临界资源。即在同一时刻，只能有一个线程访问临界资源，也称作同步互斥访问。 当多个线程执行一个方法时，该方法内部的局部变量并不是临界资源，因为这些局部变
多线程高并发系列之synchronized锁
qq_16607641的博客
12-30 249
Synchronized是Java并发编程中最常用的用于保证线程安全的方式，其使用相对也比较简单，其原理也不难，我在这里做下总结： 当synchronized修饰在代码块的时候，通过查看编译后的代码得知，是通过指令monitorenter和monitorexit来完成的，进入则monitorenter+1，如果没有持有锁，则设置为1，如果持有锁，则加1。 当synchronized修饰在方法上时...
java中的锁：synchronized
qq_41674943的博客
12-10 308
java中的锁机制 synchronized Java对象头 在Hotspot虚拟机中，对象在内存中的布局分为三块区域：对象头、实例数据和对齐填充；Java对象头是实现synchronized的锁对象的基础，一般而言，synchronized使用的锁对象是存储在Java对象头里。 class oopDesc { friend class VMStructs; private: volatile markOop _mark;//理解为对象头 union _metadata {
【多线程与高并发（锁）】3、synchronized锁及其特性
syb18810107241的专栏
04-08 694
可见性：必须确保在锁被释放之前，对共享变量所做的修改，对于随后获得该锁的另一个线程是可见的（即在获得锁时应获得最新共享变量的值），否则另一个线程可能是在本地缓存的某个副本上继续操作从而引起不一致。互斥性：即在同一时间只允许一个线程持有某个对象锁，通过这种特性来实现多线程中的协调机制，这样在同一时间只有一个线程对需同步的代码块(复合操作)进行访问。互斥性我们也往往称为操作的原子性。synchronized 是 Java 中的关键字，是利用锁的机制来实现同步的。
Java锁-可重入锁
qq_33203784的博客
06-28 166
通俗来说：当线程请求一个由其它线程持有的对象锁时，该线程会阻塞，而当线程请求由自己持有的对象锁时，如果该锁是重入锁，请求就会成功，否则阻塞。 ReenTrantLock和synchronized 1、可重入性：两者都是可重入的 2、实现机制：synchronized关键字是基于jvm的，ReenTrantLock是基于jdk实现的。 3、性能：JDK5之后，synchronized引入了偏...
面试高并发编程——synchronized(加锁)
star_yang的博客
07-14 1184
并发——synchronized(加锁) 一、声明一个对象，专门用来管理锁 /** * synchronized关键字 * 对某个对象加锁 */ public class T { private int count = 10; private Object o = new Object();//声明一个对象，专门用来管理锁 public void m() {...
JAVA线程中synchronized的四种锁状态详解
最新发布
2302_79993788的博客
08-12 1335
当一个实例方法被声明为synchronize时，锁时当前实例对象（this）。这意味着同一时间只有一个线程可以执行该实例的所有同步实例方法，如果多个线程尝试访问同一个对象的同步实例方法，它们将会被序列化，一个接着一个执行。当一个静态方法被声明为synchronize时，锁时这个类的class类。这意味着同一时间只有一个县城可以执行该类的所有同步静态方法。这与实例方法同步不同，因为他锁定的是类本身而不是类的某个特定的实例。这里介绍一下“临界区”的概念。在上面的例子中，如果。
java锁synchronized学习（二）
somethingstill的博客
06-02 262
使用方式 1.修饰一个代码块，被修饰的代码块称为同步代码块，作用范围是{}里面的部分 2.修饰一个方法，被修饰的方法称为同步方法，作用范围是整个方法 3.修饰一个静态方法，作用范围是整个静态方法 4.修饰一个类，作用范围是synchronized后面括起来的部分 使用 1.修饰代码块 public void method(){ synchronized(this){ //this表示锁是当前对象，锁可以自定义，但要实现同步必须是同一把锁 } } 2.修饰方法 public sync
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

半夏_2021

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值