线程间并发问题

Question

假设我有一个具有原始值的实例变量：

Integer mMyInt = 1;

有两个线程。

第一个线程通过调用更改 mMyInt：

void setInt() {
    mMyInt = 2;
}

第二个线程通过调用获取 mMyInt：

Integer getInt() {
  return mMyInt;
}

两个线程都不使用同步。

我的问题是，第二个线程可以从 getInt() 获得的可能值是多少？只能是1个或者2个吗？可以归零吗？

谢谢

Answer 1

编辑：感谢@irreputable 的重要更新。

除非对象在构造过程中转义（见下文），否则赋值 mMyInt=1 发生在对 getter/setter 的任何访问之前。同样在 java 中，对象分配是原子的（您观察到分配的某些无效地址的可能性为 0。要小心，因为 64 位基元分配，例如 double 和 long 不是原子的）。

因此，在这种情况下，可能的值为 1 或 2。在这种情况下，

对象可以在构造过程中逃逸：

 class Escape {
    Integer mmyInt = 1;

    Escape(){
        new Thread(){
            public void run(){
                System.out.println(Escape.this.mmyInt);
            }
        }.start();
    }
 }

尽管实际上这种情况很少发生，但在上述情况下，新线程可以观察到未完全构造的 转义 对象，从而理论上得到 mmyInt 值为 null （AFAIK 你仍然不会得到一些随机内存位置）。

如果是HashMap怎么办
目的？实例变量 mMyMap
具有原始价值。然后，第一个
线程调用“mMyMap = new HashMap();”
第二个线程调用“return
mMyMap;" 第二个线程能否获取到
null，或者只能获取原始的或
新的 HashMap 对象？

当“对象引用分配是原子的”时，这意味着您将不会观察到中间分配。它要么是之前的值，要么是之后的值。因此，如果在构造完成后发生的唯一分配是 map = someNonNullMap(); （并且在构造期间为该字段分配了非空值）并且该对象在构造期间尚未转义，您无法观察 null。

更新：
我咨询了一位并发专家，根据他的说法，Java 内存模型允许编译器重新排序分配和对象构造（但实际上我认为这不太可能）。

因此，例如在下面的情况下，thread1可以分配一些堆，为map分配一些值，然后继续构造map。与此同时，线程 2 来观察一个部分构造的对象。

class Clever {
   Map map;

   Map getMap(){
       if(map==null){
           map = deriveMap();        }
       return map;
   }
}

JDK 在 String 类中具有类似的构造（不完全引用）：

class String {
   int hashCode = 0;

   public int hashCode(){
       if(hashCode==0){
           hashCode = deriveHashCode();
    }
       return hashCode;
   }
}

根据同一并发专家的说法，这确实有效，因为非易失性缓存是原始的而不是对象。

通过引入发生在关系之前可以避免这些问题。在上述情况下，可以通过声明成员易失性来做到这一点。同样对于 64 位原语，声明它们 易失性 将使它们的分配成为原子的。

Answer 2

// somewhere
static YourClass obj;

//thread 1
obj = new YourClass();

// thread 2
if(obj!=null)
    obj.getInt();

理论上，线程 2 可以获得 null。