Java并发(二十)----synchronized原理进阶

1、小故事

故事角色

  • 老王 - JVM

  • 小南 - 线程

  • 小女 - 线程

  • 房间 - 对象

  • 房间门上 - 防盗锁 - Monitor-重量级锁

  • 房间门上 - 小南书包 - 轻量级锁

  • 房间门上 - 刻上小南大名 - 偏向锁 -对象专属于某个线程使用

  • 批量重刻名 - 一个类的偏向锁撤销到达 20 阈值 -批量重偏向

  • 不能刻名字 - 批量撤销该类对象的偏向锁，设置该类不可偏向

小南要使用房间保证计算不被其它人干扰（原子性），最初，他用的是防盗锁，当上下文切换时，锁住门。这样，即使他离开了，别人也进不了门，他的工作就是安全的。

但是，很多情况下没人跟他来竞争房间的使用权。小女是要用房间，但使用的时间上是错开的，小南白天用，小女晚上用。每次上锁太麻烦了，有没有更简单的办法呢？

小南和小女商量了一下，约定不锁门了，而是谁用房间，谁把自己的书包挂在门口，但他们的书包样式都一样，因此每次进门前得翻翻书包，看课本是谁的，如果是自己的，那么就可以进门，这样省的上锁解锁了。万一书包不是自己的，那么就在门外等，并通知对方下次用锁门的方式。

后来，小女回老家了，很长一段时间都不会用这个房间。小南每次还是挂书包，翻书包，虽然比锁门省事了，但仍然觉得麻烦。

于是，小南干脆在门上刻上了自己的名字：【小南专属房间，其它人勿用】，下次来用房间时，只要名字还在，那么说明没人打扰，还是可以安全地使用房间。如果这期间有其它人要用这个房间，那么由使用者将小南刻的名字擦掉，升级为挂书包的方式。

同学们都放假回老家了，小南就膨胀了，在 20 个房间刻上了自己的名字，想进哪个进哪个。后来他自己放假回老家了，这时小女回来了（她也要用这些房间），结果就是得一个个地擦掉小南刻的名字，升级为挂书包的方式。老王觉得这成本有点高，提出了一种批量重刻名的方法，他让小女不用挂书包了，可以直接在门上刻上自己的名字

后来，刻名的现象越来越频繁，老王受不了了：算了，这些房间都不能刻名了，只能挂书包----设置该类不可偏向

节码指令中有所体现

2、synchronized 原理进阶

2.1 轻量级锁

轻量级锁的使用场景：如果一个对象虽然有多线程要加锁，但加锁的时间是错开的（也就是没有竞争），那么可以使用轻量级锁来优化。

如果有竞争，轻量级锁会升级为重量级锁。

轻量级锁对使用者是透明的，即语法仍然是 synchronized

假设有两个方法同步块，利用同一个对象加锁

static final Object obj = new Object();
public static void method1() {
    synchronized( obj ) {
        // 同步块 A
        method2();
    }
}
public static void method2() {
    synchronized( obj ) {
        // 同步块 B
    }
}

  • 创建锁记录（Lock Record）对象，每个线程都的栈帧都会包含一个锁记录的结构，内部可以存储锁定对象的 Mark Word

  • 让锁记录中 Object reference 指向锁对象，并尝试用 cas（compare and swap，原子性） 替换 Object 的 Mark Word，将 Mark Word 的值存入锁记录

  • 如果 cas（compare and swap，原子性） 替换成功，对象头中存储了锁记录地址和状态 00，表示由该线程给对象加锁，这时图示如下

  • 如果 cas（compare and swap，原子性） 失败，有两种情况

    • 如果是其它线程已经持有了该 Object 的轻量级锁，这时表明有竞争，进入锁膨胀过程

    • 如果是自己执行了 synchronized 锁重入，那么再添加一条 Lock Record 作为重入的计数，如示例代码

  • 当退出 synchronized 代码块（解锁时）如果有取值为 null 的锁记录，表示有重入，这时重置锁记录，表示重入计数减一（锁重入的数量）

  • 当退出 synchronized 代码块（解锁时）锁记录的值不为 null，这时使用 cas（compare and swap，原子性） 将 Mark Word 的值恢复给对象头

    • 成功，则解锁成功

    • 失败，说明轻量级锁进行了锁膨胀或已经升级为重量级锁，进入重量级锁解锁流程

2.2 锁膨胀

