昨天 前天 上周的文章最后的命题伪证了： 这是一个错误结论：SeqCst ld/st/AMO 存在全序 + 所有 SeqCst 操作等待/阻拦前后所有类型其他访存 \implies C++11 Seq...

考虑典中典 Store buffering litmus test，在 C++ 中的实现。 x.store(1, relaxed) | y.store(1, relaxed) a = y.load...

之前关于硬件 Fences的文章中简单提及了丢失 Multi-copy atomicity 之后可能带来的麻烦，本文具体讨论一下 Multi-copy atomicity，其硬件实现及后果。 定义 ...

最近在研究小栅栏。本文简单介绍一下注意到的普通的小栅栏的硬件实现注意事项。 这里普通的小栅栏指普通的 Acquire / Release Fences，暂时先不考虑 SeqCst，将后续有文章具体讨论...