程序连接程序（Linker）是指将编译器生成的目标文件（Object Files）和库文件（Library Files）组合成一个可直接执行的可执行文件（Executable File）的过程。这个过程主要包括以下几个步骤：
目标文件收集：
链接程序将各个编译器生成的目标文件收集在一起。每个目标文件包含了程序的一部分代码和数据。
符号解析：
链接程序会解析目标文件中的外部符号引用，将它们替换为相应的地址。这样，所有的目标文件就能共享和调用彼此中的函数和数据。
重定位：
目标文件中的代码和数据在内存中的地址是相对偏移的。链接程序会修改这些偏移量，使它们指向正确的内存地址。
插入启动代码：
链接程序会插入操作系统所需的启动代码，这些代码负责初始化程序并加载程序到内存中。
库函数连接：
链接程序会将程序中使用的标准库函数和系统资源（如存储分配、输入输出设备等）连接到最终的可执行文件中。
生成可执行文件：
最后，链接程序将所有这些部分组合成一个完整的可执行文件，这个文件可以直接在操作系统上运行。
通过这个过程，多个编译单元（Translation Units）被组织成一个完整的程序，使其能够在计算机上执行。链接程序对操作系统和处理器有极大的依赖性，因为不同的系统可能有不同的内存管理和地址分配机制。
总结来说，程序连接程序就是将多个编译后的目标文件及必要的库文件组合成一个可执行文件的过程，它使得这些分散的代码片段能够协同工作，形成一个完整的程序。