使用原子布尔值而不是同步块

Question

假设我有一个包含 2 个实例变量和以下方法的类（针对此问题进行了简化）：

private final Object lock = new Object();
private boolean running;
public MyClass() {
    synchronized(lock) {
        running = false;
    }
}
public void methodA() {
    synchronized(lock) {
        running = true;
    }
}
public void methodB() {
    synchronized(lock) {
        if (!running) {
            return;
        }
    }
}

我正在查看此代码，在阅读了有关AtomicBoolean的信息后，我认为可能适合这里，尤其是在查看了MyClass构造函数和methodA之后。不过，我不太确定methodB。

假设这些方法可以被多个线程调用，以下内容是否是线程安全的？

private AtomicBoolean running;
public MyClass() {
    running = new AtomicBoolean(false);
}
public void methodA() {
    running.set(true);
}
public void methodB() {
    if (!running.get()) {
        return;
    }
}

running.get()能否保证通过running.set(true)或running.set(false)从另一个线程看到更新？

Answer 1

在您的示例中，一个简单的volatile boolean就足够了，因为您似乎只在执行原子操作。如果需要诸如 compareAndSet 之类的方法，原子布尔值很有用。

所以在回答你的问题时，是的，当使用 volatile boolean 或 AtomicBoolean 时，其他线程将看到变量的更新。

Answer 2

一般来说，

这些代码块对于methodB是不相等的，因为读取变量volatile不会创建同步顺序。

假设您的类中还有其他一些字段int x = 42，这些字段在方法 B 中更新：

public void methodB() {
    if (!running.get()) {
        return;
    }
    if (x < 50) x++; // just example
}

然后你有几个线程调用methodB：

• 使用同步关键字时，更新是安全的，并且对所有线程可见。
• 使用原子布尔/易失性可见性时被破坏

如果变量更新没有这种情况，并且任务只是保证方法A - 方法B序列之间的可见性，那么没关系 - 原子布尔值就足够了。

Answer 3

是的。来自AtomicBoolean的Javadoc

：

一个 {@code布尔值} 值，可以通过原子方式更新。

这意味着对AtomicBoolean的任何更新都是不可分割的。因此，我认为这种AtomicBoolean的使用是线程安全的。

您仍然应该考虑最终声明AtomicBoolean：

private final AtomicBoolean running;