带par_unseq选项的transform()作用是什么？此行为描述是否准确？

你需要为transform()提供：

• 输入范围（类型IT）：(ibegin, iend)
• 输出目标范围（类型OT）：(obegin, oend)
• 无副作用函数f

代码示例：

OT f(IT x);

transform(execution::par_unseq, ibegin, iend, obegin, f);

假设运行该函数的机器每个核心都有L1/L2/L3缓存层级，你对执行流程的描述如下：

• 第一阶段：transform()会将每个输入值映射到一个核心，并将所有选中的输入值复制到对应核心。
• 第二阶段：完成上述操作后，每个核心可对自身输入运行函数以生成输出，此过程有望在最快的缓存层级进行。若输入需访问共享内存（如数据含需解引用的指针），所有核心会并发访问内存，可能拖慢运行速度。
• 第三阶段：该过程结束后，各核心生成的输出会被复制到transform()的输出容器（由obegin指向）。

请问上述描述是否准确？还是会存在其他预期行为？

回答 #

你的描述存在部分不准确之处，实际执行流程更灵活，细节修正与补充如下：

1. 第一阶段：任务划分与数据访问 #

transform不会为单个输入值分配核心，而是将输入范围划分为若干任务块（chunk），每个核心负责处理一个或多个任务块。同时，它不会主动复制输入值到核心——核心直接通过内存地址访问数据，数据从主存加载到核心缓存（L1/L2）是CPU缓存的自动行为，而非transform显式执行的复制操作。

2. 第二阶段：并行执行函数 #

• 核心处理任务块时，优先从最快的缓存层级（L1）获取数据，这部分描述是正确的。
• 若输入包含需解引用的指针，并发访问内存不一定会拖慢速度：只有当多个核心访问的内存处于同一缓存行（伪共享）时，才会引发缓存频繁失效，大幅降低性能；若访问的是不同缓存行的内存，通常不会有显著影响。

3. 第三阶段：输出结果写入 #

核心处理完任务块后，会直接将结果写入obegin指向的输出容器对应内存位置，并非“复制”操作。同样，数据写入缓存到同步主存的过程由CPU自动处理，无需transform额外执行复制步骤。

其他预期行为 #

• 任务划分粒度由标准库实现和系统资源动态调整，若核心负载不均，会进行任务重分配以实现负载均衡。
• par_unseq策略支持向量化执行（SIMD指令），单个核心可同时处理多个元素，这是seq或par策略不具备的特性。
• 若函数f存在隐含依赖（如访问全局变量，即使声明无副作用），会触发数据竞争，导致行为未定义。

内容的提问来源于stack exchange，提问作者Ludovic Aubert