类 ara::core::Executor

类 ara::core::Executor 提供了在保证线程安全的上下文中异步执行可调用对象的接口。任务既可以通过 execute [SWS_CORE_00024] 以结果导向的方式启动，并返回用于值或错误代码的 ara::core::Future；也可以通过 oneway_execute [SWS_CORE_00025] 在 Fire-and-Forget 模式下以与状态无关的方式传递。作为关键边界条件需要注意的是，execute 本身不是线程安全的，在同一实例上的并发调用必须在外部进行同步，而 Callable 在后台的执行则是线程安全的。

更多 ›

上下文

类 ara::core::Executor 为执行上下文提供接口，该上下文在有保证的线程安全环境中异步执行可调用单元（Callable）。它充当调用线程与异步后台处理之间的抽象层。对于任务传递，有两种机制可用：方法 execute [SWS_CORE_00024] 以结果导向的方式传递任务并返回 ara::core::Future 对象，可以通过该对象同步并查询后续的返回值或错误代码。对于纯通知或与状态无关的后台操作，该类提供了方法 oneway_execute [SWS_CORE_00025]，该方法遵循 Fire-and-Forget 语义，不向调用方返回异步上下文。推测具体的后台实现封装了线程管理或任务队列，以协调并发处理。 问题 Q-068fe33f2900d6cf (未决)

生命周期

ara::core::Executor 的实例化和生命周期在异常安全性和线程安全性方面遵循差异化的规则：

• 复制：复制构造函数 [SWS_CORE_00009] 以及复制赋值运算符 [SWS_CORE_00017] 被指定为线程安全，但未被归类为异常安全（not exception safe）。因此，如果无法分配所需资源，复制过程可能会失败。
• 移动：移动构造函数 [SWS_CORE_00015] 和移动赋值运算符 [SWS_CORE_00018] 被声明为 noexcept，因而属于异常安全。然而，移动操作不是线程安全的（not thread-safe），因此移动期间的并发访问必须由调用方进行同步。
• 销毁：析构函数 [SWS_CORE_00019] 为 noexcept 且为线程安全实现，从而可以安全终止实例的生命周期。

关于运行期间的并发性，呈现出一种根本性的划分：虽然 oneway_execute [SWS_CORE_00025] 是线程安全的，但 execute [SWS_CORE_00024] 被归类为非线程安全。execute 缺乏线程安全性可能是由于内部生成和管理所得 Future 的底层状态对象所致，因此必须对同一实例上 execute 的并发调用进行外部同步。 问题 Q-4425e6b07758230e (未决)

使用路径

ara::core::Executor 的使用分为两条主要路径，具体取决于是否需要返回值：

1. 结果导向路径（execute）：调用方将可调用对象 f 以及可选参数 p... 传递给 execute [SWS_CORE_00024]。该方法立即返回一个 ara::core::Future，其结果类型基于调用的推导返回类型。Callable 在有保证的上下文中异步执行。一旦处理完成，调用方就可以从 Future 中提取结果值或潜在的错误代码。
2. 单向路径（oneway_execute）：如果调用方既不需要反馈也不需要同步，则调用 oneway_execute [SWS_CORE_00025]。Callable 同样异步执行，但不存在返回值（void）。

时序图：通过 execute 进行异步任务处理以及通过 Future 查询结果。来源：[SWS_CORE_00024]

错误场景

调用方法 execute [SWS_CORE_00024] 和 oneway_execute [SWS_CORE_00025] 不抛出 C++ 异常；两者均被显式指定为 noexcept。同样，规范未针对 execute 的传递调用本身定义标准化错误代码 [SWS_CORE_00024]。

然而，如果在 Callable 的异步处理期间发生错误，则该错误将通过 execute 返回的 ara::core::Future 传播：在发生错误时，Future 封装错误代码；而在成功时，将提供带有函数结果的类型 ara::core::Result::value_type [SWS_CORE_00024]。对于 oneway_execute [SWS_CORE_00025]，由于设计原因，无法向调用方返回错误；错误保留在异步上下文中。