多线程和Boost::Asio

Posted 2020-06-21 莫嗔

线程安全

一般的，高并发使用不同的对象是安全的，在高并发中使用单一的对象是不安全的，io_service类型提供了单对象高并发的强安全保证。

线程池

多线程可能调用io_service::run()来建立一个可以调用完成句柄的线程池，也可以使用io_service::post()把计算任务交给线程池处理。

所有连接了io_service池的线程被认为是地位相等的，io_service可能通过任意方式给它们分配任务。

内部的线程

这个库在特定平台上可能使用一个或两个内部线程来模拟异步，这些线程对调用者而言是不可见的，尤其是：

不可以直接调用用户的代码

不可以阻塞任何信号

注意事项：

下面的函数违反了第一个规则

ip::basic_resolver::async_resolve() ，所有平台的实现

basic_socket::async_connect() ，windows平台

windows平台上所有涉及null_buffers()的操作，除了一个执行在流导向socket的异步读

这些方法的实现有以下保证性

异步完成句柄只被哪些当前在调用io_service::run()的线程调用

因此，库用户需要创建和管理所有的需要被通知的线程。

这种方法的原因包括：

只在一个线程调用io_service:run()，用户的代码可以避免开发复杂的同步关系，比如，一个用户可以创建可控数量的单线程服务器(从用户角度看是单线程的)

库用户需要在线程启动后执行任何应用代码以前执行初始化操作，比如，microsoft的COM用户需要在任何其他本线程的COM操作调用前执行CoInitializeEx 。

库的接口同线程创建和管理完全解耦，并且允许在线程不可用的平台上实现。