相同输入下连续调用strcmp返回不同值的疑难问题排查

问题背景 #

程序中使用strcmp进行字符串比较（每次运行数百至数千次），偶发字符串完全一致但strcmp返回非零的无规律问题。通过GDB断点查看，触发问题时两个字符串（含终止符）完全相同。

为定位问题，修改代码连续两次调用strcmp（已知name应始终匹配R.ecos[0].name）：

Eco *get_eco(const char *name)
{
    int r1 = strcmp(R.ecos[0].name, name);
    int r2 = strcmp(R.ecos[0].name, name);
    if (r1) {
        //break here with GDB
    } else {
        return &R.ecos[0];
    }
    return 0;
}

触发断点时观察到r1=1但r2=0。已排除编译器/strcmp本身bug，程序含FMOD、GLFW3线程，但确认这些线程不会触碰相关内存，暂不考虑竞态条件。

环境信息 #

• 触发平台：Windows + mingw32（多个gcc/gdb版本均复现）
• Linux版本未复现，ASAN运行无错误
• 编译参数：

-static -ggdb -g -O0 -std=c11 -Wall -Wextra -pedantic -Wshadow -Wpointer-arith \
                    -Wcast-align -Wwrite-strings -Wmissing-prototypes \
                    -Wmissing-declarations -Wredundant-decls -Wnested-externs \
                    -Winline -Wno-long-long -Wuninitialized \
                    -Wstrict-prototypes

排查方向 #

1. 内存对齐或mingw32静态编译特性问题 #

mingw32静态编译时，可能存在内存对齐异常导致strcmp的SIMD优化逻辑出错：

• 去掉-static编译参数，改用动态链接的标准库测试
• 为R.ecos[0].name所在的结构体或字符串变量添加对齐属性，比如__attribute__((aligned(8)))，强制按8字节对齐

2. 缓存一致性异常 #

Windows下CPU缓存同步问题可能导致第一次读取字符串时拿到过期数据，第二次读取时缓存更新：

• 在两次strcmp之间插入内存屏障指令，比如__sync_synchronize()（GCC内置），观察是否还会出现r1≠r2的情况
• 将字符串内容复制到栈上的临时变量后再比较，绕开缓存问题：

  char temp_eco_name[256]; // 根据实际字符串长度调整
  strncpy(temp_eco_name, R.ecos[0].name, sizeof(temp_eco_name)-1);
  temp_eco_name[sizeof(temp_eco_name)-1] = '\0';
  int r1 = strcmp(temp_eco_name, name);
  

3. 隐性内存损坏（非直接修改） #

即使线程不直接触碰字符串内存，相邻内存的越界写入可能破坏strcmp的读取逻辑（比如SIMD指令读取到相邻脏数据）：

• 使用Windows下的内存检测工具（如Dr. Memory）扫描内存越界、溢出问题，Linux下ASAN正常不代表Windows环境无内存问题
• 触发断点时，查看字符串指针前后各16字节的内存内容，检查是否有异常值（比如非打印字符、随机值）

4. 替换strcmp实现验证 #

手动实现无优化的字符串比较函数，替换标准库的strcmp，确认问题是否由标准库实现导致：

int my_strcmp(const char *a, const char *b) {
    while (*a != '\0' && *a == *b) {
        a++;
        b++;
    }
    return (unsigned char)*a - (unsigned char)*b;
}

如果用这个函数后问题消失，说明mingw32的标准库strcmp实现存在场景化bug。

5. 排查硬件/驱动干扰 #

FMOD、GLFW3涉及音频和输入驱动，可能存在底层内存访问异常：

• 临时禁用FMOD和GLFW3线程，单独测试get_eco的调用逻辑，看问题是否消失
• 更新显卡、声卡的驱动程序，排除驱动层面的内存访问冲突

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