std::execution::sequenced_policy, std::execution::parallel_policy, std::execution::parallel_unsequenced_policy, std::execution::unsequenced_policy

来自cppreference.com
< cpp‎ | algorithm
 
 
算法库
受约束算法及范围上的算法 (C++20)
受约束算法: std::ranges::copy, std::ranges::sort, ...
执行策略 (C++17)
execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policyexecution::parallel_unsequenced
(C++17)(C++17)(C++17)(C++20)
不修改序列的操作
(C++11)(C++11)(C++11)
(C++17)
修改序列的操作
Partitioning operations
划分操作
排序操作
(C++11)
二分搜索操作
集合操作(在已排序范围上)
堆操作
(C++11)
最小/最大操作
(C++11)
(C++17)

排列
数值运算
未初始化存储上的操作
(C++17)
(C++17)
(C++17)
C 库
 
在标头 <execution> 定义
class sequenced_policy { /* unspecified */ };
(1) (C++17 起)
class parallel_policy { /* unspecified */ };
(2) (C++17 起)
class parallel_unsequenced_policy { /* unspecified */ };
(3) (C++17 起)
class unsequenced_policy { /* unspecified */ };
(4) (C++20 起)
1) 以该执行策略类型为一种独有类型,对并行算法重载消歧义,并要求并行算法的执行可以不并行化。以此策略调用(通常以 std::execution::seq 指定)的并行算法中,元素访问函数的调用在调用方线程中是非确定顺序的。
2) 以该执行策略类型为一种独有类型,对并行算法重载消歧义,并指示并行算法的执行可以并行化。以此策略调用(通常以 std::execution::par 指定)的并行算法中,元素访问函数的调用允许在调用方线程,或由库隐式创建的线程中执行,以支持并行算法执行。任何执行于同一线程中的这种调用彼此间是非确定顺序的,
3) 以该执行策略类型为一种独有类型,对并行算法重载消歧义,并指示并行算法的执行可以并行化、向量化,或在线程间迁移(例如用亲窃取的调度器)。容许以此策略调用的并行算法中的元素访问函数调用在未指定线程中以无序方式执行,并相对于每个线程中的另一调用无顺序。
4) 以该执行策略类型为一种独有类型,对并行算法重载消歧义,并指示可将算法的指向向量化,例如在单个线程上使用在多个数据项上操作的指令指执行。

在执行这写执行策略的并行算法的过程中,若元素访问函数的调用因未捕捉的异常退出,则调用 std::terminate ,但实现可以定义以其他方式处理异常的额外执行策略。

注解

在使用并行执行策略时,程序员负责避免数据竞争和死锁:

int a[] = {0,1};
std::vector<int> v;
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int i) {
  v.push_back(i*2+1); // 错误:数据竞争
});
std::atomic<int> x{0};
int a[] = {1,2};
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int) {
  x.fetch_add(1, std::memory_order_relaxed);
  while (x.load(std::memory_order_relaxed) == 1) { } // 错误:假设执行顺序
});
int x = 0;
std::mutex m;
int a[] = {1,2};
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int) {
  std::lock_guard<std::mutex> guard(m);
  ++x; // 正确
});

无顺序执行策略是函数调用彼此间无顺序的仅有情况,这意味着它们可以穿插。 C++ 的所有其他情况中,它们都是非确定顺序的(不能穿插)。因此,在使用这些策略时,不允许用户分配或解分配内存、使用非免锁的 std::atomic 特化、获得互斥或通常而言进行任何向量化不安全操作(向量化不安全函数是与其他函数同步的函数,例如 std::mutex::unlock 与前一 std::mutex::lock 同步)

int x = 0;
std::mutex m;
int a[] = {1,2};
std::for_each(std::execution::par_unseq, std::begin(a), std::end(a), [&](int) {
  std::lock_guard<std::mutex> guard(m); // 错误: lock_guard 构造函数调用 m.lock()
  ++x;
});

若实现无法并行化或向量化(例如由于资源不足),则所有标准执行策略都能回落到按顺序执行。

参阅

(C++17)(C++17)(C++17)(C++20)
全局执行策略对象
(常量)