CountDownLatch
是基于AQS实现的,我们从它的构造方法看起。
当我们通过构造方法传入一个数值时,CountDownLatch
会创建一个Sync
对象。
public CountDownLatch(int count) {
if (count < 0) throw new IllegalArgumentException("count < 0");
this.sync = new Sync(count);
}
Sync
是一个内部类,继承自AbstractQueuedSynchronizer
,它在构造方法中把传入的count
参数赋值给AQS中的state
字段。
// java.util.concurrent.CountDownLatch.Sync#Sync
Sync(int count) {
setState(count);
}
当我们调用countDown()
方法时会委托给sync
对象。
// java.util.concurrent.CountDownLatch#countDown
public void countDown() {
sync.releaseShared(1);
}
releaseShared()
方法是定义在AQS中的模板方法,其中tryReleaseShared()
方法需要子类自己实现。
// java.util.concurrent.locks.AbstractQueuedSynchronizer#releaseShared
public final boolean releaseShared(int arg) {
if (tryReleaseShared(arg)) {
doReleaseShared();
return true;
}
return false;
}
以下是Sync
实现的tryReleaseShared()
方法,其作用是利用CAS操作原子性的减去state
字段的值,当第一次成功减为0时返回true
,否则返回false
。返回true
表示需要唤醒那些调用CountDownLatch
的await()
方法后正在等待中的线程。
// java.util.concurrent.CountDownLatch.Sync#tryReleaseShared
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;
}
}
下面我们来看await()
方法,同样也是委托给sync
对象。acquireSharedInterruptibly()
方法是定义在AQS中的模板方法,Sync
类实现了tryAcquireShared()
方法,其作用是当state
字段减为0是返回1,否则返回-1。当返回1时线程不会被阻塞,await()
方法会直接返回;当返回-1时当前线程会被放入AQS的等待队列并挂起。
// java.util.concurrent.CountDownLatch#await()
public void await() throws InterruptedException {
sync.acquireSharedInterruptibly(1);
}
// java.util.concurrent.locks.AbstractQueuedSynchronizer#acquireSharedInterruptibly
public final void acquireSharedInterruptibly(int arg)
throws InterruptedException {
if (Thread.interrupted())
throw new InterruptedException();
if (tryAcquireShared(arg) < 0)
doAcquireSharedInterruptibly(arg);
}
// java.util.concurrent.CountDownLatch.Sync#tryAcquireShared
protected int tryAcquireShared(int acquires) {
return (getState() == 0) ? 1 : -1;
}
当countDown()
方法将state
减到0后,接下来会调用AQS的doReleaseShared()
方法唤醒等待中的线程,由于这里用的是AQS的共享模式,因此当一个线程被唤醒后它会继续唤醒下一个线程,不断递归下去,直到所有线程都被唤醒。