动态链接、内存使用和并发性

Dynamic linking, memory usage and concurrency

本文关键字：并发链接内存动态更新时间：2023-10-16

当可执行文件与静态库链接时，可执行文件只包含代码中使用的必要库部分，对吗?

但是我错过了部分-共享对象(动态链接库)是如何使用的?

据我所知，它们不包括在可执行文件中，它们是使用dlopen动态加载的，这是由链接器直接完成的，对吗?

在这种情况下，这个库位于内存中的哪个位置?我的意思是，这里有一些帖子，解释了动态库可以减少内存使用，但究竟如何呢?如果动态库以某种方式加载到共享内存中(针对多个进程)，那么内核如何处理这种情况下的并发性?

_{我意识到这可能是一些基本的东西，抱歉，如果这是重复的，我找不到这样的}
_{我知道静态链接和动态链接，我的问题有点不同。}

共享库确实被加载到所有"用户"(使用相同库的所有应用程序)之间共享的内存中。

这基本上是通过引用计数来完成的，因此对于库的每个新用户，引用都会被计数。当应用程序退出时，引用计数将被计数。如果它变为零，则不再需要该库，并将从内存中删除(很可能只有在"其他事情需要内存"时才会删除，而不是"立即")。引用计数是由内核"自动"完成的，因此不存在并发性冲突。

注意，只有共享库中的代码才是真正共享的。任何数据段在每个进程中都是私有的。

动态库只对所有使用它们的进程加载一次。然后，操作系统将动态库的内存映射到进程地址空间中。这样，它只消耗一次所需的内存。使用静态链接，所有可执行文件都包含静态链接的代码。加载可执行文件时，也会加载静态链接的代码。这意味着，一个包含在10个可执行文件中的函数在内存中驻留10次。