在 Linux 程序开发中，动态库是实现代码复用、减小程序体积、节省系统资源的核心技术。相较于静态链接将库代码直接合并到可执行程序的方式，动态链接把链接过程推迟到程序运行阶段，实现了多个进程共享同一份库代码，大幅提升了系统的资源利用率。
进程如何感知并加载动态库
动态库本质上是一个符合 ELF 格式的二进制文件。进程要使用动态库中的函数和数据，首先要让动态库被加载到内存并映射到进程的虚拟地址空间中。
进程对动态库的'可见性'
进程本身并不能直接识别磁盘上的动态库文件，而是通过操作系统的文件操作和内存映射机制实现对动态库的访问。当程序运行时，操作系统会根据程序的依赖信息，找到对应的动态库文件并打开，随后通过 mmap 系统调用将动态库的代码段、数据段等映射到进程的虚拟地址空间的共享区，让进程在虚拟地址层面能'看到'动态库的内容。
多进程共享动态库的实现
Linux 系统中，多个依赖同一动态库的进程，并不会在物理内存中加载多份库的副本，而是通过虚拟内存的页表映射机制实现共享：
- 动态库被加载到物理内存后，操作系统会为其建立一份物理内存映射；
- 每个使用该动态库的进程，其页表会将虚拟地址空间共享区的一段地址，映射到这份物理内存；
- 进程对动态库的访问，最终都会转化为对同一份物理内存的访问，从而实现物理内存层面的库共享。
这种机制极大节省了物理内存资源，也是动态链接相比静态链接的核心优势之一。
动态链接的核心工作原理
动态链接的核心是将符号解析和地址重定位从编译链接阶段推迟到程序运行阶段。编译器编译生成可执行程序时，并不会将动态库的函数地址、变量地址直接写入程序，而只是记录下依赖的动态库和符号信息；当程序运行时，动态链接器会完成符号的解析和地址的重定位，让程序能正确调用动态库中的函数。
程序运行前的动态链接准备
C/C++ 程序的入口并非我们编写的 main 函数，而是链接器提供的_start 函数，动态链接的初始化工作正是在_start 函数中完成的，其流程如下：
- 设置堆栈：为程序创建初始的堆栈环境，保证函数调用的栈操作正常；
- 初始化数据段：将初始化的全局变量、静态变量从可执行程序复制到内存，清零未初始化的 bss 段；
- 加载动态链接器：调用系统接口加载 Linux 的动态链接器 ld-linux.so，由其负责后续的动态链接工作；
- 解析库依赖：动态链接器读取可执行程序的动态段信息，解析出程序依赖的所有动态库（可通过 ldd 命令查看程序的库依赖）；
- 加载并映射动态库：按依赖顺序加载所有动态库，将其映射到进程的虚拟地址空间；
- 调用__libc_start_main：完成信号处理、线程库初始化等工作后，最终调用 main 函数，将程序控制权交给用户代码。
其中，动态链接器是动态链接的核心执行者，Linux 下的 ld-linux.so 负责处理所有动态库的加载、符号解析和地址重定位。
