程序的链接

最新推荐文章于 2020-12-25 01:48:28 发布
最新推荐文章于 2020-12-25 01:48:28 发布
阅读量446 收藏
点赞数 1
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/didadifish/article/details/101920491
版权

程序的链接

链接

  • 预处理、编译、汇编三个阶段对一个模块（一个.c文件）进行处理，得到对应的可重定位目标文件（.o文件)
  • 链接过程将多个可重定位目标文件合并以生成可执行目标文件
  • 链接命令
    $gcc -static -o myproc main.o sum.o
    (static表示静态链接，若未指定-o选项，则生成的可执行目标文件名默认为a.out)

三种文件格式

采用ELF文件格式
以以下c程序为例

/* main.c */
/* $begin main */
#include<stdio.h>
int sum(int *a, int n);

int array[2] = {1, 2};

int main() 
{
    int val = sum(array, 2);
    printf("val=%d",val);
    return val;
}
/* $end main */
/* sum.c */
/* $begin sum */
int sum(int *a, int n)
{
    int i, s = 0;
    
    for (i = 0; i < n; i++) { 
        s += a[i];
    }
    return s;
}        
/* $end sum */

分别执行
$cpp main.c main.i
$gcc -S main.i -o main.s
$as main.s -o main.o
即可得到可重定位目标文件mian.o

可重定位目标文件(.o文件)

  • 其代码和数据可和其他可重定位文件合并为可执行文件
    •每个.o 文件由对应的.c文件生成
    •每个.o文件代码和数据地址都从0开始

  • 文件格式如下：

ELF头包括16字节标识信息、文件类型(.o, exec, .so)、机器类型（如x86-64、节头表的偏移、节头表的表项大小以及表项个数
.text节编译后的代码部分
.rodata节只读数据，如printf 格式串、switch 跳转表等
.data节已初始化的全局变量
.bss节未初始化全局变量，仅是占位符，不占 据任何实际磁盘空间。区分初始化和非 初始化是为了空间效率
.symtab节存放函数和全局变量（符号表）信息，它不包括局部变量
.rel.text节text节的重定位信息，用于重新修改代码段的指令中的地址信息
.rel.data节.data节的重定位信息，用于对被模块使 用或定义的全局变量进行重定位的信息
.debug节调试用符号表(gcc -g)
.line节原始c程序中的行号和.text节中机器指令之间的映射。只有以-g选项调用编译器驱动程序时，才会得到。
.strtab节包含symtab和debug节中符号及节名
节头部表每个节的节名、偏移和大小

查看ELF头

执行指令readelf -h main.o 可查看main.o的二进制存储的ELF头信息

