4

我正在尝试调试使用 GCC 编译的 C++ 程序,该程序在启动时冻结。GCC 互斥锁保护函数的静态局部变量,似乎等待获取这样的锁是它冻结的原因。这是如何发生的相当令人困惑。第一个模块 A 的静态初始化发生(有 __static_init 函数 GCC 调用在回溯中可见),它调用具有静态局部变量的函数 Foo()。静态局部变量是一个对象,它的构造函数通过多层函数调用,然后突然回溯有几个??,然后在第二个模块B的静态初始化中(__static函数再次出现) ,然后调用 Foo(),但由于 Foo() 从未在本地静态变量上的互斥锁第一次仍然设置时返回,因此它锁定。

一个静态初始化如何触发另一个?我的第一个理论是共享库——模块 A 会调用模块 B 中的某个函数,这会导致模块 B 加载,从而触发 B 的静态初始化,但情况似乎并非如此。模块 A 根本不使用模块 B。所以我有第二个(也是可怕的)猜测。比如说:

  1. 模块 A 使用一些模板函数或模板类中的函数,例如foo<int>::bar()

  2. 模块 B 还使用foo<int>::bar()

  3. 模块 A 完全不依赖于模块 B

  4. 在链接时,链接器有两个实例foo<int>::bar(),但这没关系,因为模板函数被标记为弱符号......

  5. 在运行时,模块 A 调用foo<int>::bar,并且模块 B 的静态初始化被触发,即使模块 B 不依赖于模块 A!为什么?因为链接器决定在链接时使用模块 B 的 foo::bar 实例而不是模块 A 的实例。

这种特殊情况是否有效?或者一个模块的静态初始化不应该在另一个模块中触发静态初始化?

澄清: GCC 自动创建互斥锁以保护任何函数静态变量。我自己没有对互斥锁做任何事情。这是 GCC 使函数静态变量线程安全的方式。

更新:我知道翻译单元之间没有定义静态初始化,我不应该依赖订单。但我很好奇这是否是正常行为作为调试问题的线索。编译器生成执行此操作的代码是否正常,或者它是否可能表明 GCC 中的错误?

4

2 回答 2

4

欢迎来到“静态初始化命令惨败”。您可能应该只阅读整篇文章,因为它将(详细)描述您如何遇到此问题以及如何解决它。

于 2010-04-15T05:58:55.557 回答
2

Bill 拿出 Effective C++ Item 4

不同翻译单元中定义的非局部静态对象的初始化顺序未定义

简而言之,编译器可以为所欲为。

于 2010-04-15T00:44:11.420 回答