C++20中acquire operation定义位置及与Linux内核定义一致性问询

问题背景 #

我在阅读cppreference的std::memory_order文档以及C++20规范文档（n4861.pdf）时，找不到“acquire operation”和“release operation”的明确定义：

• cppreference采用递归式描述：使用memory_order_acquire或更强内存序的原子加载是acquire operation；同时说明memory_order_acquire内存序的加载操作会对目标内存位置执行acquire operation。
• C++20规范直接使用这些术语，开篇就提到“一个或多个内存位置上的同步操作要么是consume operation、acquire operation、release operation，要么同时是acquire和release操作”，未给出显式定义。

之后我找到《LINUX KERNEL MEMORY BARRIERS》文档，其中对ACQUIRE operations的明确定义为：

它是一种单向可穿透屏障，确保系统其他组件看来，所有在ACQUIRE操作之后的内存操作都发生在该操作之后；ACQUIRE操作包括LOCK操作、smp_load_acquire()和smp_cond_load_acquire()操作；而ACQUIRE操作之前的内存操作可能看起来在它完成之后才发生；ACQUIRE操作几乎总是应与RELEASE操作配对。

核心疑问：该定义是否与C++标准中“acquire operation”的含义完全一致？

核心结论：不完全一致，但核心语义对齐 #

1. 核心语义的一致性 #

两者的核心设计目标和基础行为是对齐的：

• 都是单向内存屏障，保证acquire操作之后的内存访问（加载/存储）不会被重排到acquire操作之前；
• 都要求与release操作配对使用，通过acquire-release建立线程间的同步关系（release操作的写对后续acquire操作的读可见）；
• 都允许acquire操作之前的内存访问被重排到acquire操作之后（即屏障只限制“后→前”的重排，不限制“前→后”）。

2. 关键差异点 #

（1）适用范围与操作类型

• C++标准中的acquire operation仅针对原子操作：特指使用memory_order_acquire/memory_order_seq_cst内存序的原子加载操作，以及带memory_order_acquire语义的原子交换、比较交换等复合原子操作（只要操作包含加载语义且指定了acquire类内存序）。
• Linux内核中的ACQUIRE operations范围更广：除了类似smp_load_acquire()的原子加载，还包含LOCK操作（这类操作在C++中属于memory_order_acq_rel或memory_order_seq_cst的原子修改操作，同时具备acquire和release语义）。

（2）定义层面的抽象性

C++标准是平台无关的抽象定义，不绑定具体硬件或内核实现，它通过“内存可见性”和“同步关系”来描述acquire操作的效果，而非直接定义为“屏障”（不同硬件的内存屏障实现差异极大）。
Linux内核文档的定义是针对硬件架构的具体实现描述，直接用“屏障”这种底层术语解释，更贴近实际执行逻辑。

（3）可见性的绑定范围

C++标准中，acquire操作的可见性是绑定到特定内存位置的：acquire操作加载的值，保证能看到之前对该内存位置执行的release操作写入的所有值，以及release操作之前的所有内存写入。而Linux内核的定义更偏向全局内存操作的重排限制，未明确绑定到单个内存位置的同步关系。

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