是否保证在一个线程中对非易失性成员变量的分配可以在另一个线程中看到？

Question

考虑下面的Java示例。请注意，两个类成员变量都没有声明为volatile。如果我正确地理解了内存模型并理解了“之前发生”的规则，那么Java实现可以优化该run()方法，使其永远运行，即使另一个线程调用该stopNow()方法也是如此。之所以会发生这种情况，是因为该run()方法中没有任何东西可以强制线程读取多个值stop。那是对的吗？如果没有，为什么不呢？

class Example implements Runnable {
    boolean stop = false;
    int value = 0;

    public void stopNow() {
       stop = true;
    }

    public int getValue() {
        return value;
    }

    @Override
    public void run() {
        // Loop until stop is set to true.
        while (!stop) {
            ++value;
        }
        return;
    }
}

Answer 1

可以由另一个线程修改，但这不是保证。这也不是线程安全的。要使变量保证从另一个线程查看，您需要执行以下任一操作

仅在以下情况下，才能保证一个线程对字段所做的更改仅对其他线程可见：

• 写入线程释放同步锁，而读取线程随后获取该相同的同步锁。
• 如果将一个字段声明为易失性字段，则在写入
  线程执行任何进一步的内存操作之前，写入该线程的任何值都会被写入线程并使写入线程可见（即，出于
  手头的目的，将立即刷新该字段）。读取器线程必须
  在每次访问时重新加载volatile字段的值。
  
  
  
• 线程第一次访问对象的字段时，它将看到该字段的初始值或自其他线程写入以来的值。
• 线程终止时，所有写入的变量都将刷新到主内存。例如，如果一个线程使用Thread.join在另一个线程的终止上进行同步，则可以保证看到该
  线程产生的效果（请参见第4.3.2节）。