跨线程调用io_context的co_spawn是否安全？能否保证同线程执行？

以下是简化的项目代码片段：

#include <boost/asio.hpp>
#include <boost/asio/co_spawn.hpp>
#include <boost/asio/detached.hpp>
#include <thread>

boost::asio::awaitable<void> my_coroutine() { /* ... */ }

void worker_thread(boost::asio::io_context& io)
{
  boost::asio::co_spawn(io, my_coroutine, boost::asio::detached);
}

int main()
{
  boost::asio::io_context io;
  std::thread main_thread([&io](){ io.run(); });
  std::thread worker_thread(worker_thread, std::ref(io));
  main_thread.join();
  worker_thread.join();
  return 0;
}

有两个技术疑问：

1. 上述代码中，跨线程以此方式使用io_context是否安全？能否确保不存在并发访问问题？
2. co_spawn启动的协程是否能保证在调用它的线程上执行，还是存在在其他线程被调用的可能？

解答 #

1. 跨线程使用io_context的安全性 #

Boost.Asio的io_context本身是线程安全的设计，支持多线程同时调用其成员函数（包括co_spawn、run等）。你代码里跨线程传递io_context引用并调用co_spawn的方式完全安全，不会出现并发访问问题。

需要明确的是，io_context的run()、run_one()这类执行函数可以被多个线程同时调用，这些线程会自动分担处理io_context的任务队列，不需要额外加同步锁。

2. 协程的执行线程 #

co_spawn启动的协程不会固定在调用co_spawn的线程上执行。协程会被加入到io_context的任务队列中，任何调用了该io_context的run()（或同类执行函数）的线程，都有可能从队列中取出并执行这个协程。

也就是说，只要有多个线程在运行同一个io_context，协程的执行线程是不确定的——可能是调用co_spawn的线程，也可能是其他运行io_context的线程。如果需要让协程固定在特定线程执行，得结合strand实现序列化执行，确保协程的所有操作都在strand关联的线程上处理。

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