跳到主要内容

验证编译后的全局变量初始化

本文档提供了一套完整的验证方法，用于检查全局变量在编译后是否被正确初始化。主要涉及：

  • 查看符号表中的全局变量
  • 检查构造函数是否被正确编译
  • 使用 nm、objdump、gdb 等工具进行深度分析

1. 检查符号表中的全局变量和构造函数​

# 检查 Zebra::global 符号是否存在
nm -C SuperServer | grep "Zebra::global"

# 检查 initGlobal 构造函数
nm -C SuperServer | grep "initGlobal"

# 查看 initGlobal 的详细信息
nm -C -l SuperServer | grep "initGlobal"

2. 使用 objdump 检查构造函数内容​

# 反汇编 initGlobal 函数，查看是否包含所有赋值
objdump -d SuperServer | grep -A 200 "<_ZN5Zebra10initGlobalEv>"

# 或者更精确地查看符号
objdump -d -C SuperServer | grep -A 100 "Zebra::initGlobal()"

3. 运行时验证（推荐）​

创建一个测试程序 test_global.cpp：

#include "Zebra.h"
#include <iostream>

int main()
{
    std::cout << "=== Zebra::global 验证 ===" << std::endl;
    std::cout << "threadPoolCapacity: " << Zebra::global["threadPoolCapacity"] << std::endl;
    std::cout << "server: " << Zebra::global["server"] << std::endl;
    std::cout << "port: " << Zebra::global["port"] << std::endl;
    std::cout << "mysql: " << Zebra::global["mysql"] << std::endl;
    std::cout << "log: " << Zebra::global["log"] << std::endl;
    std::cout << "BOSS_CHU: " << Zebra::global["BOSS_CHU"] << std::endl;
    std::cout << "MIGONGWC: " << Zebra::global["MIGONGWC"] << std::endl;

    // 验证 pk1-pk32
    for (int i = 1; i <= 32; i++)
    {
        char key[32];
        snprintf(key, sizeof(key), "pk%d", i);
        if (Zebra::global[key] != "0")
        {
            std::cout << "ERROR: " << key << " = " << Zebra::global[key] << std::endl;
        }
    }

    std::cout << "=== 验证完成 ===" << std::endl;
    return 0;
}

编译运行：

g++44 -g -O2 -o test_global test_global.cpp base/Zebra.cpp base/zProperties.cpp -I./base -lpthread
./test_global

4. 使用 gdb 验证优化模式下的值​

# 启动 gdb
gdb ./SuperServer

# 在 main 函数设置断点
break main

# 运行程序
run

# 检查全局变量
print Zebra::global
call Zebra::global.dump(std::cout)

# 检查特定键值
print Zebra::global.getProperty("threadPoolCapacity")
print Zebra::global.getProperty("BOSS_CHU")

5. 检查是否所有赋值都被编译器保留​

# 检查编译后的字符串常量是否完整
strings SuperServer | grep "4096"
strings SuperServer | grep "192.168.8.129"
strings SuperServer | grep "mysql://Zebra"
strings SuperServer | grep "BOSS_CHU"
strings SuperServer | grep "MIGONGWC"

# 统计字符串数量（应该包含 43 个初始化值）
strings SuperServer | grep -E "^4096$|^0$|^192\.|^127\." | wc -l

6. 使用 valgrind 检查内存访问​

valgrind --leak-check=full --track-origins=yes \
         --log-file=valgrind_global.log \
         ./SuperServer

# 检查日志中是否有 "Invalid read" 或 "Conditional jump depends on uninitialized value"
grep -i "invalid\|uninitialized\|use of uninitialized" valgrind_global.log

7. 验证 GCC 优化级别影响​

# 编译三个版本对比
make clean
make CXXFLAGS="-g -O0 -pipe"   # 无优化
mv SuperServer SuperServer_O0

make clean
make CXXFLAGS="-g -O1 -pipe"   # 轻量优化
mv SuperServer SuperServer_O1

make clean
make CXXFLAGS="-g -O2 -pipe"   # 标准优化
mv SuperServer SuperServer_O2

# 对比符号表大小
ls -lh SuperServer_O*

# 检查 initGlobal 函数大小
nm -C SuperServer_O0 | grep initGlobal
nm -C SuperServer_O1 | grep initGlobal
nm -C SuperServer_O2 | grep initGlobal

# 运行三个版本，验证输出是否一致
./test_global # 使用 test_global 分别链接三个版本

8. 检查 zRWLock 是否正确初始化​

# 检查 zRWLock 符号
nm -C SuperServer | grep "zRWLock"

# 运行时检查锁是否正常
gdb -batch -ex "run" -ex "print Zebra::global.rwlock" ./SuperServer

推荐验证顺序​

  1. 先用 test_global 快速验证值是否正确
  2. 用 nm 检查符号完整性
  3. 用 objdump 验证构造函数未被过度优化
  4. 用 gdb 在运行时检查实际值
  5. 用 valgrind 检查优化模式下的内存问题