PAYATHON 2026

OpenMP 扩展性实验是否应将 OMP_DYNAMIC 设置为 false？

数据阿明

如果实验要比较程序在不同固定线程数下的扩展性，建议显式设置 OMP_DYNAMIC=false，然后逐次指定 OMP_NUM_THREADS，同时记录实际线程数。这样有助于控制实验变量，但不能由此断定所有论文都采用了这一设置，也不能仅凭该设置保证所有 parallel region 使用相同数量的线程。

为什么建议关闭动态线程数调整？

当 OMP_DYNAMIC=true 时，OpenMP 实现可以在进入 parallel region 时调整线程数，所以请求 8 个线程不一定会实际使用 8 个。设为 false 则会禁用这一动态调整。参见 OpenMP 对 OMP_DYNAMIC 的定义。

当线程数是实验的自变量时，如果横轴标注的是请求线程数，而实际线程数发生变化，就难以解释扩展性曲线。基于这一实验目的，建议显式关闭动态调整。

根据 OpenMP 5.0 的线程数确定规则，动态调整的初始状态由实现定义；依赖特定线程数保证正确性的程序应显式关闭动态调整。这条说明针对程序正确性，并未强制要求所有性能实验关闭动态调整，但它支持在需要控制线程数时显式设置该选项。

它与 dynamic、static 调度有什么区别？

线程团队大小和循环迭代的分配由不同设置控制：

设置控制内容
OMP_DYNAMIC是否允许动态调整 parallel region 的线程团队大小
schedule(static)按静态规则在线程之间分配循环迭代
schedule(dynamic)线程完成一块迭代后，再领取下一块迭代

循环调度是在已有线程团队内分配工作，因此可以同时使用 OMP_DYNAMIC=false 和 schedule(dynamic)。固定线程数不要求采用静态调度。具体语义见 OpenMP 循环工作共享规定。

进行线程数扩展性实验时，建议保持调度策略和 chunk size 一致；如需比较调度策略，再将它作为另一组实验变量。

如何设置并验证？

下面的 shell 示例假设 ./app 已编译为支持 OpenMP 的程序，且测试线程数适合当前分配的计算资源：

export OMP_DYNAMIC=false

for threads in 1 2 4 8; do
    OMP_NUM_THREADS="$threads" ./app
done

也可以在程序中、进入待测 parallel region 之前调用：

omp_set_dynamic(0);

C/C++ API 的准确名称是小写的 omp_set_dynamic()。

验证时，应在待测 parallel region 内获取实际团队大小。例如，可以将以下诊断逻辑放入相关区域：

#include <stdio.h>
#include <omp.h>

int main(void)
{
    int actual_threads = 0;

    #pragma omp parallel shared(actual_threads)
    {
        #pragma omp single
        actual_threads = omp_get_num_threads();

        /* Work to measure goes here. */
    }

    printf("dynamic=%d, actual_threads=%d\n",
           omp_get_dynamic(), actual_threads);
    return 0;
}

omp_get_dynamic() 用于检查当前任务的动态调整设置，omp_get_num_threads() 用于获取当前团队的实际线程数。不要用 parallel region 外的 omp_get_num_threads() 判断待测团队大小；在串行上下文中，它返回 1。诊断输出应放在计时区间之外；对于极短的微基准，还应避免将诊断同步开销计入结果。

为什么设为 false 后仍需检查线程数？

线程数还受到其他条件影响，包括：

  • num_threads(...) 子句和程序对 omp_set_num_threads() 的调用可以改变请求线程数。
  • 当 parallel 构造的 if 条件为假时，该区域使用一个线程。
  • 嵌套并行受到最大活动并行层数的限制，内层区域可能串行执行。
  • OMP_THREAD_LIMIT 等限制会影响可用线程数；关闭动态调整后，如果请求超过可用数量，规范将行为交由实现定义。

这些条件来自线程数确定算法。因此，除了设置 OMP_DYNAMIC=false，还应明确请求线程数、确保资源充足并记录实际团队大小。

实验结果应说明哪些条件？

建议记录编译器和 OpenMP runtime、编译选项、请求线程数和实际线程数、动态调整状态、调度策略、CPU 资源分配及线程亲和性设置。强扩展实验保持总问题规模不变；弱扩展实验说明问题规模如何随线程数增长。每个配置都应重复测量，并报告波动情况。

如果研究目标是评估动态线程调整的效果，或生产配置明确启用了该功能，可以保留 OMP_DYNAMIC=true。这时应将其列为实验条件，并记录实际团队大小。论文没有交代该变量时，不能推断它一定启用或关闭。

备注：内容仅供参考。