禁用优化的MSVC环境中，访问全局静态变量为何性能更优？

你遇到的这个反常现象，核心原因是禁用优化时MSVC生成的汇编代码中，指令级并行（ILP）的差异，而非静态变量本身的读写性能问题。

先明确两个测试代码（禁用MSVC优化/O0）：

代码1（耗时约525ms） #

static unsigned long long s_Data = 1;

int main()
{
    unsigned long long x = 0;

    for (int i = 0; i < 1'000'000'000; i++)
    {
        x += i + s_Data;
    }

    return 0;
}

代码2（耗时约1050ms） #

static unsigned long long s_Data = 1;

int main()
{
    unsigned long long x = 0;

    for (int i = 0; i < 1'000'000'000; i++)
    {
        x += i;
    }

    return 0;
}

关键差异分析 #

在禁用优化的情况下，MSVC会将几乎所有变量（包括x和i）存储在栈内存中，每次循环都要执行内存读写操作，此时指令间的依赖关系对流水线效率的影响被极度放大：

1. 代码1的指令并行性：
   循环内的x += i + s_Data可拆分为两个独立操作：

   • 计算i + s_Data：i从栈加载后扩展为64位，与已被CPU缓存的静态变量s_Data相加（由于s_Data只读，CPU会将其长期缓存到寄存器或L1缓存中）。
   • 加载当前x的值。
     这两个操作无数据依赖，可被CPU流水线同时执行。后续的x += 计算结果能更快进入执行阶段，减少流水线停顿。

2. 代码2的指令依赖瓶颈：
   循环内的x += i存在严格先后依赖：

   • 必须先从栈加载x的当前值，才能与i扩展后的64位值相加。
   • 相加完成后，才能将新值写回栈中的x。
     下一次循环又要重复等待x的加载操作，导致流水线频繁停顿，整体耗时翻倍。

补充说明 #

你之前对静态变量的认知（读快写慢）没错，但这个场景中s_Data是只读访问，完全没有写入操作，所以性能差异和静态变量的读写特性无关，本质是禁用优化后指令流水线的并行效率差异。如果开启编译器优化（如/O2），两个代码的耗时会趋近一致——编译器会将循环展开、把变量放入寄存器，消除内存读写的瓶颈和指令依赖问题。

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