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

来自cppreference.com
< cpp‎ | algorithm
 
 
算法库
执行策略 (C++17)
execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policy
不修改序列的操作
(C++11)
(C++11)
(C++11)
(C++17)
修改序列的操作
未初始化存储上的操作
划分操作
排序操作
(C++11)
二分搜索操作
集合操作(在已排序范围上)
堆操作
(C++11)
最小/最大操作
(C++11)
(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 起)
1) 该执行策略类型被用作一种独立类型,以对并行算法重载消歧义,并要求并行算法的执行可以不并行化。以此策略调用(通常以 std::execution::seq 指定)的并行算法中,元素访问函数的调用在调用方线程中是非确定顺序的。
2) 该执行策略类型被用作一种独立类型,以对并行算法重载消歧义,并指示并行算法的执行可以并行化。以此策略调用(通常以 std::execution::par 指定)的并行算法中,元素访问函数的调用允许在调用方线程,或由库隐式创建的线程中执行,以支持并行算法执行。任何执行于同一线程中的这种调用彼此间是非确定顺序的,
3) 该执行策略类型被用作一种独立类型,以对并行算法重载消歧义,并指示并行算法的执行可以并行化、向量化,或在线程间迁移(例如用亲窃取的调度器)。容许以此策略调用的并行算法中的元素访问函数调用在未指定线程中以无序方式执行,并相对于每个线程中的另一调用无顺序。

在用这三种执行策略的并行算法的执行中,若元素访问函数的调用由未捕捉的异常退出,则调用 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)
全局执行策略对象
(常量) [编辑]