Boost.Asio Strand多线程场景下线程使用异常的原因问询

环境

• 操作系统：Win12
• 库版本：boost::asio 1.82.0
• 编译器：MSVC 2022（测试过C14、C20标准及不同编译器配置）

问题背景 #

我正在逐步理解io_context的工作机制，尝试用多线程（暂不使用线程池）实现任务提交，先后编写三段代码：

1. 直接向io_context提交任务：输出因线程竞争出现乱序换行
2. 用std::mutex同步输出：结果正常，但希望仅使用Asio组件实现
3. 改用strand提交任务：发现仅两个线程被使用，且第一个线程仅执行一次任务

疑问 #

• 为何strand仅使用部分线程？
• 该行为能否从Asio文档中找到依据？

解答 #

strand的核心作用是保证任务串行执行，它本质是一个有序任务队列，所有通过strand提交的任务必须按顺序执行，同一时刻只能有一个任务在运行。

当你用多线程运行io_context的run()方法时，strand会通过内部同步机制，确保同一时间只有一个线程能从它的任务队列中取出任务执行。你观察到的“仅两个线程被使用、第一个线程仅执行一次”，是strand调度逻辑的必然结果：

• 第一个线程拿到strand的任务并执行时，其他线程会被strand的同步机制阻塞，直到当前任务完成；
• 第一个任务执行完毕后，strand会唤醒等待的线程，此时某个等待的线程会拿到下一个任务执行——后续任务可能由同一个线程处理，也可能切换到另一个线程，但绝不会同时有多个线程处理strand的任务。

这种行为完全符合Asio的设计逻辑，Asio文档明确说明strand的作用是提供串行化任务执行的上下文，它的调度机制就是为了保证任务的顺序性，因此不会让多个线程同时处理strand中的任务，自然也就不会用到所有线程——只有当strand有任务需要执行时，才会唤醒一个线程来处理，其他线程要么处理io_context中的其他非strand任务，要么处于等待状态。

如果希望让更多线程参与工作，可以把不同任务分到不同strand中，或者同时向io_context提交非strand管理的任务，这样其他线程就会有任务可处理。

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