线程间传递std::coroutine_handle时应使用何种内存一致性？

结论：两处标注的位置都可以安全使用std::memory_order_relaxed。

原因分析 #

• 协程挂起的内置同步保证：正如cppreference所述：

  注意，由于在进入awaiter.await_suspend()前协程已完全挂起，该函数可自由跨线程传递协程句柄，无需额外同步。
  进入await_suspend()前，协程的所有状态修改都已完成，挂起操作本身等价于release语义的同步；而恢复协程时，恢复流程内部也隐含了acquire语义的同步。因此不需要通过原子操作的内存序来额外保证状态可见性。

• 原子操作仅需保证原子性：这里的原子变量仅用于跨线程传递协程句柄值，memory_order_relaxed已经能保证存储和加载操作的原子性，完全满足需求。
• 其他语义的冗余性：你最初考虑的acquire/release语义是为了跨线程状态同步，但协程挂起/恢复的机制已经内置了这些逻辑，额外指定反而多余。consume语义针对依赖链同步，这里不存在此类场景，因此也不需要。

补充说明 #

协程句柄本质是轻量级的地址类型，其跨线程传递不需要关联额外的状态同步——协程状态的同步已由挂起/恢复流程兜底。只要保证句柄读写的原子性（relaxed已满足），就能安全触发跨线程的协程恢复。

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