首页 诗词 字典 板报 句子 名言 友答 励志 学校 网站地图
当前位置: 首页 > 教程频道 > 软件管理 > 软件架构设计 >

《深入懂得计算机系统》-链接

2013-10-15 
《深入理解计算机系统》--链接链接可以执行与编译时,也就是在源代码被翻译成机器代码时;也可以执行于加载时,

《深入理解计算机系统》--链接

    链接可以执行与编译时,也就是在源代码被翻译成机器代码时;也可以执行于加载时,也就是在程序被加载器加载到存储器并执行时;甚至可以执行于运行时,由应用程序来执行。

    从传统静态链接到加载时的共享库的动态链接,以及到运行时的共享库的动态链接。

一、编译器驱动程序


二、静态链接

    静态链接器以一组可重定位目标文件和命令行参数作为输入,生成一个完全链接的可以加载和运行的可执行目标文件作为输出。输入的可重定位目标文件由各种不同的代码和数据节组成。指令在一个节中,初始化的全局变量在另一个节中,而未初始化的变量又在另外一个节中。

    为构造可执行文件,链接器必须完成两个主要任务:

符号解析 目标文件定义和引用符号。符号解析的目的是将每个符号引用刚好和一个符号定义联系起来。
重定位  编译器额汇编器生成从地址0开始的代码和数据节。链接器通过把每个符号定义与一个存储器位置联系起来,然后修改所有对这些符号的引用,使得它们指向这个存储器位置,从而重定位这些节。    目标文件纯粹是字节快的集合。这些块中,有些包含程序代码,有些则包含程序数据,而其他的则包括指导链接器和加载器的数据结构。链接器将这些块链接起来,确定被连接块的运行时位置,并且修改代码和数据块中的各种位置。链接器对目标机器了解甚少。产生目标文件的编译器和汇编器已经完成了大部分工作。
三、目标文件

    目标文件有三种形式:

可重定位目标文件 包含二进制代码和数据,其形式可以在编译时与其他可重定位目标文件合并起来,创建一个可执行目标文件。在上图可以发现(我觉得就是单个CPP编译出来的.o文件)
可执行目标文件 包含二进制代码和数据,其形式可以被直接拷贝到存储器并执行(最终被编译好的可执行的二进制文件)
共享目标文件  一种特殊类型的可重定位目标文件,可以在加载或者运行时被动态地加载到存储器并链接。(共享库之类的)

    编译器和汇编器生成可重定义目标文件(包括共享目标文件)。链接器生成可执行目标文件。

    各个系统之间,目标文件格式都不相同。

四、可重定位目标文件

 《深入懂得计算机系统》-链接

    一个典型的ELF可重定位目标文件包含下面几个节:

.text:已编译程序的机器代码.rodata:只读数据,比如printf语句中的格式串和开关语句的跳转表.data已初始化的全局C变量。局部C变量在运行时保存在栈中,既不出现在.data节中,也不会出现在.bss中.bss 未初始化的全局C变量。八、可执行目标文件

《深入懂得计算机系统》-链接

九、加载可执行目标文件

    在32位linux系统中,代码段总是从地址0x08048000处开始。数据段是在接下来的一个4KB对齐的地址处。运行时堆在读/写段之后接下来的第一个4KB对齐的地质处,并通过调用malloc库往上增长。用户栈总是从最大的合法用户地址开始,向下增长的。

《深入懂得计算机系统》-链接

加载的工作流程:

UNIX系统中的每个程序都运行在一个进程上下文中,有自己的虚拟地址空间。当外壳运行一个程序时,父外壳进程生成一个子进程,它是父进程的一个复制品。子进程通过execve系统调用启动加载器。加载器删除子进程现有的虚拟存储器段,并创建一组新的代码、数据、堆和栈段、新的栈和堆段被初始化为零。通过将虚拟地址空间中的页映射到可执行文件的页大小的片,新的代码和数据段被初始化为可执行文件的内容。最后,加载器跳转到_start地址,它最终会调用应用程序的main函数。除了一些头部信息,在加载过程中没有任何从磁盘到存储器的数据拷贝。直到CPU应用一个被映射的虚拟页才会进行拷贝,此时,操作系统利用它的页面调度机制自动将页面从磁盘传送到存储器。

十、动态链接共享库十一、从应用程序中加载和链接共享库

热点排行