我正在尝试调试使用 GCC 编译的 C++ 程序,该程序在启动时冻结。GCC 互斥锁保护函数的静态局部变量,似乎等待获取这样的锁是它冻结的原因。这是如何发生的相当令人困惑。第一个模块 A 的静态初始化发生(有 __static_init 函数 GCC 调用在回溯中可见),它调用具有静态局部变量的函数 Foo()。静态局部变量是一个对象,它的构造函数通过多层函数调用,然后突然回溯有几个??,然后在第二个模块B的静态初始化中(__static函数再次出现) ,然后调用 Foo(),但由于 Foo() 从未在本地静态变量上的互斥锁第一次仍然设置时返回,因此它锁定。
一个静态初始化如何触发另一个?我的第一个理论是共享库——模块 A 会调用模块 B 中的某个函数,这会导致模块 B 加载,从而触发 B 的静态初始化,但情况似乎并非如此。模块 A 根本不使用模块 B。所以我有第二个(也是可怕的)猜测。比如说:
模块 A 使用一些模板函数或模板类中的函数,例如
foo<int>::bar()
模块 B 还使用
foo<int>::bar()
模块 A 完全不依赖于模块 B
在链接时,链接器有两个实例
foo<int>::bar()
,但这没关系,因为模板函数被标记为弱符号......在运行时,模块 A 调用
foo<int>::bar
,并且模块 B 的静态初始化被触发,即使模块 B 不依赖于模块 A!为什么?因为链接器决定在链接时使用模块 B 的 foo::bar 实例而不是模块 A 的实例。
这种特殊情况是否有效?或者一个模块的静态初始化不应该在另一个模块中触发静态初始化?
澄清: GCC 自动创建互斥锁以保护任何函数静态变量。我自己没有对互斥锁做任何事情。这是 GCC 使函数静态变量线程安全的方式。
更新:我知道翻译单元之间没有定义静态初始化,我不应该依赖订单。但我很好奇这是否是正常行为作为调试问题的线索。编译器生成执行此操作的代码是否正常,或者它是否可能表明 GCC 中的错误?