OpenMP并行循环中仅执行一次日志输出的跨平台实现问题

原代码中共享变量first_iteration存在竞态条件，多个线程会同时读取并修改它，导致日志被多次输出，甚至触发未定义行为（如段错误）。而#pragma omp atomic read在Visual Studio 2019中不被支持（其OpenMP实现未兼容该子句），因此需要采用同时兼容VS2019和g++11.3.0的方案。

方案一：使用OpenMP single 指令（推荐） #

single 指令是OpenMP 2.0标准就支持的特性，VS2019和g++11.3.0均完全兼容。它能保证代码块仅由并行区域中的一个线程执行一次，其余线程直接跳过。

修改后的代码：

#pragma omp parallel schedule(runtime)
{
    // 仅一个线程执行日志输出
    #pragma omp single
    {
        FILE_LOG(logINFO) << "blablabla";
    }

    // 并行执行循环体
    #pragma omp for
    for (int j = 0; j < items.size(); j++) {
        // do something
    }
}

该方案无需额外变量，逻辑清晰且性能最优，因为OpenMP runtime会直接调度单个线程执行single块，避免了不必要的同步开销。

方案二：使用C++14原子变量的比较交换操作 #

如果不想拆分parallel for结构，可以利用C++14标准的std::atomic原子操作，通过compare_exchange_strong实现原子性的判断与修改，确保只有第一个线程能执行日志输出。

修改后的代码：

#include <atomic>

// 定义原子布尔变量，初始为true
std::atomic<bool> first_iteration(true);

#pragma omp parallel for schedule(runtime)
for (int j = 0; j < items.size(); j++) {
    bool expected = true;
    // 原子比较交换：仅当first_iteration为true时，将其设为false并返回true
    if (first_iteration.compare_exchange_strong(expected, false)) {
        FILE_LOG(logINFO) << "blablabla";
    }

    // do something
}

compare_exchange_strong是C14标准特性，VS2019和g11.3.0均支持，该操作能保证原子性，避免竞态条件。

内容的提问来源于stack exchange，提问作者Honza S.