AQS 中 Node.PROPAGATE 状态引入的意义

最新推荐文章于 2023-01-10 18:24:38 发布

yangsanity_

最新推荐文章于 2023-01-10 18:24:38 发布

阅读量913

点赞数 3

分类专栏： java source 文章标签： java 开发语言

本文链接：https://blog.csdn.net/qq_30486749/article/details/125262771

版权

本文探讨了AQS（AbstractQueuedSynchronizer）中PROPAGATE状态的引入原因，主要为了解决一个并发bug。在引入PROPAGATE状态前，同步队列中的线程可能无法正确唤醒。通过分析bug产生的情况和引入状态后的解决方式，文章解释了PROPAGATE状态不仅解决了bug，还使得语意更清晰，并能加速唤醒后继节点的传播过程。

摘要由CSDN通过智能技术生成

前言

关于 AQS 中的 Node.PROPAGATE 状态，源码中是这么说的：

PROPAGATE 状态表明下一次 acquireShared 应无条件传播。
releaseShared 方法应该传播到其他节点，该状态在 doReleaseShared 方法中设置（仅适用于头节点）以确保传播继续，即使其它操作已经介入。

但光看这些晦涩的文字，还是很难很好的理解它存在的意义，为什么要引入它呢？

通过查找资料发现，其实，PROPAGATE 状态的引入是为了解决 AQS 的一个 bug。

bug: https://bugs.openjdk.java.net/browse/JDK-6801020
fix: https://github.com/openjdk/jdk8u/commit/b63d6d68d93ebc34f8b4091a752eba86ff575fc2

这个 bug 是一个关于 Semaphore 的 case。

在 AQS 引入 PROPAGATE 状态前，并发调用 Semaphore 的 release 方法，某些情况下同步队列中排队的线程仍不会被唤醒。

这个 case 的完整代码如下：

import java.util.concurrent.Semaphore;

public class TestSemaphore {
   

    /**
     * Semaphore 初始状态为 0
     */
    private static final Semaphore SEM = new Semaphore(0);

    private static class Thread1 extends Thread {
   
        @Override
        public void run() {
   
            // 获取 1 个许可，会阻塞等待其他线程释放许可，可被中断
            SEM.acquireUninterruptibly();
        }
    }

    private static class Thread2 extends Thread {
   
        @Override
        public void run() {
   
            // 释放 1 个许可
            SEM.release();
        }
    }

    public static void main(String[] args) throws InterruptedException {
   
        for (int i = 0; i < 10000000; i++) {
   
            Thread t1 = new Thread1();
            Thread t2 = new Thread1();
            Thread t3 = new Thread2();
            Thread t4 = new Thread2<