The problem here is not with sequentialconsistency. Code is being moved, not reordered.
这里的问题不是有关顺序一致性的,而是代码被移动了,不是重新排序。
2
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 sequentialconsistency.