java - java变量本身线程安全吗？什么时候更新变量？

Question

假设我有两个线程更新一个对象，一个线程在没有同步的情况下从该对象读取。显然，这是运行状态。但是，我想知道变量本身是否只能部分写入。

public class CommonObject extends Object
{
    static int memberVar=-1;
}

public class Input1Thread extends Thread
{   
    public void run()   
    {
        while(true)
            CommonObject.memberVar = 1
    }
}

public class Input2Thread extends Thread
{   
    public void run()   
    {
        while(true)
            CommonObject.memberVar = 2;
    }
}

public class OutputThread extends Thread
{   
    public void run()   
    {
        while(true)
            System.out.println("CommonObject.memberVar"+ CommonObject.memberVar);
    }
}  

我假设打印出来的值也将是 2 或 1。但是，我想知道该变量是否可能已设置一半？

我使用基元作为示例，但我希望对象的答案也适用，如果它不同的话。

Answer 1

这取决于变量的类型。

double 和 long(Java 中的两种 64 位类型)如果不是 volatile 则允许进行字撕裂>，而所有其他类型(包括引用)可能永远不会撕裂。字撕裂会给您带来您担心的行为:一些字节来自旧值，其中一些来自新值，总体结果是一个既不是旧值也不是新值的值。

这在 JLS 17.7 中指定:

For the purposes of the Java programming language memory model, a single write to a non-volatile long or double value is treated as two separate writes: one to each 32-bit half. This can result in a situation where a thread sees the first 32 bits of a 64-bit value from one write, and the second 32 bits from another write.

Writes and reads of volatile long and double values are always atomic.

Writes to and reads of references are always atomic, regardless of whether they are implemented as 32-bit or 64-bit values.

当然，引入数据竞争会带来一系列问题；但你的问题是专门针对文字撕裂的，所以我只是在这里解决这个问题，只是要注意“仅仅因为你可以，并不意味着你应该”。您应该小心地分析您拥有的每个数据竞争，并证明它是良性的(正如其中一些数据竞争一样，例如 String.hashCode 对其值的缓存)。