线程安全
一般并发使用不同的对象是安全,但是并发使用单个对象并不安全。但是,诸如io_context类型提供了更强保证,即安全并发使用单个对象
线程池
多个线程通过调用io_context::run()建立线程池,可以从中调用完成处理程序。此方法也可与post()一起使用作为跨线程执行任意计算任务的一种方式。
注意加入io_context池的所有线程都是等效的,并且io_context可以以任何方式在它们之间分配工作。
内部线程
特定平台的库实现可以试用一个或多个线程来模拟异步性。这些线程必须对库用户不可见,特别是,这些线程:
- 不能直接调用用户代码
- 必须阻止所有信号
该方法辅以以下保证:
- 异步完成处理程序只能从当前调用io_context::run()的线程中被调用
因此,库用户有责任创建和管理将被下发通知的所有线程。
采用这种方法的原因包括:
- 只用单个线程调用io_context::run(),用户代码可以避免与同步相关的复杂性。例如,库用户可以实现单线程的可扩展服务器(从用户角度)
- 库用户可能需要在线程启动后和其他应用程序代码执行前进行初始化。例如,Microsoft COM用户必须先执行CoInitializeEx才能从该线程执行COM的任何其他操作
- 库接口与线程的创建和管理接口解耦,允许在线程不可用的平台上实现