Linux环境下：程序的链接, 装载和库[可执行文件的装载]

手机

iphone11大小尺寸是多少？苹果iPhone11和iPhone13的区别是什么？

警方通报辅警执法直播中被撞飞：犯罪嫌疑人已投案

家电

Linux环境下：程序的链接, 装载和库[可执行文件的装载]

2023-02-05 14:03:49 来源：博客园

(资料图)

现代操作系统如何装载可执行文件?

给进程分配独立的虚拟地址空间
建立虚拟地址空间和可执行文件的映射关系
把CPU指令寄存器设置成可执行文件的入口地址，启动执行

可执行文件在装载的过程中实际上是映射的虚拟地址空间，所以可执行文件通常被叫做映像文件(或者Image文件).

ELF文件的两种视角

Section header table: 编译器、汇编器和链接器将这个文件看作是被区段（section）头部表描述的一系列逻辑区段的集合
Program header table: 系统加载器将文件看成是由程序头部表描述的一系列段（segment）的集合。一个段（segment）通常会由多个区段（section）组成。例如，一个“可加载只读”段可以由可执行代码区段、只读数据区段和动态链接器需要的符号组成

readelf -a 可执行文件可以看到section和segment的映射关系

readelf -a sta_loop每个Segment包含的Section在下面的mapping种可以看到。图中Program Headers的Type的含义可以在 /usr/include/elf.h 中查看，Load即表示可装载的段

可以单独通过 readelf -l sta_loop查看可执行文件的程序头-l --program-headers Display the program headers

ELF可执行文件和进程虚拟地址空间的映射关系

样例

#include int main(){    void* pm = NULL;    for(;;)    {       pm = malloc(100);       sleep(500);       if(pm)       {           free(pm);       }    }}

编译成静态链接库 sta_loop执行 ./sta_loop &通过 proc 文件系统 /proc//maps查看虚拟内存的映射情况, 该文件有6列, 各个列的含义

地址：虚拟内存区域的起始和终止地址
权限：虚拟内存的权限，r=读,w=写,x=执行,s=共享,p=私有
偏移量：虚拟内存区域在被映射文件中的偏移量
设备：映像文件的主设备号和次设备号
节点：映像文件的节点号
路径: 映像文件的路径

这里可以看到上面的两个段都对应到我们的静态链接库的elf文件，分别是只读+可执行的段以及可读可写的段。可以看到第二段的offset是映像文件中的偏移，000a6000和上面readelf -a sta_loop看到的偏移一致。

这个就是对应在操作系统中学到的，执行一个程序首先是要将可执行文件加载到可执行的代码段和数据段

具体linux内核是如何加载可执行程序并进行虚拟内存映射的可以查看这篇文章https://blog.csdn.net/gatieme/article/details/51628257

关键词：可执行文件虚拟地址虚拟内存