能否在共享内存中使用C++20的std::atomic<T>::wait()或std::atomic_flag::wait()？

我的项目包含插件和独立进程的GUI界面，二者需要共享数据：GUI更新数据后，插件要在数据更新时进行处理。我计划在共享内存块中放置以下内容：

std::atomic_bool event_flag;
// insert mutex...
some_data_struct data;

GUI修改数据时的逻辑：

// acquire mutex

// write data...

// release mutex

event_flag = true;
event_flag.notify_one();

插件端的逻辑：

event_flag.wait(true);
event_flag = false;

// acquire mutex

// read data...

// release mutex

现咨询：能否在上述共享内存场景中使用C++20的std::atomic::wait()或std::atomic_flag::wait()？

回答 #

可以在跨进程共享内存场景中使用C++20的std::atomic<T>::wait()或std::atomic_flag::wait()，但必须满足几个关键前提：

• 显式初始化共享原子对象：跨进程共享的原子变量不能依赖默认初始化，必须在共享内存创建时就显式初始化（比如将event_flag初始化为false）。不同进程的内存空间相互独立，默认初始化会导致原子对象内部状态不一致，直接破坏wait/notify机制的正确性。

• 保证原子对象内存布局一致：所有参与共享的进程必须使用相同的编译器、编译选项（如对齐规则、内存模型设置），确保std::atomic_bool或std::atomic_flag在内存中的布局完全匹配。否则不同进程对原子对象的内存解析会出现偏差，导致wait/notify失效。

• 维持内存模型一致性：操作原子变量时要保证内存顺序的一致性。比如GUI端设置event_flag = true时建议使用std::memory_order_release，插件端wait后设置event_flag = false使用std::memory_order_relaxed，配合互斥锁的内存语义，确保数据的可见性和有序性。

另外你的当前逻辑存在潜在问题：插件端在wait返回后直接重置event_flag = false，如果此时GUI触发了新的notify_one()，这个通知会丢失。建议调整逻辑：插件端应该在读取完数据并释放互斥锁之后再重置event_flag，或者改用std::atomic_flag的test-and-set语义避免通知丢失。

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