JMM决定一个线程对共享变量的写入何时对另一个线程可见