N3243 1.10.21 说
可以证明,正确使用互斥锁和 memory_order_seq_cst 操作来防止所有数据竞争并且不使用其他同步操作的程序表现得好像它们的组成线程执行的操作只是交错的,对象的每个值计算都取自交错中对该对象的最后一个副作用。这通常被称为“顺序一致性”。
这是否意味着对原子对象的任何seq_cst写入对使用seq_cst排序读取原子对象的其他线程立即可见?
N3243 1.10.21 说
可以证明,正确使用互斥锁和 memory_order_seq_cst 操作来防止所有数据竞争并且不使用其他同步操作的程序表现得好像它们的组成线程执行的操作只是交错的,对象的每个值计算都取自交错中对该对象的最后一个副作用。这通常被称为“顺序一致性”。
这是否意味着对原子对象的任何seq_cst写入对使用seq_cst排序读取原子对象的其他线程立即可见?