倒计时和进一步同步

Question

假设我有以下类定义，当一个线程想要为多个（可能）等待的线程设置一个时：

public class A {
    private int a;
    private CountDownLatch gate;

    public A(int a) {
        a = 1;
        gate = new CountDownLatch(1);
    }

    public int getA() {
        latch.await();
        return a;
    }

    public void setA(int a) {
        this.a = a;
        gate.countDown();
    }
}

在我看来 a 需要是 volatile 的，但我不确定……有人可以分享一下为什么需要围绕 getA 进行额外的同步，或者 a 需要是 volatile 的吗？

Answer 1

根据the javadoc：

在计数达到零之前，线程中的操作在调用countDown() 之前发生-在从另一个线程中的相应await() 成功返回之后的操作。

因此，如果您只调用一次setA，则不需要额外的同步。如果你第二次调用它，因为计数已经是 0，你将不会得到同样的保证。

如果预期用途是只调用setA 一次，如果多次调用它以强制执行该合同，则可能引发异常（尽管检查计数并以原子方式为 a 分配新值可能会很棘手，如果没有额外的同步)。

如果您对setA 可以多次调用感到满意，那么您需要额外的同步。

Answer 2

实际上a 不需要是易失性的，因为countDown() 加载并存储到AbstractQueuedSynchronizer 的易失性state 变量中，该变量在CountDownLatch 内部使用。易失性存储触发内存屏障 (great in-depth article about Memory Barriers and etc in JSR-133)。根据 JMM，所有以前的存储（对其他变量）对其他线程都是可见的。
assylias 是对的，只有当你调用一次setA() 时才会这样，因为你将latch 构造为new CountDownLatch(1)。