如果一个可变变量是从两个线程写入的，会发生什么？

Question

在实践中考虑java并发的片段

@ThreadSafe
public class SynchronizedInteger{
    @GuardedBy("this") private int value;

    public synchronized int getValue() {
        return value;
    }

    public synchronized void setValue(int value) {
        this.value = value;
    }
}

同一本书的摘录-

考虑易失性变量的一个好方法是想象它们的行为大致类似于上面清单中的同步整数类，用调用get和set来替换易失性变量的读写。然而，访问易失性变量不执行锁定，因此不会导致执行线程阻塞，这使得易失性变量成为比同步更轻量级的同步机制。

线程限制的一种特殊情况适用于可变变量。对共享的易失性变量执行读-修改-写操作是安全的，只要确保该易失性变量仅从单个线程写入。

因此，如果将上述类中的实例变量设置为volatile，然后删除synchronized关键字，那么假设有3个线程

线程A

既然volatile变量现在是从两个线程写入的，为什么对这个共享的volatile变量执行读-修改-写操作是不安全的？

Answer 1

如果在不使用任何同步构造的情况下从多个线程编写volatile变量，则必然会出现数据不一致错误。

对于原子操作，在单写线程和多读线程的情况下，使用不同步的可变变量。

Volatile确保从主内存而不是线程缓存中获取变量值。它可以安全地用于单写和多读操作。

使用原子变量或同步或锁定API从多个线程更新和读取变量。

参考相关SE问题：

“线程安全”代码是什么意思？

Answer 2

这是因为对易失性变量的读-修改-写操作不是原子的。

r1 = v;
r2 = r1 + 1;
v = r2;

因此，如果有两个线程各自执行一次此操作，则可能会导致变量只递增一次，因为它们都读取旧值。这就是为什么它不安全的一个例子。

在您的示例中，如果您删除了同步，使字段变得不稳定，并且在基于getValue返回的条件逻辑之后有两个线程调用setValue，那么这将是不安全的-该值可能已被另一个线程修改。

如果你想进行原子操作，可以看看java。util。同时发生的原子包。

Answer 3

关键字volatile用于确保其他线程会看到对对象所做的更改。这并不强制要求在操作完成之前，对对象执行非原子操作，而不会受到其他线程的干扰。为了实现这一点，您需要关键字synchronized。