用共享内存配合volatile标志位可实现低开销无锁线程通信，适用于简单状态通知；volatile禁止编译器重排序和缓存，x86下对单个bool/int读写具acquire/release效果，但c++11起更推荐std::atomic以保证跨平台可靠性与明确语义。
用共享内存配合 volatile 标志位，是一种低开销、无锁（lock-free）的线程通信方式，适用于简单状态通知场景，比如“任务开始”“数据就绪”“线程退出”等。它不替代互斥锁或条件变量，但能在特定条件下显著减少同步开销。
为什么 volatile 能起作用？
volatile 告诉编译器：这个变量的值可能在任何时刻被其他线程或硬件修改，禁止对其读写进行重排序和寄存器缓存。它不提供原子性，也不保证内存可见性的完整顺序（如 acquire-release 语义），但在 x86/x64 架构下，对单个 volatile bool/int 的读写天然具有“acquire”和“release”效果（因 x86 内存模型较强），配合合理使用，足以支撑轻量级通知。
注意：C++11 及以后更推荐用 std::atomic
典型实现结构
两个线程共享一块内存区域（如全局变量、堆分配结构体），其中至少一个字段为 volatile 标志位，用于传递控制信号：
- 主线程写入数据后，将 volatile int ready_flag = 1；工作线程轮询该标志，看到 1 后读取关联数据
- 工作线程完成处理后，设置 volatile int done_flag = 1，主线程据此判断结果可用
- 主线程想终止工作线程时，设 volatile bool should_exit = true，工作线程在循环中检查并退出
关键注意事项
这类方案看似简单，但极易出错。务必遵守以下原则：
- 标志位本身必须是 trivially copyable 类型（bool、int、char 等），避免用类对象或指针（除非你确保其读写是原子且可见的）
- 数据写入与标志置位之间需插入写屏障（std::atomic_thread_fence(std::memory_order_release) 或 __sync_synchronize()），防止编译器/CPU 重排导致标志先于数据更新被看到
- 读取方在检查标志后，需插入读屏障（std::atomic_thread_fence(std::memory_order_acquire)），再访问关联数据，确保看到最新值
- 避免忙等待（busy-wait）耗尽 CPU：可在循环中加入 std::this_thread::yield() 或短延时（如 usleep(10)）
一个安全的 C++ 示例（C++11+）
比 volatile 更推荐的方式（清晰、可移植、无歧义）：
struct SharedState {
std::atomic<bool> data_ready{false};
std::atomic<bool> processing_done{false};
int payload = 0;
};
SharedState state;
// 生产者线程
void producer() {
state.payload = 42;
std::atomic_thread_fence(std::memory_order_release); // 确保 payload 写入对消费者可见
state.data_ready.store(true, std::memory_order_relaxed);
}
// 消费者线程
void worker() {
while (!state.data_ready.load(std::memory_order_acquire)) {
std::this_thread::yield();
}
int val = state.payload; // 此时一定能看到 42
// ... 处理 ...
state.processing_done.store(true, std::memory_order_relaxed);
}
</bool></bool>
这里用 std::atomic 显式表达了同步意图，memory_order_acquire/release 精确控制内存顺序，比 volatile 更可靠、更易维护。
