弱内存序中， if 之后的 load 会不会早于 if 之前的 load 先 commit?
hxndg · 2021-01-16 19:20:55 +08:00 · 812 次点击这是一个创建于 1737 天前的主题，其中的信息可能已经有所发展或是发生改变。
简单来说就是这么一个流程
L1: Load a
C1: if (a != ok) goto L1
L2 : Load b
L3 : Load c
如果没有中间那个 C1，我能理解 L1，L2，L3 的结果以任意顺序 Commit 但是，有了中间那个 C1 之后，L2/L3 结果的 Commit 还能早于 L1 吗？ 弱内存序里，Commit 顺序还保持一致吗？
Select Language