.o文件中的内存共享

Question

可以说我有一个Ac文件并将其编译为Ao文件。 Ac文件如下：

int a;
void add(void)
{
}

Ao文件与Bo一起形成1.exe文件。 Ao文件与Co一起形成一个2.exe文件。

我的问题是，如果我同时运行1.exe和2.exe ，这两个.exe文件的a和add()的地址是否相同？ 换句话说，内存中只有两个Ao还是只有一个？

Answer 1

您的内存中没有任何重定位的目标文件。

^{我猜你有一个Linux系统。 如果在Windows上，原理保持不变，但是细节不同。}

链接器（被称为用于构建1.exe和2.exe ）将构建可执行的ELF文件（由多个段组成，尤其是用于机器代码和只读常量数据的所谓的“文本”段 ，以及“数据”段用于可变数据）。 启动该程序的execve（2）系统调用是内存映射ELF文件的多个段（几乎与某些mmap(2)系统调用一样）。

^{请注意，对于Linux可执行文件使用.exe文件后缀是令人困惑和罕见的。 按照惯例，Linux可执行文件根本没有后缀，并且以小写字母开头。}

链接器已将两个Ao文件复制并重新放置到了不同的文件中（由于relocation ）。 因此，通常会发生1.exe和2.exe中a或add的地址不同的情况，处理它们的机器指令也是如此。

每个进程都有自己的地址空间 （可以通过mmap（2） syscall进行更改）。 键入cat /proc/1234/maps以了解pid 1234进程的地址空间。也可以尝试使用cat /proc/self/maps获取运行该cat的进程的地址空间。

如果不是Ao对象你有一个共享对象 （或动态库） libA.so它的一些（的mmap -ed）段将共享（和其他人将使用写入时复制技术），以及一些搬迁发生在动态链接时（例如，在dlopen如果它是一个插件）。

另请参阅Levine关于链接器和加载器的书 。

Answer 2

a和add的地址将不同。 您有两个进程，因此在此实例中有两个副本在内存中。

Answer 3

它取决于链接....默认情况下，链接始终是动态的，因此当您将两个exe文件加载到内存中时，文件Ao将充当可重入函数，并且它的唯一一个实例将在这两个exe文件共享的内存中。 。

就像printf函数...任何diff diff文件都有很多printf，但是一次内存中只运行一个实例...

可重入函数不应提供您必须注意的任何数据损坏