与易失性“状态标志”布尔值同步？

Question

我已经阅读了volatile 用法的“状态标志”模式。 它说如果状态标志不依赖于任何其他状态，我可以在没有任何同步的情况下使用volatile。它将保证标志对其他线程的可见性。此外，写入布尔值是原子的。

但是在other相关问题中，据说只有一个线程可以修改标志时使用volotile是安全的。否则，我需要使用任何同步或AtomicBoolean。

在我的示例中，我有stopped 标志，但它可以在不止一个线程内进行修改：方法stop() 和continue()。 doSmth() 不会更新任何状态。如果假设在 stop() 在 continue() 方法之后立即调用时不做工作是可以的，代码是线程安全的吗？

class MyClass {
    private volatile boolean stopped;

    public void doWork() {
        while(!stopped) {
            doSmth();
        }
    }

    public void stop() {
        stopped = true;
    }

    public void continue() {
        stopped = false;
    }
}

对我来说，它应该。如果我错了，你能澄清一下吗？

Answer 1

volatile 只是确保对变量的更改对所有线程都可用。

背景：线程可以制作共享变量的本地副本。将这些局部变量的值与全局共享变量同步是 volatile 的作用。

但是，在单个条目、监视器/关键区域的 java 中，这不会同步。

java.util.concurrent 的整个工具箱提供了诸如确保只有一个线程可以更改值之类的功能。如果您想从头开始，可以使用 两个 变量做一些阻塞的事情：搜索 Dijkstra 算法。

这里我认为AtomicBoolean 可能适合非阻塞使用。

---

如果您想获得一个暂停的全局布尔状态。切换时恢复线程（您的stopped），而不是一些丑陋的忙等待：

public void run () {
    while (true) {
        doWork(); 
        try {
            barrier.await();
        } catch (InterruptedException | BrokenBarrierException ex) {
            return;
        }
    }
}

使用全局 CyclicBarrier - 不是最好的 API，因为它与 N 个预定义的 Runnables 一起使用。