如果在尝试加轻量级锁的过程中，CAS 操作无法成功，这时一种情况就是有其它线程为此对象加上了轻量级锁（有竞争），这时需要进行锁膨胀，将轻量级锁变为重量级锁。

static Object obj = new Object();
public static void method1() {
    synchronized( obj ) {
        // 同步块
    }
}

  • 当 Thread-1 进行轻量级加锁时，Thread-0 已经对该对象加了轻量级锁

  • 这时 Thread-1 加轻量级锁失败，进入锁膨胀流程

    • 即为 Object 对象申请 Monitor 锁，让 Object 指向重量级锁地址

    • 然后自己进入 Monitor 的 EntryList BLOCKED

  • 当 Thread-0 退出同步块解锁时，使用 cas 将 Mark Word 的值恢复给对象头，失败。这时会进入重量级解锁流程，即按照 Monitor 地址找到 Monitor 对象，设置 Owner 为 null，唤醒 EntryList 中 BLOCKED 线程

2.3 自旋优化

重量级锁竞争的时候，还可以使用自旋来进行优化，如果当前线程自旋成功（即这时候持锁线程已经退出了同步块，释放了锁），这时当前线程就可以避免阻塞。

自旋重试成功的情况

线程 1 （core 1 上） 对象 Mark 线程 2 （core 2 上）
- 10（重量锁） -
访问同步块，获取 monitor 10（重量锁）重量锁指针 -
成功（加锁） 10（重量锁）重量锁指针 -
执行同步块 10（重量锁）重量锁指针 -
执行同步块 10（重量锁）重量锁指针 访问同步块，获取 monitor
执行同步块 10（重量锁）重量锁指针 自旋重试
执行完毕 10（重量锁）重量锁指针 自旋重试
成功（解锁） 01（无锁） 自旋重试
- 10（重量锁）重量锁指针 成功（加锁）
- 10（重量锁）重量锁指针 执行同步块
- ... ...

线程2自旋重试3次成功加锁，这样就不会陷入阻塞。

自旋重试失败的情况

线程 1（core 1 上） 对象 Mark 线程 2（core 2 上）
- 10（重量锁） -
访问同步块，获取 monitor 10（重量锁）重量锁指针 -
成功（加锁） 10（重量锁）重量锁指针 -
执行同步块 10（重量锁）重量锁指针 -
执行同步块 10（重量锁）重量锁指针 访问同步块，获取 monitor
执行同步块 10（重量锁）重量锁指针 自旋重试
执行同步块 10（重量锁）重量锁指针 自旋重试
执行同步块 10（重量锁）重量锁指针 自旋重试
执行同步块 10（重量锁）重量锁指针 阻塞
- ... ...

  • 线程2一直处于自旋，最后处于阻塞状态。

  • 自旋会占用 CPU 时间，单核 CPU 自旋就是浪费，多核 CPU 自旋才能发挥优势。

  • 在 Java 6 之后自旋锁是自适应的，比如对象刚刚的一次自旋操作成功过，那么认为这次自旋成功的可能性会高，就多自旋几次；反之，就少自旋甚至不自旋，总之，比较智能。

  • Java 7 之后不能控制是否开启自旋功能

2.4 偏向锁

轻量级锁在没有竞争时（就自己这个线程），每次锁重入时仍然需要执行 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 ) {
        // 同步块 C
    }
}

2.4.1 偏向状态

回忆一下对象头格式

|--------------------------------------------------------------------|--------------------|
|                        Mark Word (64 bits)                         |       State        |
|--------------------------------------------------------------------|--------------------|
| unused:25 | hashcode:31 | unused:1 | age:4 | biased_lock:0 | 01    |       Normal       |  // 正常
|--------------------------------------------------------------------|--------------------|  // 偏向锁
| thread:54 | epoch:2     | unused:1 | age:4 | biased_lock:1 | 01    |       Biased       |
|--------------------------------------------------------------------|--------------------|
|             ptr_to_lock_record:62                          | 00    | Lightweight Locked |  // 轻量级
|--------------------------------------------------------------------|--------------------|  // 重量级
|             ptr_to_heavyweight_monitor:62                  | 10    | Heavyweight Locked |
|--------------------------------------------------------------------|--------------------|
|                                                            | 11    |    Marked for GC   |
|--------------------------------------------------------------------|--------------------|

