如何理解同步顺序是总顺序？

Question

在 JLS17.4.4 中，它说

每次执行都有一个同步顺序。同步顺序是执行的所有同步操作的总顺序。

我知道什么是总订单。而且我知道需要订购同步操作。但这里让我感到困惑的是为什么它是 ALL 同步操作的总顺序。例如，监视器 m 上的解锁操作发生在 m 上的所有后续锁定操作之前。但是如果同时在监视器n上有一个锁定动作，是否需要在监视器m的解锁动作之后排序？如果不是，那为什么所有的同步动作都可以有一个总顺序？谢谢。

Answer 1

很好的问题。虽然我不确定答案，但我认为最符合我理解的解释是肯定的，两个不同的锁之间存在“同步顺序”，因为JLS 17.4.2 定义了描述为按“同步顺序”排序的操作" 必须是线程间的（因此一个线程必须在另一个线程接收到它之前调度该操作）。

但是，这里有一个问题：

同步动作在动作上产生synchronized-with关系，定义如下[...]

只有由 synchronized-with 排序的操作会产生所需/期望的记忆效果（即推进缓存状态）。

因此，基本上虽然您所有的“同步操作”都遵循“同步顺序”（因此也是“总顺序”），但只有那些 synchronized-with 模式对线程安全有效。 p>