了解Linux中的动态库加载

Question

我试图从这里[1]了解Linux中的动态库加载，并想澄清一下这个概念。 具体而言，在Linux环境中的进程中加载​​动态库时，它会在地址空间中的任意位置加载。 现在，一个库具有一个代码段和一个数据段。 未预先定义代码段的地址，因此它是0x0000000，而对于数据段，则将某个数字定义为地址。

但这是技巧，数据段的此地址实际上不是真实地址。 实际上，无论在什么位置加载代码段，都会将数据段的预定义地址添加到其中。

我在这里正确吗？

被引用的文章还有另外一件事。 这句话是什么意思？

但是，我们有一个限制，那就是共享库在每个进程中仍然必须有一个unueue数据实例。 尽管可以在运行时将库数据放置在我们想要的任何位置，但这将需要留下重定位以修补代码并告知其实际查找数据的位置—破坏了代码的始终只读属性，从而破坏了可共享性。

[1] http://www.technovelty.org/linux/plt-and-got-the-key-to-code-sharing-and-dynamic-libraries.html

Answer 1

实际上，无论在什么位置加载代码段，都会将数据段的预定义地址添加到其中。

是。 数据段的“ VirtAddr”将被添加到基址。

这句话是什么意思？

这意味着当库访问其自身的静态数据时，我们不应在库代码中使用重定位。 否则，链接程序可能需要修补二进制代码，从而导致在进程之间取消共享库代码的某些部分（如果process1在0x40000000加载库lib1，而process2在0x50000000加载lib1，则它们的数据重定位将有所不同）。

因此，现实生活中使用了不同的解决方案。 库代码和数据都一起加载，并且代码和数据之间的偏移量对于所有情况都是固定的。 您引用的文字后有“解决方案”： http : //www.technovelty.org/linux/plt-and-got-the-key-to-code-sharing-and-dynamic-libraries.html

从上面的标头中可以看到，解决方案是将读写数据节始终放在库的代码节的已知偏移处。 这样，通过虚拟内存的魔力，每个进程都可以看到自己的数据部分，但是可以共享未修改的代码。 访问数据所需要做的只是一些简单的数学运算。 我想要的东西的地址=我的当前地址+已知的固定偏移量。