28｜程序可以在运行时进行链接吗？

老师，有几个问题想了解下： 1. 假设共享库 M，引用由应用程序定义的某个全局变量 g。而 A、B 程序都链接了 M，那么 M 中的 .got 是不是需要复制一份？因为 A、B 中 g 变量的虚拟地址不一样。 2. 关于 _dl_runtime_resolve 做符号重定位，是会遍历到所有依赖的动态库吗？如果两个动态库中都有这个符号，那么会定位到顺序靠前的动态库中的符号？ 3. 如果第 2 点成立，那遍历动态库的顺序是根据链接时参数的顺序来的吗？

老师您好 有个问题请教一下 在图中的地址是不是画错了，一个是601008一个是6001008，还是地址之间有换算

现在程序的链接库越来越多，请问老师，有没有办法找出程序所有存在symbol interposition的函数及所在的动态库。

老师你好，请问下，为什么编译应用程序的时候，共享库和应用程序要放在一起。假如我只知道共享库的名字，和运行时所在的路径。这种情况可以编译应用程序吗？

假设共享库 M，引用由应用程序定义的某个全局变量 g。而 A、B 程序都链接了 M。。 这个关系很奇怪，这个应用程序是指的 A 和 B 么？？ 如果是 A 和 B，这个依赖关系不是很怪么？

在Linux系统中，共享库（shared library）使用 soname（共享库的名字）机制来管理共享库的版本。soname是"Shared Object NAME"的缩写，它是在共享库中嵌入的标识符，用于指定库的版本信息。 soname机制的主要目的是在不同版本的共享库之间提供兼容性，以允许多个版本的共享库在系统上共存，而不会相互干扰。soname由以下两个部分组成： 1. **实际文件名（Real name）：** 共享库的实际文件名，通常以`.so`为后缀。 2. **soname：** 共享库的名字，包含主版本号。soname一般形式为`lib<name>.so.<major>`，其中`<name>`是库的基本名字，`<major>`是主版本号。例如，`libexample.so.1`。 在共享库的构建和安装过程中，开发者通常会使用`-soname`选项来指定soname。例如： ```bash gcc -shared -o libexample.so.1.0 -Wl,-soname,libexample.so.1 example.o ``` 这个命令将生成一个名为`libexample.so.1.0`的共享库文件，并且指定其soname为`libexample.so.1`。这样，当程序链接到共享库时，会使用soname来查找和链接共享库，而不是直接使用实际文件名。 使用soname的主要优势包括： - **版本管理：** soname允许系统上存在多个版本的同一个共享库，每个版本都可以独立安装和管理。 - **向后兼容性：** 当共享库的API发生变化时，通过更新soname，可以确保新版本与旧版本兼容，从而防止因为API的变化而导致的程序崩溃。 - **符号冲突的解决：** 当多个共享库的实际文件名相同，但soname不同时，可以避免符号冲突，确保程序能正确链接到所需版本的库。 总之，soname机制在Linux系统中用于管理共享库的版本，提供了一种有效的方式来确保共享库的向后兼容性和版本管理。