ELF 头：
  Magic：   7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00 
  类别:                              ELF32
  数据:                              2 补码，小端序 (little endian)
  版本:                              1 (current)
  OS/ABI:                            UNIX - System V
  ABI 版本:                          0
  类型:                              REL (可重定位文件)
  系统架构:                          Intel 80386
  版本:                              0x1
  入口点地址：               0x0
  程序头起点：          0 (bytes into file)
  Start of section headers:          636 (bytes into file)
  标志：             0x0
  本头的大小：       52 (字节)
  程序头大小：       0 (字节)
  Number of program headers:         0
  节头大小：         40 (字节)
  节头数量：         13
  字符串表索引节头： 10
  • Magic,魔数:通过对魔数的判断可以确定文件的格式和类型。如：ELF 的可执行文件格式的头 4 个字节为0x7F、e、l、f。
  • 类型:这里是32位的ELF格式
  • 数据:负数用二进制补码形式表示，小端法存放
  • 版本:当前ELF文件头版本号，此处为1
  • OS/ABI:指出操作系统类型
  • ABI版本
  • 类型:指出ELF文件的类型(共有三种类型:可重定位目标文件，可执行文件，共享库文件），此处为REL(可重定位目标文件)
  • 系统架构：此处为80386
  • 版本: 当前目标文件的版本号
  • 入口点地址：程序的虚拟地址入口，因为此处是一个可重定位文件，还未链接生成可执行文件，故入口地址为0.
  • 程序头起点：可重定问目标文件没有程序头部表。
  • Start of section headers: 节头部表的文件偏移，即节头部表的起始地址
  • 标志：一个与处理器相关联的标志
  • 本头的大小：ELF文件头的字节数。 52 (字节)
  • 程序头大小：此文件中无程序头，0 (字节)
  • Number of program headers: 0
  • 节头大小：节头部表中每个section的大小。40 (字节)
  • 节头数量：节头表中section的数量。 13
  • 字符串表索引节头：.strtab在节头表中的索引 。10

查看节头表信息

$readelf -S main.o

共有 13 个节头，从偏移量 0x27c 开始：

节头：
  [Nr] Name              Type            Addr     Off    Size   ES Flg Lk Inf Al
  [ 0]                   NULL            00000000 000000 000000 00      0   0  0
  [ 1] .text             PROGBITS        00000000 000034 000044 00  AX  0   0  1
  [ 2] .rel.text         REL             00000000 0001f4 000020 08   I 11   1  4
  [ 3] .data             PROGBITS        00000000 000078 000008 00  WA  0   0  4
  [ 4] .bss              NOBITS          00000000 000080 000000 00  WA  0   0  1
  [ 5] .rodata           PROGBITS        00000000 000080 000007 00   A  0   0  1
  [ 6] .comment          PROGBITS        00000000 000087 000036 01  MS  0   0  1
  [ 7] .note.GNU-stack   PROGBITS        00000000 0000bd 000000 00      0   0  1
  [ 8] .eh_frame         PROGBITS        00000000 0000c0 000044 00   A  0   0  4
  [ 9] .rel.eh_frame     REL             00000000 000214 000008 08   I 11   8  4
  [10] .shstrtab         STRTAB          00000000 00021c 00005f 00      0   0  1
  [11] .symtab           SYMTAB          00000000 000104 0000d0 10     12   9  4
  [12] .strtab           STRTAB          00000000 0001d4 00001e 00      0   0  1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings)
  I (info), L (link order), G (group), T (TLS), E (exclude), x (unknown)
  O (extra OS processing required) o (OS specific), p (processor specific)
  • bss节只有装入内存时才会分配。
  • 可重定位目标文件中，每个可装入节的起始地址总是0
  • off:每个节的起始地址
  • size:每个节的大小

在可重定位文件main.o中的结构如下:
在这里插入图片描述

查看符号表中的信息

$readelf -s main.o

Symbol table '.symtab' contains 13 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 00000000     0 FILE    LOCAL  DEFAULT  ABS main.c
     2: 00000000     0 SECTION LOCAL  DEFAULT    1 
     3: 00000000     0 SECTION LOCAL  DEFAULT    3 
     4: 00000000     0 SECTION LOCAL  DEFAULT    4 
     5: 00000000     0 SECTION LOCAL  DEFAULT    5 
     6: 00000000     0 SECTION LOCAL  DEFAULT    7 
     7: 00000000     0 SECTION LOCAL  DEFAULT    8 
     8: 00000000     0 SECTION LOCAL  DEFAULT    6 
     9: 00000000     8 OBJECT  GLOBAL DEFAULT    3 array
    10: 00000000    68 FUNC    GLOBAL DEFAULT    1 main
    11: 00000000     0 NOTYPE  GLOBAL DEFAULT  UND sum
    12: 00000000     0 NOTYPE  GLOBAL DEFAULT  UND printf

可执行文件

  • 可执行目标文件(默认为a.out)
    • 命令:$ gcc -static -o myproc main.o sum.o
    • 包含的代码和数据可以被直接复制到内存并被执行
    • 代码和数据地址为虚拟地址空间中的地址

