我将一个线程局部变量添加到几个始终直接链接到可执行文件的目标文件中.这些对象永远不会包含在共享库中(并且可以安全地假设在可预见的未来这将成立).这意味着这些对象不需要-fPIC标志,对吗？

默认情况下,我们的代码库为所有对象都有-fPIC标志.其中许多都包含在共享库中,因此使用-fPIC是有意义的.但是,这个标志提出了调试新线程局部变量的问题,因为GDB crashes while stepping over thread local variable with -fPIC.如果我用新线程局部变量从那些少数目标文件中删除-fPIC,我可以正确调试.

我找不到任何权威的声明,将非PIC对象与PIC对象混合在一个可执行文件中是可以的.到目前为止,我的测试显示它没有问题,但它并不感觉犹太人,并且由于共享库案例,在线讨论通常是“不混合PIC和非PIC”.

在这种情况下,将非PIC对象链接到使用PIC对象和库构建的可执行文件是否安全？也许GCC文件中有关于此安全的权威声明,但我找不到它.

编辑：二进制修补gcc以避免这个bug在短期内不是解决方案.在Linux上切换编译器不是一个可能的解决方案.

解决方法:

除了上面的错误,它应该没问题.我无法向您提供描述此事的最终文件的参考,但只能从经验中说出来.
当您指定-fPIC时,gcc(或汇编程序)将生成不同的代码,但生成的代码仍使用标准化的重定位符号.
为了将各个部分链接在一起,这一点无关紧要,链接器只会顽固地将所有内容串在一起,并且不知道代码是否表示非PIC代码上的PIC.我知道这是因为我使用的系统不支持共享库,我不得不包装自己的加载器.

最后一点是,您可以告诉链接器生成的对象是否应该是共享库.只有这样,链接器才会生成一些(特定于操作系统的)结构和符号来表示im- / exports.
否则链接器将完成其工作,主要区别在于缺少符号将导致错误.

编译器链接器之间的清晰分离应该保证标志不重要(在性能差异之外).我会小心LTO很难,这在过去有不同的编译器设置有几个问题.

如上所述,我花了一些时间来调查这个和红色的几个关于ELF和动态加载器的文档.您会发现明确提到无法链接PIC /非PIC,但链接过程实际上并不关心输入的编译器设置,有效代码将保留有效代码.

如果要将非PIC代码链接到共享库(PIC),链接器将在遇到绝对重定位时退出(很可能).
如果要将任何代码链接到程序,则仅限于最终程序可以处理的内容.在支持PIC的操作系统上,您可以使用任何内容,否则链接器可能会抱怨缺少符号或不支持的节/重定位类型.