B2.4 完成和终点排序

B2.4 完成和终点排序

对于所有内存，完成规则定义如下：

• 内存读取效果 R1对某个位置（Location）的读取在共享域内完成，当以下所有条件为真时：

  • 任何在同一位置写入的观察者，在共享域内将会在 R1 之后保持一致性（Coherence-after）。

  • 与 R1相关的任何翻译表遍历操作在该共享域内完成。

• 内存写入效果 W1 对某个位置的写入在共享域内完成，当以下所有条件为真时：

  • 任何在同一位置写入的观察者，在共享域内将会在 W1 之后保持一致性。

  • 任何在同一位置读取的观察者，在共享域内将会从 W1 或从在 W1 之后保持一致性的内存写入效果中读取数据。

  • 与写入相关的任何翻译表遍历操作在该共享域内完成。

• 翻译表遍历操作 在共享域内完成，当内存访问（包括翻译表条目的更新）与翻译表遍历操作相关，并且 TLB 被更新时，视为该共享域的完成。

• 缓存维护指令 在共享域内完成，