面试八股之线程篇2.2——并发锁——synchronized关键字的底层原理-进阶

Ethan Yankang

已于 2024-06-21 21:59:21 修改

阅读量1k

点赞数 32

分类专栏：面试 # 线程文章标签：面试职场和发展

于 2024-05-30 17:45:02 首次发布

本文链接：https://blog.csdn.net/m0_68657832/article/details/139330643

版权

面试同时被 2 个专栏收录

218 篇文章 9 订阅

订阅专栏

线程

54 篇文章 0 订阅

订阅专栏

🌈hello，你好鸭，我是Ethan，一名不断学习的码农，很高兴你能来阅读。

✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。
🏃人生之义，在于追求，不在成败，勤通大道。加油呀！

🔥个人主页：Ethan Yankang
🔥专栏：史上最强八股文||Java项目

🔥温馨提示：划到文末发现专栏彩蛋点击这里直接传送

🔥本篇概览：synchronized关键字的底层原理-进阶、对象的内存结构、MarkWord、重量级锁、偏向锁、轻量锁

2.2 synchronized关键字的底层原理-进阶

2.2 synchronized关键字的底层原理-进阶

Monitor实现的锁属于重量级锁，你了解过锁升级吗？

Monitor实现的锁属于重量级锁，使用操作系统的互斥量（Mutex）来实现线程阻塞和唤醒，里面涉及到了用户态和内核态的切换、进程的上下文切换，成本较高，性能比较低。
在JDK 1.6引入了两种新型锁机制：偏向锁和轻量级锁，它们的引入是为了解决在没有多线程竞争或基本没有竞争的场景下因使用传统锁机制带来的性能开销问题。

2.2.1 对象的内存结构

在HotSpot虚拟机中，对象在内存中存储的布局可分为3块区域：对象头（Header）、实例数据（存储对象的实际数据成员（即成员变量）的值。包括基本类型和引用类型。）和对齐填充。

对象头中包含两大块——MarkWord和Class pointer。

前者主要包含存储对象的标记信息（如哈希码、锁信息）、后者主要指向对象的类元数据。

我们需要重点分析 MarkWord

2.2.2 MarkWord

占四字节。

hashcode：25位的对象标识Hash码

age：对象分代年龄占4位

biased_lock：偏向锁标识，占1位，0表示没有开始偏向锁，1表示开启了偏向锁

thread：持有偏向锁的线程ID，占23位

epoch：偏向时间戳，占2位

ptr_to_lock_record：轻量级锁状态下，指向栈中锁记录的指针，占30位

ptr_to_heavyweight_monitor：重量级锁状态下，指向对象监视器Monitor的指针，占30位

我们可以通过lock的标识，来判断是哪一种锁的等级

后三位是001表示无锁

后三位是101表示偏向锁

后两位是00表示轻量级锁

后两位是10表示重量级锁

2.2.3 再说Monitor重量级锁

每个 Java 对象都关联一个 Monitor 对象，如果使用 synchronized 给对象上锁（重量级）之后，该对象头的Mark Word 中就被设置指向 Monitor 对象的指针。

简单说就是：每个对象的对象头都可以设置monoitor的指针，让对象与monitor产生关联

2.2.4 轻量级锁

在很多的情况下，在Java程序运行时，同步块中的代码都是不存在竞争的，不同的线程交替的执行同步块中的代码。这种情况下，用重量级锁是没必要的。因此JVM引入了轻量级锁的概念。

static final Object obj = new Object();

public static void method1() {
    synchronized (obj) {
        // 同步块 A
        method2();
    }
}

public static void method2() {
    synchronized (obj) {
        // 同步块 B
    }
}

加锁的流程

1.在线程栈中创建一个Lock Record，将其obj字段指向锁对象。

2.通过CAS指令将Lock Record的地址存储在对象头的mark word中（数据进行交换），如果对象处于无锁状态则修改成功，代表该线程获得了轻量级锁。

3.如果是当前线程已经持有该锁了，代表这是一次锁重入。设置Lock Record第一部分为null，起到了一个重入计数器的作用。

4.如果CAS修改失败，说明发生了竞争，需要膨胀为重量级锁。

解锁过程

1.遍历线程栈,找到所有obj字段等于当前锁对象的Lock Record。

2.如果Lock Record的Mark Word为null，代表这是一次重入，将obj设置为null后continue。

3.如果Lock Record的 Mark Word不为null，则利用CAS指令将对象头的mark word恢复成为无锁状态。如果失败则膨胀为重量级锁。

2.2.5 偏向锁

轻量级锁在没有竞争时（就自己这个线程），每次重入仍然需要执行 CAS 操作。

Java 6 中引入了偏向锁来做进一步优化：只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word 头，之后发现

这个线程 ID 是自己的就表示没有竞争，不用重新 CAS。以后只要不发生竞争，这个对象就归该线程所有

static final Object obj = new Object();

public static void m1() {
    synchronized (obj) {
        // 同步块 A
        m2();
    }
}

public static void m2() {
    synchronized (obj) {
        // 同步块 B
        m3();
    }
}

public static void m3() {
    synchronized (obj) {

    }
}

加锁的流程

1.在线程栈中创建一个Lock Record，将其obj字段指向锁对象。

2.通过CAS指令将Lock Record的线程id存储在对象头的mark word中，同时也设置偏向锁的标识为101，如果对象处于无锁状态则修改成功，代表该线程获得了偏向锁。

3.如果是当前线程已经持有该锁了，代表这是一次锁重入。设置Lock Record第一部分为null，起到了一个重入计数器的作用。与轻量级锁不同的时，这里不会再次进行cas操作，只是判断对象头中的线程的ID是否是自己，因为缺少了CAS操作，性能相对轻量级锁更好一些。

解锁流程参考轻量级锁

2.2.6 参考回答

Java中的synchronized有偏向锁、轻量级锁、重量级锁三种形式，分别对应了锁只被一个线程持有、不同线程交替持有锁、多线程竞争锁三种情况。

	描述
重量级锁	底层使用的Monitor实现，里面涉及到了用户态和内核态的切换、进程的上下文切换，成本较高，性能比较低。
轻量级锁	线程加锁的时间是错开的（也就是没有竞争），可以使用轻量级锁来优化。轻量级修改了对象头的锁标志，相对重量级锁性能提升很多。每次修改都是CAS操作，保证原子性
偏向锁	一段很长的时间内都只被一个线程使用锁，可以使用了偏向锁，在第一次获得锁时，会有一个CAS操作，之后该线程再获取锁，只需要判断mark word中是否是自己的线程id即可，而不是开销相对较大的CAS命令

一旦锁发生了竞争，都会升级为重量级锁

2.2.7 示例代码

public class LockExample {
    private final Object lock = new Object();

    public void biasedLocking() {
        synchronized (lock) {
            // 偏向锁示例代码
        }
    }

    public void lightweightLocking() {
        synchronized (lock) {
            // 轻量级锁示例代码
        }
    }

    public void heavyweightLocking() {
        synchronized (lock) {
            // 重量级锁示例代码
        }
    }
}

注意了重量级锁、轻量级锁、偏向锁，他们三者的示例代码一致，可称为synchronized系锁，也是隐式锁，由JVM根据运行的线程情况自动转化与选择以优化性能。这种机制使得Java程序在不同的并发场景下可以自动调整以获得最佳的性能表现。