Boost.Asio Strand是否始终在同一线程运行所有处理程序？

Boost.Asio文档提及了执行器（executors），但并未明确说明strand的处理程序是否始终运行在同一线程中。我对此感到好奇，原因在于strand的核心用途就是让开发者无需处理多线程同步问题。假设io_service/io_context配置了多个工作线程，strand的实现逻辑似乎存在两种可能：

• 方案1：在strand的生命周期内，所有处理程序都固定在同一个线程上运行
• 方案2：处理程序可在不同线程上运行，但需满足两个条件：
  • a. 通过特定机制保证处理程序严格按顺序执行
  • b. 跨线程执行时，必须使用memory fence（内存栅栏）确保后续处理程序能看到前序处理程序的所有内存更新

（我强烈怀疑不实现2.b的话，根本无法达成2.a的有序执行保证）

方案2的问题在于内存栅栏会引入性能损耗，但我查阅了所有相关文档，始终找不到任何明确说明strand会始终采用方案1的内容。

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