最近在写自己的小应用的时候,开始涉及到boost.asio,之前在项目中也没有系统性的学习过。于是,趁着这个时间好好学习一下。
最好的入门资料当然是boost的官方文档,将几篇翻译的文档放在下边。
声明,我当然不会投入巨大的精力翻译这样的文档,从某种严格意义上来讲,我是在必应或者谷歌提供的翻译基础上做了一些校对,使句子不那么显得机器。
大多数程序以某种方式与外部世界交互,无论是通过文件、网络、串行电缆还是控制台。有时,与网络一样,单个 I/O 操作可能需要很长时间才能完成。这给应用程序开发带来了特殊挑战。
Boost.Asio 提供了管理这些长时间运行操作的工具,无需程序使用基于线程和显式锁定的并发模型。
Boost.Asio 库专为使用C++进行系统编程的程序员而使用,通常需要访问操作系统功能(如网络)。特别是,Boost.Asio 解决了以下目标:
尽管 Boost.Asio 开始主要关注网络,但其异步 I/O 概念已扩展至包括其他操作系统资源,如串行端口、文件描述符等。
note: 这是一篇介绍为什么写boost.asio以及boost.asio遵循的几个规则或者说信条。
Boost.Asio可用于对I/O对象(如套接字)执行同步和异步操作。在使用Boost.Asio 之前,了解 Boost.Asio、您的程序以及它们如何协同工作的概念图片可能很有用。
作为介绍性示例,让我们考虑在套接字上执行连接操作时会发生什么情况。我们将首先检查同步操作。
你的程序将至少有一个io_context对象。io_context代表你的程序指向操作系统的 I/O 服务的链接。io_service是老版本,io_context是新的。
boost::asio::io_context io_context;
要执行 I/O 操作,程序将需要 I/O 对象(如 TCP 套接字):
boost::asio::ip::tcp::socket socket(io_context);
执行同步连接操作时,将发生以下事件序列:
socket.connect(server_endpoint);
boost::system::error_code ec;
socket.connect(server_endpoint, ec);
然后,error_code变量 ec 将设置为操作的结果,并且不会引发异常。
使用异步操作时,将发生不同的事件序列。
socket.async_connect(server_endpoint, your_completion_handler);
其中your_completion_handler是具有签名的函数或函数对象:
void your_completion_handler(const boost::system::error_code& ec);
所需的确切签名取决于正在执行的异步操作。参考文档指示每个操作的正确签名。
I/O 对象将请求转发到io_context。
io_context向操作系统发出信号,表明它应该启动异步连接。
时间流逝。(在同步情况下,此等待将完全包含在连接操作的持续时间内。也就是阻塞)
操作系统通过将结果放在队列中来指示连接操作已完成,io_context即可接收结果。
程序必须调用 io_context::run()(或类似的io_context成员函数之一),才能检索结果。当有未完成的异步操作时,对 io_context::run() 的调用会阻塞。因此,通常会在第一个异步操作启动后立即调用它。
在调用 io_context::run()时,io_context从队列中取出操作结果,将其转换为error_code,然后将其传递给完成处理回调函数。
这是 Boost. Asio 操作的简化图片。如果需要更深入的了解,例如扩展 Boost.Asio 以执行其他类型的异步操作,则需要进一步深入了解文档。
Boost.Asio 库提供对同步和异步操作的支持。异步支持基于 Proactor 设计模式 [POSA2]。与仅同步或Reactor方法相比,这种方法的优缺点如下所述。
让我们来研究一下在不提及特定于平台详细信息情形下,Proactor 设计模式是如何在 Boost.Asio 中实现的。
定义异步执行的操作,例如套接字上的异步读取或写入。
— Asynchronous Operation Processor
执行异步操作,并在完成后,向完成事件队列添加完成时间。从抽象的角度来看,内部服务如reactive_socket_service是asynchronous operation processors。
— Completion Event Queue
缓冲完成事件,直到它们被异步事件多路复用器从队列中取出。
— Completion Handler
处理异步操作的结果。这些是函数对象,通常使用boost :: bind创建
— Asynchronous Event Demultiplexer
Blocks waiting for events to occur on the completion event queue, and returns a completed event to its caller.
阻塞等待事件在完成事件队列上发生,并将完成的事件返回给其调用方。
— Proactor
Calls the asynchronous event demultiplexer to dequeue events, and dispatches the completion handler (i.e. invokes the function object) associated with the event. This abstraction is represented by the io_context class.
— Initiator
Application-specific code that starts asynchronous operations. The initiator interacts with an asynchronous operation processor via a high-level interface such as basic_stream_socket, which in turn delegates to a service like reactive_socket_service.