boost::asio::io_service 是否保留处理程序的顺序？

Question

boost::asio::io_service是否保证处理程序的调用顺序与通过post()给出的顺序相同？ 我在文档中找不到任何内容。 假设对io_service::post调用是序列化的。

Answer 1

afaik如果你想保证post处理程序执行的顺序，你必须使用文档中描述的 strand 。

Answer 2

当前实现确实按照发布它们的顺序执行操作，但只保证对通过strand显式post（）编辑的处理程序进行排序。

Answer 3

~~ 对于strand ，似乎不按照您post的顺序保留处理程序执行（与LinkedHashMap不同，当您迭代时，您按照插入元素的顺序迭代元素）。 我认为它只是确保不会同时调用这些处理程序。 ~~

另请参阅链如何保证在 boost.asio 中正确执行未决事件

链为非并发和处理程序的调用顺序提供了保证

在某些情况下，如果在async_op_1(..., s.wrap(a));使用io_context::strand::wrap (deprecated) 或bind_executor ，则无法保证正确执行async_op_1(..., s.wrap(a)); . 当异步操作完成时，包装的处理程序将调用s.dispatch(a) ，但完成时间不确定。

io_context::strand类提供了发布和分派处理程序的能力，并保证这些处理程序不会同时执行。

也可以看看

• Asio 1.4.4 / Boost 1.42

  记录了链对象对处理程序调用顺序的保证。

• io_context::strand - 处理程序调用顺序

  请注意，在以下情况下：

   async_op_1(..., s.wrap(a)); async_op_2(..., s.wrap(b));

  第一个异步操作的完成将执行s.dispatch(a) ，第二个将执行s.dispatch(b) ，但这些执行的顺序未指定。 也就是说，您不能说明一个是否发生在另一个之前。 因此，上述条件均不满足，也不提供订购保证。

• Timer.5 - 在多线程程序中同步处理程序

• 链：使用没有显式锁定的线程

• c++ - boost::io_service 如何保证处理程序的执行顺序

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_2具有完成处理程序task2 。

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