专栏首页老付的网络博客CountDownLatch的原理

CountDownLatch的原理

上次大概说了CountDownLatch的使用,今天说下实现的原理,CountDownLatch的使用效果和Join差不多,实现起来也比较简单。

大体的思路就是一个死循环阻塞,等到某个条件满足后就跳出循环,继续执行后面的代码。执行逻辑如下:

源码分析


我们下面分析下CountDownLatch的源码:

创建CountDownLatch对象

  public CountDownLatch(int count) {
        if (count < 0) throw new IllegalArgumentException("count < 0");
        this.sync = new Sync(count);
    }

创建CountDownLatch 对象很简单,就是创建一个Sync对象。 Sync的对应的代码

 Sync(int count) {
     setState(count);
   }   

protected final void setState(int newState) {
   state = newState;
}

这个可以确定给state设置了一个值。

await 方法 阻塞等待

 public void await() throws InterruptedException {
        sync.acquireSharedInterruptibly(1);
    }  


 public final void acquireSharedInterruptibly(int arg)
        throws InterruptedException {
    if (Thread.interrupted())
        throw new InterruptedException();
    if (tryAcquireShared(arg) < 0)
        doAcquireSharedInterruptibly(arg);
}

 protected int tryAcquireShared(int acquires) {
            return (getState() == 0) ? 1 : -1;
        }


private void doAcquireSharedInterruptibly(int arg)
        throws InterruptedException {
        final Node node = addWaiter(Node.SHARED);
        boolean failed = true;
        try {
            for (;;) {
                final Node p = node.predecessor();
                if (p == head) {
                    int r = tryAcquireShared(arg);
                    if (r >= 0) {
                        setHeadAndPropagate(node, r);
                        p.next = null; // help GC
                        failed = false;
                        return;
                    }
                }
                if (shouldParkAfterFailedAcquire(p, node) &&
                    parkAndCheckInterrupt())
                    throw new InterruptedException();
            }
        } finally {
            if (failed)
                cancelAcquire(node);
        }
    }

doAcquireSharedInterruptibly 这个方法中有一个for(;;),这个是一个死循环, 直到tryAcquireShared 返回的r>=0.也就是state==0。

countDown 方法

   public void countDown() {
        sync.releaseShared(1);
    }

public final boolean releaseShared(int arg) {
        if (tryReleaseShared(arg)) {
            doReleaseShared();
            return true;
        }
        return false;
    }

  

     protected boolean tryReleaseShared(int releases) {
            // Decrement count; signal when transition to zero
            for (;;) {
                int c = getState();
                if (c == 0)
                    return false;
                int nextc = c-1;
                if (compareAndSetState(c, nextc))
                    return nextc == 0;
            }
        }


private void doReleaseShared() {
        /*
         * Ensure that a release propagates, even if there are other
         * in-progress acquires/releases.  This proceeds in the usual
         * way of trying to unparkSuccessor of head if it needs
         * signal. But if it does not, status is set to PROPAGATE to
         * ensure that upon release, propagation continues.
         * Additionally, we must loop in case a new node is added
         * while we are doing this. Also, unlike other uses of
         * unparkSuccessor, we need to know if CAS to reset status
         * fails, if so rechecking.
         */
        for (;;) {
            Node h = head;
            if (h != null && h != tail) {
                int ws = h.waitStatus;
                if (ws == Node.SIGNAL) {
                    if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0))
                        continue;            // loop to recheck cases
                    unparkSuccessor(h);
                }
                else if (ws == 0 &&
                         !compareAndSetWaitStatus(h, 0, Node.PROPAGATE))
                    continue;                // loop on failed CAS
            }
            if (h == head)                   // loop if head changed
                break;
        }
    }

compareAndSetWaitStatus(h, 0, Node.PROPAGATE)这个是用CAS的方法改变state的值。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 消息中间件--04. Kafka常用的命令

    现在我们来创建一个名字为testTopic和testTopic1 的Topic,这个topic有两个partition,并且备份因子也设置为2:

    付威
  • 消息中间件--02. Kafka架构

    partition:一个队列中的消息可以存储到多台broker上面,一个broker中的分区,称为partition

    付威
  • Java多线程消费一个list

    付威
  • R语言写2048游戏

           2048 是一款益智游戏,只需要用方向键让两两相同的数字碰撞就会诞生一个翻倍的数字,初始数字由 2 或者 4 构成,直到游戏界面全部被填满,游戏结...

    用户1680321
  • 终于让采集侠自动采集了

    用织梦采集侠一段时间了,觉得这个插件真的不错,尤其是新版本,可以结合DEDE自动的采集规则来进行采集。一下采集功能就非常强大了。

    用户1191760
  • 【趣解编程】条件语句if

    遇见if,就是走到了分岔路口,需要根据当前拥有的条件和环境,来决断到底要走哪一条路。

    一斤代码
  • AVGater漏洞突破防病毒软件 影响大批知名杀毒软件 PoC已经公开

    用户1697231
  • LeetCode 125 Valid Palindrome

    题目:https://leetcode.com/problems/valid-palindrome/description/

    ShenduCC
  • 【python系统学习04】条件判断语句

    学过 js 的你,看到这个肯定小 case 吧!肯定第一时间得到答案,打印出“1”吧!

    xing.org1^
  • 牛客寒假算法基础集训营5 I. 炫酷镜子(模拟)

    题目链接:https://ac.nowcoder.com/acm/contest/331/I

    Ch_Zaqdt

扫码关注云+社区

领取腾讯云代金券