boost :: io_service如何保证处理程序执行顺序

capone 发表于 Dev

卡彭

我的线程池boost::io_service位于顶部。我将它用于整个应用程序中不同的CPU绑定任务。对于某些任务，我必须保证任务将以指定的顺序执行（解码视频流）。使用io_service::strand保证当前不会执行任务，但是不能保证执行顺序。换句话说，任务＃5可以在任务＃4之前执行。除了在执行当前任务后安排下一个任务之外，是否有任何方法可以解决该问题。

坦纳·桑斯伯里（Tanner Sansbury）

strand提供了不同时执行完成处理程序的保证，并定义了处理程序调用的顺序。简而言之，发布到中的完成处理程序strand的执行顺序与发布它们的顺序相同。

因此：

strand_.post(&task1);
strand_.post(&task2);
strand_.post(&task3);

确保处理程序调用的顺序为task1-> task2-> task3。但是，由于不确定执行异步操作的顺序，因此不能保证为异步操作包装完成的处理程序。例如，以下内容不能提供相同的保证：

async_read(socket1, ..., strand_.wrap(&task1));
async_read(socket2, ..., strand_.wrap(&task2));
async_read(socket3, ..., strand_.wrap(&task3));

如果必须以指定的顺序调用完成处理程序以进行异步操作，则可以：

对完成处理程序进行排队，并手动管理订单。
序列化所有异步操作。例如，async_op_1的完成处理程序以的完成处理程序task1启动。async_op_2task2

下面是相关的摘录io_service::strand的处理程序调用的顺序文件：

鉴于：

股线对象 s

a满足完成处理程序要求的对象

一个对象a1，该对象是实现实现的任意副本

b满足完成处理程序要求的对象

一个对象b1，该对象是实现实现的b的任意副本

如果满足以下任一条件：

s.post(a) 发生之前 s.post(b)

...

然后asio_handler_invoke(a1, &a1)发生-before asio_handler_invoke(b1, &b1)。