何时对同步块的更改对其他线程可见

Question

假设我在synchronized方法中更新了两个变量的值。 在退出synchronized块之前 ，同步方法中设置的新值是否可能对其他线程可见？

public synchronized void setValues(){
    a=5;
    // assume thread is preempted after this assignment
    // would the value 5 be visible to other threads?
    // my understanding is that the values will not be flushed to
    // main memory until the lock is released- i.e., until the synchronized
    // method is complete. So the changes will not be visible to other 
    // threads even when not using synchronization
    b=10;
}

下面的方法不同步，所以我理解该线程可能会看到陈旧的值。 我的问题是，如果线程在分配给a之后被抢占，那么变量a的新值“5”是否可能在printValues方法中可见？

public void printValues() {
    System.out.println(a + " " + b);
}

Answer 1

是的，在到达synchronized块的末尾之前，在synchronized can （但不保证）内进行的更改是可见的。 基本上，您通常需要在读取或写入数据时同步（在同一个锁上），以便获得一致的世界视图。

提供同步的保证是使“做正确的事”（适当地同步）正常工作-他们不保证改变原子制成，当你没有做正确的事（观察共享变量不同步）。

您可以（在某种程度上）将synchronized块中的写入视为对OutputStream.write()调用，同步块的退出就像flush()调用。 当你在块的一半时，你写的一些数据可能已经输出到输出文件（或其他任何东西） - 但它仍然可以被缓冲。 这并不意味着如何实现内存模型，只是为了帮助您了解如何保证可见性。

Answer 2

synchronized不保证将立即刷新a值。 如果a是不稳定的话。