混合 fPIC 和非 fPIC 对象模块

Mixing fPIC and non-fPIC object modules

环境:Ubuntu16.04

在我的实验中,我 运行 以下命令:

gcc -c 1.c
gcc -c -fPIC 2.c
gcc -shared 1.o 2.o -o libmyxxx.so

我需要公开的函数都通过extern "C"声明在2.c中定义。这些函数在内部调用 1.c.

中定义的其他函数

请注意,我没有将 -fPIC 应用到 1.c。仍然一切似乎 compile/link 没有任何警告。

我们能否得出结论,-fPIC 必须仅应用于公开外部函数的那些源文件?

在更大的图片中,我有一堆可能没有用 -fPIC 标志编译的存档 (.a) 文件。我需要创建一个将 link 与这些存档文件一起使用的自定义共享库。如果我的假设是有效的,我认为 link 可以使用这些存档文件。欣赏你的想法。问候。

Can we conclude that -fPIC must be applied only to those source files that expose external functions?

不,我们不能。 -fPIC 的唯一目的是确保生成的机器代码可以链接到与位置无关的二进制文件中。尽管如此,即使源代码是在没有 -fPIC 的情况下编译的,一些代码也可能看起来是 PIC 就绪的。它可能是没有外部依赖的短自包含函数,无论生成的目标文件中不需要辅助数据结构,如 PLT 和 GOT 条目。

无论如何,如果您的目标文件无法链接到与位置无关的二进制文件,链接器将失败并显示综合错误消息。你需要用这个神奇的选项重新编译它。

因此,您应该始终将 -fPIC 放在共享库的 CFLAGS 中,以节省您自己的时间并避免浪费的重新编译。

如果可执行文件中有一个目标文件,它是在没有 -fPIC 标志的情况下编译的,那么程序文本页面将具有 位置相关的内存引用 。这些页面将无法在 运行 时间重定位到合适的虚拟内存地址(这主要是共享对象的目的)。当你在其他机器上构建你的代码或 link .so 到其他代码时,这些 位置相关的内存引用 会来字节你。

-fPIC 需要生成与位置无关的代码:

  • 全局变量
  • 静态变量
  • 外部变量
  • 字符串常量
  • 获取函数地址

此外,当 compiling/linking 目标文件在 Linux/x86-32 上没有 -fPIC 时,您可能会在没有任何警告或错误的情况下离开;但在某些体系结构上不可能这样做。