如何在无需每次访问同步的前提下，保护初始化后只读的全局变量免受数据竞争影响？

这个问题问得非常实在——百万次循环里每次都加原子操作或者锁，那性能开销真的会被放大，换谁都心疼。我来给你拆解几个工业界常用的高效方案，完全适配你的场景：

一、最优解：利用线程启动的先行发生关系（零开销） #

这是最推荐的方案，只要你能保证变量初始化完全完成后，再启动任何需要访问它的线程，那后续所有线程的只读访问根本不需要任何同步操作，直接读就行。

为什么这是安全的？根据C++内存模型的规则：主线程中初始化变量的操作，会先行发生于后续创建的所有线程中的任何操作。换句话说，主线程写入变量的结果，会被所有后续启动的线程“同步到内存视图里”，而且初始化完成后你不会再对变量做任何写入，自然就不存在数据竞争（数据竞争的核心是“一个线程写，另一个线程同时读/写”，这里只有读，没有写）。

对应你的代码，实现起来就是这样：

// 全局配置的声明
namespace Config {
    inline bool bUseBindlessTextures; // 不需要原子，普通bool就行
}

// 主线程入口
int main() {
    // 第一步：先完成所有配置初始化（比如从配置文件读取、解析命令行参数）
    Config::bUseBindlessTextures = loadBindlessTextureSetting(); // 假设这是你的初始化逻辑

    // 第二步：再启动所有工作线程（包括你的渲染线程）
    std::thread renderThread(renderLoop);

    // 等待线程完成（或者处理其他主线程逻辑）
    renderThread.join();
    return 0;
}

// 渲染线程的循环逻辑
void renderLoop() {
    while (isRendering) {
        // 直接读，完全无同步开销，百万次循环也不拖性能
        if (Config::bUseBindlessTextures) {
            /* 执行绑定less纹理的渲染逻辑 */
        } else {
            /* 传统纹理绑定逻辑 */
        }
    }
}

这种方案性能拉满，就是普通的内存读取，完全适配你高频访问的场景。

二、备选方案：如果线程必须提前启动（少见场景） #

如果因为某些限制，你无法等到变量初始化完成再启动线程（比如线程是程序启动时就创建的后台线程），那可以用std::once_flag + std::call_once来保证初始化的线程安全和内存可见性，而且后续访问也不需要同步：

namespace Config {
    inline bool bUseBindlessTextures;
    inline std::once_flag initFlag;

    void initConfig() {
        // 这里的初始化逻辑只会被执行一次
        bUseBindlessTextures = loadBindlessTextureSetting();
    }
}

// 线程中的访问逻辑
void renderLoop() {
    while (isRendering) {
        // 第一次访问时触发初始化，之后直接跳过初始化步骤
        std::call_once(Config::initFlag, Config::initConfig);
        if (Config::bUseBindlessTextures) {
            /* 渲染逻辑 */
        }
    }
}

std::call_once会保证初始化操作只执行一次，并且初始化完成后，所有线程都能看到正确的变量值，后续调用不会有额外开销。

关键注意事项 #

• 无论用哪种方案，初始化完成后绝对不能再修改这个变量！一旦有任何写入操作，之前的安全保证就全部失效，必须回到原子操作或锁的同步方式。
• 如果你用C++20及以上版本，还可以用constinit声明变量，强制它在程序启动的静态初始化阶段完成初始化（前提是你的初始化逻辑是常量表达式），这样也能保证所有线程看到的都是正确初始值，后续只读访问完全安全。

内容来源于stack exchange