• 文件格式与可重定位文件稍有不同：

  1. ELF头中字段e_entry给出执行程序时第一条指令的地址，而在可重定位文件中，此字段 为0
  2. 多一个程序头表，也称段头表 （segment header table）
  3. 多一个.init节，用于定义 _init函数，该函数用来进行可执行目标文件开始执行时的初始化工作
  4. 少两个.rel节（无需重定位）
    在这里插入图片描述

查看ELF头

ELF 头：
  Magic：   7f 45 4c 46 01 01 01 03 00 00 00 00 00 00 00 00 
  类别:                              ELF32
  数据:                              2 补码，小端序 (little endian)
  版本:                              1 (current)
  OS/ABI:                            UNIX - GNU
  ABI 版本:                          0
  类型:                              EXEC (可执行文件)
  系统架构:                          Intel 80386
  版本:                              0x1
  入口点地址：               0x8048736
  程序头起点：          52 (bytes into file)
  Start of section headers:          727040 (bytes into file)
  标志：             0x0
  本头的大小：       52 (字节)
  程序头大小：       32 (字节)
  Number of program headers:         6
  节头大小：         40 (字节)
  节头数量：         33
  字符串表索引节头： 30
  • 装入内存时，ELF头、程序头表、.init节、.rodata节会被装入只读代码段
  • .data节和.bss节会被装入读写数据段
  • 程序头表：描述可执行文件中的节与虚拟空间中的存储段之间的映射关系
  • 一个表项40B,存储虚拟地址空间中一个连续的段或一个特殊的节的信息。

从得到的信息可以看到：此时，入口点地址不再是0,而是而是执行代码的第一条指令的地址；程序头的起点和大小不再是0；节头大小、数量和strtab在节头表中的索引均更新了。

查看程序头表

$ readelf -l myproc

Elf 文件类型为 EXEC (可执行文件)
入口点 0x8048736
共有 6 个程序头，开始于偏移量 52

程序头：
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x000000 0x08048000 0x08048000 0xa0cd1 0xa0cd1 R E 0x1000
  LOAD           0x0a0f5c 0x080e9f5c 0x080e9f5c 0x01024 0x01e48 RW  0x1000
  NOTE           0x0000f4 0x080480f4 0x080480f4 0x00044 0x00044 R   0x4
  TLS            0x0a0f5c 0x080e9f5c 0x080e9f5c 0x00010 0x00028 R   0x4
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RW  0x10
  GNU_RELRO      0x0a0f5c 0x080e9f5c 0x080e9f5c 0x000a4 0x000a4 R   0x1

 Section to Segment mapping:
  段节...
   00     .note.ABI-tag .note.gnu.build-id .rel.plt .init .plt .text __libc_freeres_fn __libc_thread_freeres_fn .fini .rodata __libc_subfreeres .stapsdt.base __libc_atexit __libc_thread_subfreeres .eh_frame .gcc_except_table 
   01     .tdata .init_array .fini_array .jcr .data.rel.ro .got .got.plt .data .bss __libc_freeres_ptrs 
   02     .note.ABI-tag .note.gnu.build-id 
   03     .tdata .tbss 
   04     
   05     .tdata .init_array .fini_array .jcr .data.rel.ro .got
  • 第一可装入段：第0x00000~0x73880字节（包括ELF头、程序头表、.init、 .text和.rodata节），映射到虚拟地址0x8048000开始长度为0xa0cd1字节的区域 ，按0x1000=212=4KB对齐，具有只读/执行权限（Flg=RE），是只读代码段。
  • 第二可装入段：第0x0a1060开始长度为0xf20字节的.data节，映射到虚拟地址 0x80e9f5c开始长度为0x01024字节的存储区域，在0xf1024=4132B存储区中，前 0x108=3872B用.data节内容初始化，后面4132-38724=260B对应.bss节，初始化为0 ，按0x1000=4KB对齐，具有可读可写权限（Flg=RW），是可读写数据段。

