C++并发中Happens-Before关系：原子对象是否为特殊概念？

当满足以下条件时，求值A依赖序前于（dependency-ordered before）求值B：(8.1) A在atomic object M上执行释放操作，且在另一线程中，B在M上执行消费操作并读取A写入的值；或者(8.2) 存在某个求值X，A依赖序前于X且X将依赖传递给B。[注：“依赖序前于”关系类似于“同步于”（synchronizes with），但使用释放/消费操作替代释放/获取操作。——结束注]

问题 #

在C并发语境下，“atomic object”是C中的特殊概念，还是仅为并发讨论中对任意变量的称呼？若其为特殊概念，请说明具体定义。

回答 #

在C++中，atomic object是明确的特殊概念，并非对任意变量的泛称。

它指的是通过C++标准库<atomic>头文件的std::atomic模板实例化得到的对象，或是声明为_Atomic（兼容C语言特性）的对象。这类对象的核心特质在于：对其所有内存操作都具备原子性——操作要么完整执行，要么完全不执行，不会出现中间状态被其他线程观测到的情况；同时开发者可通过指定内存顺序（如释放/消费、释放/获取等），控制操作间的同步关系，以此避免数据竞争、保障多线程间的内存可见性。

和普通变量不同，atomic object的操作由C++标准严格定义，编译器与硬件会保障其原子性与内存语义，是实现安全并发编程的核心基础组件之一。

内容的提问来源于stack exchange，提问作者user19551894