Java中的Synchronized原理是什么

王林

发布时间：2023-05-31 14:55:14

2071人浏览过

来源于亿速云

转载

源码级别剖析Synchronized

对象结构

synchronized是java中的隐式锁，它的获取锁和释放锁都是隐式的，完全交由jvm帮助我们操作，在了解synchronized关键字之前，首先要学习的知识点就是java的对象结构，因为synchronized锁就是存放在java对象中的，java对象结构如下图所示：

Java中的Synchronized原理是什么

可以清晰的看到Java对象由三部分组成，分别是对象头、实例数据、填充数据，我们的锁就存放在对象头中，接下来我们将对对象结构做一个简单的解析：

mark-down：对象标记字段占8个字节，用于存储有关锁的标记位等信息，从图中可以看出有哈希值、轻量级锁的标记位、偏向锁标记位等。
Klass Pointer：Class对象的类型指针，它就是指向当前对象属于哪个Class类的指针，jdk1.8默认开启压缩指针后占用4个字节，关闭压缩指针后占用8个字节。

立即学习“Java免费学习笔记（深入）”；
对象实际数据：这部分内容包括对象的所有成员变量，大小由各个成员变量决定，比如byte占用1个字节、int占用4个字节等。
对其填充：这部分内容仅仅只是做到空间补全，就是一个占位符的作用，因为HotSpot虚拟机的内存管理系统要求对象的起始地址必须是8字节的整数倍，因此如果出现对象实例没有对齐的话，就需要通过对其填充来补充。

在mark-down锁类型标记中，可以看到总共有五种类型，分别是无锁、偏向锁、轻量级锁、重量级锁、GC标记，所以如果只是使用2比特标记是无法完全被表示出来的，所以引入了一位偏向锁标记，也就是说001为无锁、101为偏向锁。

Monitor 对象

上面介绍了对象结构，可以看到在Mark-down中会存储不同的锁信息，当锁的状态为重量级锁（10）时，Mark-down中会存放一个指向Monitor对象的指针，这个Monitor对象也称为监视器锁。

synchronized的运行机制，就是JVM检测到共享对象存在不同的竞争情况的时候，会自动切换到适合的锁实现，这种切换就是锁的升级、降级。（很多地方都说锁只能升级，不能降级，其实这种说法是错误的，在《Java并发编程的艺术》书中说到，对于偏向锁来说，它可以进行降级到无锁状态，也叫做偏向锁的撤销）。

目前有三种不同的Monitor实现，分别是偏向锁、轻量级锁和重量级锁。当一个线程持有一个Monitor时，它就获得了锁。

Java中的Monitor是基于C++的ObjectMonitor实现的，它的主要成员包括：

_owner：指向持有ObjectMonitor对象的线程
_WaitSet：存放处于wait状态的线程队列，即调用wait()方法的线程
_EntryList：存放处于等待锁Block状态的线程队列
_count：约为_WaitSet+_EntryList的节点数之和
_cxq：多个线程争抢锁，会先存入这个单向链表
_recursions：记录重入次数
_object：存储的Monitor对象

获取Monitor对象的线程进入_owner区的时候，_count+1，如果线程调用了wait()方法，那么会释放Monitor对象（释放锁），_owner恢复为空同时_count-1。此时该线程进入_WaitSet队列中，等待被唤醒。

家电小商城网站源码1.0

家电公司网站源码是一个以米拓为核心进行开发的家电商城网站模板，程序采用metinfo5.3.9 UTF8进行编码，软件包含完整栏目与数据。安装方法：解压上传到空间，访问域名进行安装，安装好后，到后台-安全与效率-数据备份还原，恢复好数据后到设置-基本信息和外观-电脑把网站名称什么的改为自己的即可。默认后台账号：admin 密码：132456注意：如本地测试中127.0.0.1无法正常使用，请换成l

下载

从上述的描述可以看出，synchronized关键字获取锁的关键在于每个对象的对象头中，这也就能解释了为什么synchronized()括号里存放任何对象都能获得锁的特征。

Synchronized特征

原子性

原子性，就是说一个操作要么完成，要么不完成，不存在完成一半的情况，也就是说这个操作是不可中断的。

synchronized可以保证同一时间内只有一个线程拿到锁，进入到代码块去执行代码，这样说如果不能理解，那么就想象下面的一个场景，有一个厕所只有一个坑位，并且厕所还上锁了，就是为了防止多人一起上厕所的不文明现象，每个人上厕所都必须要去厕所管理员处缴费，缴费后才能拿到锁再去上厕所，上完厕所再把要是还给厕所管理员，synchronized就是厕所管理员，保证一次只能有一个人拿到锁，并且每个人用完厕所之后都必须要归还钥匙。

接下来看到下面一个同步加方法：

public static void add() {
    synchronized (Demo.class) {
        counter++;
    }
}

将其进行反编译后查看代码：

javap -v -p Demo

public static void add();
    descriptor: ()V
    flags: ACC_PUBLIC, ACC_STATIC , ACC_SYNCHRONIZED
    Code:
      stack=2, locals=2, args_size=0
         0: ldc           #12                 // class
         2: dup
         3: astore_0
         4: monitorenter
         5: getstatic     #10                 // Field counter:I
         8: iconst_1
         9: iadd
        10: putstatic     #10                 // Field counter:I
        13: aload_0
        14: monitorexit
        15: goto          23
        18: astore_1
        19: aload_0
        20: monitorexit
        21: aload_1
        22: athrow
        23: return
      Exception table:

可以看到有两个指令明显和monitor有关：

monitorenter：在判断拥有同步标识 ACC_SYNCHRONIZED 抢先进入此方法的线程会优先拥有 Monitor 的 owner ，此时计数器 +1
monitorexit：当执行完退出后，计数器 -1，归 0 后被其他进入的线程获得

可见性

可见性指的是当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他的线程能够立马感知，能看到修改后的值。线程的可见性与JMM密切相关。在接下来的文章中，我们将探讨如何使用volatile关键字来实现可见性

而Synchronized拥有可见性，因为它加锁和释放锁都有如下语义：

线程加锁前，必须清空工作内存中共享变量的值，从而从主内存中读取最新的共享变量的值。
线程释放锁时，必须把共享变量的值刷新到主内存中。
synchronized的可见性依赖于操作系统内核互斥锁实现，相当于JVM中的lock，unlock，退出代码块时需要刷新共享变量到主内存中，这一点和volatile关键字不一样，volatile关键字的可见性是依赖于内存屏障（也叫内存栅栏）来实现的。