一个对象创建时：

  • 如果开启了偏向锁（默认开启），那么对象创建后，markword 值为 0x05 即最后 3 位为 101，这时它的 thread、epoch、age 都为 0

  • 偏向锁是默认是延迟的，不会在程序启动时立即生效，可以sleep 4s后查看，如果想避免延迟，可以加 VM 参数 -XX:BiasedLockingStartupDelay=0 来禁用延迟

  • 如果没有开启偏向锁，那么对象创建后，markword 值为 0x01 即最后 3 位为 001，这时它的 hashcode、age 都为 0，第一次用到 hashcode 时才会赋值

1） 测试延迟特性
2） 测试偏向锁
class Dog {}

利用 jol 第三方工具来查看对象头信息

pom文件

        <dependency>
            <groupId>org.openjdk.jol</groupId>
            <artifactId>jol-core</artifactId>
            <version>0.10</version>
        </dependency>

代码（注意这一小节的代码了解一下即可，在本机是运行不成功的，注意看输出就行了）

// 添加虚拟机参数 -XX:BiasedLockingStartupDelay=0 
public static void main(String[] args) throws IOException {
    Dog d = new Dog();
    ClassLayout classLayout = ClassLayout.parseInstance(d);
​
    new Thread(() -> {
        log.debug("synchronized 前");
        System.out.println(classLayout.toPrintableSimple(true));
        synchronized (d) {
            log.debug("synchronized 中");
            System.out.println(classLayout.toPrintableSimple(true));
        }
        log.debug("synchronized 后");
        System.out.println(classLayout.toPrintableSimple(true));
    }, "t1").start();
​
}

输出

11:08:58.117 c.TestBiased [t1] - synchronized 前
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000101        //VM 参数 `-XX:BiasedLockingStartupDelay=0`后
11:08:58.121 c.TestBiased [t1] - synchronized 中
00000000 00000000 00000000 00000000 00011111 11101011 11010000 00000101         // 与上面输出的区别，根据对象头格式查看
11:08:58.121 c.TestBiased [t1] - synchronized 后
00000000 00000000 00000000 00000000 00011111 11101011 11010000 00000101         // 处于偏向锁，线程id不变，除非有新的竞争

注意

处于偏向锁的对象解锁后，线程 id 仍存储于对象头中

3）测试禁用

在上面测试代码运行时在添加 VM 参数 -XX:-UseBiasedLocking 禁用偏向锁

输出

11:13:10.018 c.TestBiased [t1] - synchronized 前
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001     // 三条日志后三位均不是101
11:13:10.021 c.TestBiased [t1] - synchronized 中
00000000 00000000 00000000 00000000 00100000 00010100 11110011 10001000     //  处于轻量级锁
11:13:10.021 c.TestBiased [t1] - synchronized 后
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001     // 恢复成正常状态

4) 测试 hashCode，添加VM 参数 -XX:BiasedLockingStartupDelay=0 来禁用延迟

  • 正常状态对象一开始是没有 hashCode 的，第一次调用才生成

  • 调用 hashCode 会导致偏向锁被禁用。因为处于偏向锁状态的话已经存储线程id，再去存储hashcode，空间不够，是存储不下的。所以这时候的状态会被改为正常状态。另外轻量级锁的hashcode存储在栈帧中的锁记录中，重量级锁的hashcode存储在monitor对象中，解锁时会还原。

2.4.2 撤销 - 调用对象 hashCode

调用了对象的 hashCode，但偏向锁的对象 MarkWord 中存储的是线程 id，如果调用 hashCode 会导致偏向锁被撤销

  • 轻量级锁会在锁记录中记录 hashCode

  • 重量级锁会在 Monitor 中记录 hashCode

在调用 hashCode 后使用偏向锁，记得去掉 -XX:-UseBiasedLocking

输出

11:22:10.386 c.TestBiased [main] - 调用 hashCode:1778535015
11:22:10.391 c.TestBiased [t1] - synchronized 前
00000000 00000000 00000000 01101010 00000010 01001010 01100111 00000001
11:22:10.393 c.TestBiased [t1] - synchronized 中
00000000 00000000 00000000 00000000 00100000 11000011 11110011 01101000
11:22:10.393 c.TestBiased [t1] - synchronized 后
00000000 00000000 00000000 01101010 00000010 01001010 01100111 00000001

2.4.3 撤销 - 其它线程使用对象

当有其它线程使用偏向锁对象时，会将偏向锁升级为轻量级锁

