The problem here is not with sequential consistency. Code is being moved, not reordered.
这里的问题不是有关顺序一致性的,而是代码被移动了,不是重新排序。
It's probably fair to say that if we have a computer system that really uses strict consistency, we'll want to reason about it using sequential consistency.
的硬件的细节的干扰。可以很公平的说,如果我们有一台真正采用严格一致性内存模型的计算机系统,那么我们将可以推理出它使用顺序一致性内存模型是的各种情况。
It's probably fair to say that if we have a computer system that really uses strict consistency, we'll want to reason about it using sequential consistency.
的硬件的细节的干扰。可以很公平的说,如果我们有一台真正采用严格一致性内存模型的计算机系统,那么我们将可以推理出它使用顺序一致性内存模型是的各种情况。
应用推荐