共享的目标文件(.so文件)

-特殊的可重定位目标文件，能在装入或运行时被装入到内 存并自动被链接，称为共享库文件

  • Windows 中称其为 Dynamic Link Libraries (DLLs)

链接的过程

1、确定符号引用关系（符号解析）

  • 找到程序中有定义和引用的符号(包括变量和函数等)
  • 编译器将定义的符号存放在一个符号表（symbol table）中.
  • 链接器将每个符号的引用都与一个确定的符号定义建立关联

2、重定位

1）合并相关.o文件
2）确定每个符号的地址
3）在指令中填入新地址

didadifish
关注
C++程序链接的过程原理详解
12-22
C++程序链接的过程原理详解，涉及的是从源代码到可执行文件的生成步骤，特别是针对链接阶段可能出现的问题。首先，程序的生成分为编译和链接两个主要阶段。编译阶段，编译器将源代码转化为汇编代码，再由汇编器转化...
5：可执行目标文件概述
业精于勤荒于嬉
02-28 1006
目录 一：ELF文件结构 二：程序头表 一：ELF文件结构 可执行目标文件的结构和重定位文件有些差异，主要表现在如下几个地方。 ELF头中字段e_entry给出执行程序时第一条指令的地址，而在可重定位文件中，此字段为0 多一个程序头表，也称段头表（segment header table），是一个结构数组 多一个.init节，用于定义_init函数，该函数用来进行可执行目标文件开始执行时的初始化工作 少两个.rel节（无需重定位） 下面这张图片就是可执行目标文件的结构 上面的图中.
BSS段
maimang1001的专栏
11-01 646
http://winn0301.blog.sohu.com/142209655.html BSS段：BSS段（bss segment）通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文Block Started by Symbol的简称。BSS段属于静态内存分配。BSS节不包含任何数据，只是简单的维护开始和结束的地址，以便内存区能在运行时被有效地清零。BSS节在应用程序的二
一个可执行程序（目标文件）的结构（common段，bss段，data段，text段，堆，栈）
mountain_hua的博客
12-25 2445
common段：common段存放弱引用的符号，即未初始化的全局变量，在链接时再放入bss段（有些编译器也会直接放到bss段，故有些文章也直接说未初始化的全局变量在bss段中，这并不冲突） bss段：bss即Block Started by Symbol的简称，存放程序中未初始化全局变量和初始化为0的全局变量的一块内存区域。BSS段属于静态内存分配。 （注：gcc编译选项-fno-common会强制把为未初始化的全局变量放入bss段，变为强符号。由于强符号只能存在一处定义，如果有多处强符号定义，则在链接
可执行文件的装载与进程
weixin_36796040的博客
11-29 424
1. 进程虚拟地址空间 每个进程拥有自己独立的虚拟地址空间，这个虚拟地址空间由cpu位数决定，硬件决定了地址空间的最大理论上限，即硬件的寻址空间大小。比如32位的硬件平台决定了虚拟地址空间的地址为0到2^32-1，即0x00000000~0xFFFFFFFF，共4GB。而64位的硬件平台具有64位寻址能力，虚拟地址空间达到2^64字节，即17179869184GB。 从程序角度，比如可以判断C...
小程序链接.txt
05-28
综上所述，“小程序链接.txt”这个文件虽然只提供了一个简单的资源分享链接，但背后却蕴含着关于小程序及其应用的知识点。小程序作为一种新兴的轻量级应用模式，在提高用户体验的同时也为开发者提供了新的机遇。而...
第三方 App 分享微信小程序链接(android)，module.exports 模块化基础 ...
03-29
作者：金色闪光4，来自原文地址   private void sendMiniApps(String articlePk, String title, String content, String url, Bitmap icon) {   WXMiniProgramObject miniProgram = new ...//小程序
G小程序链接生成器-crx插件
04-03
语言:中文 (简体) 仅适用于特定网站 嵌入报名小程序卡片到微信公众号文章时，快速生成特定的URL
uniapp链接蓝牙小程序
最新发布
03-25
uniapp链接蓝牙小程序(可发送和接收消息)
程序链接与ELF中main.o文件
12-20
程序链接与ELF中main.o文件
关于draft自己写的文本编辑器，支持表情，小程序链接插入，网页链接插入
07-24
关于draft自己写的文本编辑器，支持表情，小程序链接插入，网页链接插入
链接实用程序
02-23
**链接实用程序** 在PHP开发中，处理HTTP链接是一个常见的任务。`PSR Http链接实用程序`是一个专门针对这一需求的工具集，旨在简化开发者在处理HTTP链接时的工作流程。这个开源项目遵循了PHP社区的某些标准，特别是...
程序链接与ELF文件中的pahse2.o
12-20
程序链接与ELF文件中的pahse2.o
程序链接与ELF文件中的pahse1.o
12-20
程序链接与ELF文件中的pahse1.o
程序的链接和装载进入内存
香蕉麦乐迪的博客
04-18 2220
程序的链接有以下三种方式： 静态链接：在程序运行之前，先将各目标模块及它们所需的库函数链接成一个完整的可执行程序，以后不再拆开。 装入时动态链接：将用户源程序编译后所得到的一组目标模块，在装入内存时，釆用边装入边链接的链接方式。 运行时动态链接：对某些目标模块的链接，是在程序执行中需要该目标模块时，才对它进行的链接。其优点是便于修改和更新，便于实现对目标模块的共享。
可重定位目标文件
胡小哲的博客
02-06 1179
目标文件有三种形式： 1. 可重定位目标文件 2. 可执行目标文件 3. 共享目标文件 编译器和汇编器生成可重定位目标文件/共享目标文件，连接器生成可执行目标文件。 在这里我们首先介绍可重定位目标文件。 可重定位目标文件：包含二进制代码和数据，可以在编译时与其他可重定位目标文件合并起来，创建一个可执行目标文件。 可重定目标文件格式： 注意： bss段 在目标文件中不占实...
ELF文件格式分析
hpyhpy548的专栏
09-16 661
ELF文件格式() 1.简介 --目标文件有三种类型： --可重定位文件(Relocatable File) 包含可与其他目标文件链接来创建可执行文件或者目标共享文件的代码和数据 --可执行文件(Executable File) 包含适合于执行的一个程序，此文件规定了exec()如何创建一个程序的进程映像 --共享目标文件(Shared Object File) 包含可在两种上下文中
scratch小程序链接
07-13
Scratch是一种为年轻人设计的编程语言和在线社区，提供了一个创造、分享和互动的平台。Scratch小程序链接是指分享Scratch项目的链接，以便其他人可以轻松访问和体验这些项目。 要获取Scratch小程序链接，首先需要创建一个Scratch账号。登录后，您可以选择创建一个新项目或者打开一个已有的项目。在项目编辑器中，您可以使用Scratch的积木式编程界面来设计您的项目，从添加角色、创建动画到编写代码。 完成项目后，您可以保存并分享您的项目。在Scratch项目页面上，您可以看到一个包含项目所有信息的链接。复制该链接，并将其与他人分享即可。 您也可以通过Scratch的社区功能，将您的项目分享给其他Scratch用户。这样，其他人不仅可以访问您的项目链接，还可以与您进行交流和互动，留下评论和建议。 通过Scratch小程序链接，您可以将自己的创意和编程作品展示给全世界。无论是一个简单的游戏、一个有趣的动画还是一个实用的工具，都可以通过分享链接的方式让他人欣赏和使用。同时，您也可以从其他人的Scratch项目中获得灵感和学习资源，不断提升自己的编程技能。 总而言之，Scratch小程序链接是分享Scratch项目的一种方式，不仅可以将您的创意和作品分享给他人，也可以从其他人的作品中获得灵感和学习资源。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值