private static void test2() throws InterruptedException {
​
    Dog d = new Dog();
    Thread t1 = new Thread(() -> {
        synchronized (d) {
            log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
        // 锁住当前类对象
        synchronized (TestBiased.class) {
            TestBiased.class.notify();
        }
        // 如果不用 wait/notify 使用 join 必须打开下面的注释
        // 因为：t1 线程不能结束，否则底层线程可能被 jvm 重用作为 t2 线程，底层线程 id 是一样的
        /*try {
            System.in.read();
        } catch (IOException e) {
            e.printStackTrace();
        }*/
    }, "t1");
    t1.start();
​
​
    Thread t2 = new Thread(() -> {
        // 锁住当前类对象
        synchronized (TestBiased.class) {
            try {
                TestBiased.class.wait(); // 等待t1线程
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }
        log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
        synchronized (d) {
            log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
        log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
    }, "t2");
    t2.start();
}

输出

[t1] - 00000000 00000000 00000000 00000000 00011111 01000001 00010000 00000101  // 处于偏向锁    
[t2] - 00000000 00000000 00000000 00000000 00011111 01000001 00010000 00000101  // t2线程还未加锁和t1状态保持一致
[t2] - 00000000 00000000 00000000 00000000 00011111 10110101 11110000 01000000  //  处于轻量级锁
[t2] - 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001  //  解锁后处于不可偏向

2.4.4 撤销 - 调用 wait/notify

这种情况下也会撤销偏向锁。因为wait/notify只有重量级锁才有。会将偏向锁或者轻量级锁升级为重量级锁

public static void main(String[] args) throws InterruptedException {
    Dog d = new Dog();
​
    Thread t1 = new Thread(() -> {
        log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
        synchronized (d) {
            log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
            try {
                d.wait();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            log.debug(ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
    }, "t1");
    t1.start();
​
    new Thread(() -> {
        try {
            Thread.sleep(6000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        synchronized (d) {
            log.debug("notify");
            d.notify();
        }
    }, "t2").start();
​
}

输出

[t1] - 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000101  // 偏向锁
[t1] - 00000000 00000000 00000000 00000000 00011111 10110011 11111000 00000101  // 加锁
[t2] - notify
[t1] - 00000000 00000000 00000000 00000000 00011100 11010100 00001101 11001010  // 重量级锁

2.4.5 批量重偏向

如果对象虽然被多个线程访问，但没有竞争，这时偏向了线程 T1 的对象仍有机会重新偏向 T2，重偏向会重置对象的 Thread ID

当撤销偏向锁阈值超过 20 次后，jvm 会这样觉得，我是不是偏向错了呢，于是会在给这些对象加锁时重新偏向至加锁线程

private static void test3() throws InterruptedException {
​
    Vector<Dog> list = new Vector<>();
    Thread t1 = new Thread(() -> {
        for (int i = 0; i < 30; i++) {
            Dog d = new Dog();
            list.add(d);
            synchronized (d) {
                log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            }
        }
        synchronized (list) {
            list.notify();
        }        
    }, "t1");
    t1.start();
​
    
    Thread t2 = new Thread(() -> {
        synchronized (list) {
            try {
                list.wait();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }
        log.debug("===============> ");
        for (int i = 0; i < 30; i++) {
            Dog d = list.get(i);
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            synchronized (d) {
                log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            }
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
    }, "t2");
    t2.start();
}

输出

[t1] - 0    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101  // 偏向锁
[t1] - 1    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 2    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 3    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 4    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 5    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 6    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 7    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 8    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 9    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 10   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 11   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 12   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 13   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 14   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 15   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 16   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 17   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 18   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 19   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 20   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 21   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 22   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 23   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 24   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 25   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 26   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 27   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 28   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t1] - 29   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - ===============> 
[t2] - 0    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101 // 偏向t1锁
[t2] - 0    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000  // 撤销偏向锁,升级为轻量级锁
[t2] - 0    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001  // 处于不可偏向锁,也就是正常状态
[t2] - 1    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 1    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 1    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 2    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 2    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 2    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 3    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 3    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 3    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 4    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 4    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 4    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 5    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 5    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 5    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 6    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 6    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 6    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 7    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 7    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 7    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 8    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 8    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 8    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 9    00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 9    00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 9    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 10   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 10   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 10   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 11   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 11   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 11   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 12   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 12   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 12   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 13   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 13   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 13   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 14   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 14   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 14   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 15   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 15   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 15   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 16   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 16   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 16   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 17   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 17   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 17   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 18   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 18   00000000 00000000 00000000 00000000 00100000 01011000 11110111 00000000
[t2] - 18   00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000001
[t2] - 19   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101  // 第20个对象开始,全部处于偏向t2的偏向锁
[t2] - 19   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101  // 批量重偏向,后面所有都处于偏向t2的偏向锁
[t2] - 19   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 20   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 20   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 20   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 21   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 21   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 21   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 22   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 22   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 22   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 23   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 23   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 23   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 24   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 24   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 24   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 25   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 25   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 25   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 26   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 26   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 26   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 27   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 27   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 27   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 28   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 28   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 28   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 29   00000000 00000000 00000000 00000000 00011111 11110011 11100000 00000101
[t2] - 29   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101
[t2] - 29   00000000 00000000 00000000 00000000 00011111 11110011 11110001 00000101

2.4.6 批量撤销

当撤销偏向锁阈值超过 40 次后，jvm 会这样觉得，自己确实偏向错了，根本就不该偏向。于是整个类的所有对象都会变为不可偏向的，新建的对象也是不可偏向的

这里就不打印日志了，可以自行思考

static Thread t1,t2,t3;
private static void test4() throws InterruptedException {
    Vector<Dog> list = new Vector<>();
​
    int loopNumber = 39;
    t1 = new Thread(() -> {
        for (int i = 0; i < loopNumber; i++) {
            Dog d = new Dog();
            list.add(d);
            synchronized (d) {
                log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            }
        }
        LockSupport.unpark(t2);
    }, "t1");
    t1.start();
​
    t2 = new Thread(() -> {
        LockSupport.park();
        log.debug("===============> ");
        for (int i = 0; i < loopNumber; i++) {
            Dog d = list.get(i);
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            synchronized (d) {
                log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            }
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
        LockSupport.unpark(t3);
    }, "t2");
    t2.start();
​
    t3 = new Thread(() -> {
        LockSupport.park();
        log.debug("===============> ");
        for (int i = 0; i < loopNumber; i++) {
            Dog d = list.get(i);
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            synchronized (d) {
                log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
            }
            log.debug(i + "\t" + ClassLayout.parseInstance(d).toPrintableSimple(true));
        }
    }, "t3");
    t3.start();
​
    t3.join();
    log.debug(ClassLayout.parseInstance(new Dog()).toPrintableSimple(true));
}

参考资料

https://github.com/farmerjohngit/myblog/issues/12

https://www.cnblogs.com/LemonFive/p/11246086.html

https://www.cnblogs.com/LemonFive/p/11248248.html

偏向锁论文

2.5 锁消除

锁消除

@Fork(1)
@BenchmarkMode(Mode.AverageTime)
@Warmup(iterations=3)
@Measurement(iterations=5)
@OutputTimeUnit(TimeUnit.NANOSECONDS)
public class MyBenchmark {
    static int x = 0;
    @Benchmark
    public void a() throws Exception {
        x++;
    }
    @Benchmark
    public void b() throws Exception {
        Object o = new Object();
        synchronized (o) {
            x++;
        }
    }
}

java -jar benchmarks.jar

Benchmark            Mode  Samples  Score  Score error  Units
c.i.MyBenchmark.a    avgt        5  1.542        0.056  ns/op
c.i.MyBenchmark.b    avgt        5  1.518        0.091  ns/op

b是有一个加锁的操作，那为什么a耗时与b耗时几乎别区别呢？是因为Java中有一个JIT（即时编译器），会对于反复执行的代码进行优化，b中o对象根本不会被共享，所以b中的synchronized是没有任何意义的，所以Java就把锁给消除了。这也是存在一个开关的，这个开关是默认开启的，下面演示下把这个开关关闭掉。

java -XX:-EliminateLocks -jar benchmarks.jar

Benchmark            Mode  Samples   Score  Score error  Units
c.i.MyBenchmark.a    avgt        5   1.507        0.108  ns/op
c.i.MyBenchmark.b    avgt        5  16.976        1.572  ns/op

可以看到耗时有明显差距了。

锁粗化

对相同对象多次加锁，导致线程发生多次重入，可以使用锁粗化方式来优化，这不同于之前的细分锁的粒度。

 

 

posted @ 2023-12-19 21:00  |旧市拾荒|  阅读(289)  评论(0)  编辑  收藏  举报