如何理解总订单的同步订单？

Question

在JLS 17.4.4，它说

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

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

Answer 1

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

然而，这里的渔获：

同步操作诱导同步，与行动关系，定义如下[...]

只有通过行动synchronized-有序与产生所需/期望的记忆效应（即提前缓存状态）。

所以基本上，虽然所有的“同步行动”遵循“同步命令，”（因此“总序），但只有那些同步，与模式是有效的线程安全。