synchronized的行为

Question

我读到同步块中的代码遵循“在此之前发生”的语义，因此写在同步块中的所有值都应该对其他线程连续可见。此外，我读到缓存仅在同步块终止时刷新。在下面描述的场景中，如果只使用同步块终止刷新缓存，那么如何执行上面的“在此之前发生”的语义？

线程A引用了对象C，并在同步到C上的同步代码中更改了C的字段。线程B也引用了对象C。现在，线程A在同步代码完成之前挂起。线程B跳到action并在代码中访问对象C的字段，而不在C上进行同步。

现在可以保证线程B看到线程A所做的更改了吗？

Answer 1

除了现有的答案之外，请注意发生在( X，Y)之前只保证Y看到X的更新，而不是其他线程在Y的结果之前看到X的结果。

(事实上，您不需要在synchronized块中具有单个线程内连续操作之间的发生之前关系。请参阅JLS中17.4.5的第一个项目符号。)

Answer 2

要点是线程B也应该使用synchronized块，在与线程A相同的监视器上进行同步。

如果线程B没有使用任何同步，则可能会看到更改，也可能看不到更改。