程序员的自我修养（六）静态链接--符号解析与重定位

最新推荐文章于 2024-01-06 18:33:59 发布
最新推荐文章于 2024-01-06 18:33:59 发布
阅读量392 收藏 2
点赞数 1
CC 4.0 BY-SA版权
分类专栏： 自我修养
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/qq_36308972/article/details/89893266
本文详细探讨了静态链接过程中的核心——符号解析与重定位。介绍了重定位表在ELF文件中的作用，如何查看目标文件的重定位信息，以及重定位入口的概念。同时，讲解了符号解析，特别是未定义符号的处理。此外，文章还分析了32位x86平台下的指令修正方式，包括绝对寻址和相对寻址，并给出了修正地址的计算公式。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

符号解析与重定位是静态链接的核心内容。

重定位

重定位表

重定位表专门用来保存与重定位相关的信息，它在ELF文件中往往是一个或多个段。

  • 对于可重定位的ELF文件来说，它必须包含有重定位表，用来描述如何修改相应地段里的内容。
  • 对于每个要被重定位的ELF段都有一个对应的重定位表，而一个重定位表往往是ELF文件种的一个段，所以重定位表也被叫做重定位段。

用objdump -r XXX.o查看目标文件的重定位表
在这里插入图片描述
每个要被重定位的地方叫一个重定位入口。在这里，代码段的重定位入口有6个。
RELOCATION RECORDS FOR [.txt]代表这个重定位表示代码段的重定位表。
OFFSET：重定位入口的偏移，表示该入口在要被重定位的段中的位置。对于可重定位文件来说，这个值是该重定位入口所要修正的位置的第一个字节相对于段起始的偏移；对于可执行文件或共享对象文件来说，这个值是重定位入口索要修正的位置的第一个字节的虚拟地址。

符号解析

用readelf -s XXX.o查看XXX.o的符号表
在这里插入图片描述
UND：undefined未定义类型。这种未定义的符号是因为该目标文件中有关于它的重定位项。所以在链接器扫描完所有的输入目标文件之后，所有这些未定义的符号都应该能够在全局符号表

最低0.47元/天 解锁文章

200万优质内容无限畅学
《程序员的自我修养--链接、装载与库》笔记
AnChenliang_1002的博客
03-12 2285
1.6.1 线程基础 一个进程通常由多个线程组成，各个线程之间共享程序的内存空间（包括代码段、数据段、堆等）及一些进程级的资源（如打开文件和信号）。经典的线程与进程的关系图： 线程中的访问权限 线程中的私有存储： 栈 线程局部存储（Thread Local Storage，TLS） 寄存器（包括PC寄存器） 从C的角度看： 1.6.2 线程安全 同步与锁 所谓同步，是指一个线程访问数据未结束时，其他线程不得对同一个数据进行访问。 同步最常用的方法是锁。 二元信号量： 最简单的一种锁，只有两种状态：占
程序员的自我修养（链接、装载与库）--摘录与汇总（一）
最新发布
沐怡旸的专栏
09-29 974
1、“未初始化的全局变量”在目标文件中并未放到 .bss 段中，而是标记为一个 COMMON 类型的变量，这是因为“未初始化的全局变量”是一个弱符号，其最终占用的大小未知，所以编译器此时无法为该弱符号在 BSS 段分配空间。在链接之前，目标文件中的所有段的 VMA(虚拟地址 Virtual Memory Address) 都是 0，因为虚拟空间还没有被分配，所以他们默认都为 0，等到链接之后，可执行文件中的各个段都被分配到了相应的虚拟地址。而每个副本进程的数据区域是不一样的，他们是进程私有的。
链接过程中的符号重定位_C底层18/2/25
darkfaker的博客
02-25 722
前情提要 对于编译和链接的基本过程，这里只对链接过过程的符号重定位做了解释，因为个人认为在链接过程中符号的重定位是最重要的一步，也是其精华所在，知道了这一步的实现过程可以解决很多问题，包括面试中可能会问到的关于extern等的方面。所以这里只有对符号重定位进行了详细的说明，如果想了解更多可以参看《程序员的自我修养》第2，3，6 章节。里面有很详细的解释。 如果对虚拟地址空间的内存分布还不够了...
[CSAPP-II] 链接[符号解析和重定位] 静态链接 动态链接 动态链接接口
记一忘三二
01-23 5547
1 平台 1.1 硬件 Table 1. 硬件(ls cpu) Architecture： i686(Intel 80386) Byte Order： Little Endian   1.2 操作系统 Table 2. 操作系统类型 操作系统（cat /proc/version） 位数（un
静态链接——重定位
东东儿的博客
11-16 1856
在几年前第一次学C语言时，按照书上给的示例，在VC6.0中写了HelloWorld程序，然后按照书上的教程，进行编译，链接，最后执行程序，就能在输出窗口上看到Helloworld。 对于一个用IDE写代码的人来说，代码需要编译链接才能生成可执行文件这是一个尝试，那么编译链接到底做了一个什么样的事情呢？ 因为我们写到C语言代码是高级程序语言，计算机是没法解析执行的，计算机能读懂的只能是二进制代码，编...
静态链接——符号解析和重定位
0 error(s)
07-07 809
符号解析和重定位 在上一篇博客空间的地址与分配介绍过，链接器链接目标文件分为两个步骤。这一篇博客就是介绍第二步符号解析和重定位的。这也是静态静态链接中的核心内容。符号详解 重定位 看下边一个例子： #include "func.c" int main() { func(); } 在这段代码中的函数func（），因为其定义在其他文件中，所以在编译器就暂时把地址0看做是“func（）”的地址。等到链接器在完成地址和空间分配之后就可以确定所有符号的虚拟地址（包括func），那么链接器就可以根据重定位表对每个需
《程序员的自我修养--链接，装载与库》
zaizai1007的博客
01-06 1128
《程序员的自我修养--链接，装载与库》
程序员自我修养 链接装载与库 前五章思维导图.rar
03-10
2. **链接过程**：详细阐述静态链接和动态链接的工作机制，包括符号解析和重定位的过程。 3. **装载过程**：解释装载器如何将程序加载到内存，并处理重定位信息，使得程序能够正确执行。 4. **库的类型与管理**：...
《程序员的自我修养》读书笔记3——使用KEIL研究ELF文件的重定位
booksyhay的专栏
09-14 540
空间和地址分配 仍然采用上一节的代码。看生成的代码段。3个中间目标文件的代码段： fromelf -v a.o ======================================================================== ** Section #1 Name : i.main Type : SHT_PROGBITS (0x00000001) Flags : SHF_ALLOC + SHF_EXEC
【静态链接】第2章---------------------静态链接过程（符号解析与重定位）
u013476840的专栏
03-03 1533
########  该系列博文为书籍《程序员的自我修养》的笔记 ##########   【说明】               在前面我们说到，重定位是静态链接的核心，那么这一节就重点介绍重定位。关于动态链接，其实动态链接比静态链接复杂得多，但是百变不离其宗，动态链接搞来搞去还是要弄符号重定位，只不过形式有点不一样，还有就是可能是在运行时进行的链接，这是后话。待复习到后面的时候就晓得啦。重点
《程序员的自我修养》读书笔记：链接的接口——符号
Allblues57的专栏
03-09 890
在链接中，目标文件之间相互拼合实际上是目标文件之间对地址的引用，即对函数和变量的地址的引用(Reference)。 我们将函数和变量统称为符号(symbol)，函数名或变量名即符号名。 每一个目标文件都有一个相应的符号表，记录了该目标文件中用到的所有符号。 每个定义的符号有一个对应的值，即符号值，对于变量和函数来说，符号值即它们的地址。 类型：（以SimpleSection.o为例） 1...
静态链接
wuguanbao的博客
09-28 350
静态链接，重定位，地址修正
编译链接（程序员的自我修养）
gs581c的博客
03-19 196
写好代码到生成可执行程序之间发生了什么 1.预编译 hello.c->hello.i， 去除宏，#include等带“#”的预编译指令和注释 2.编译 hello.i->hello.s 进行语法分析，优化等操作后生成对应的汇编代码 3.汇编 hello.s->hello.o 将汇编查表翻译成机器指令 4.链接 链接一些.o文件（.o也就是object文件，中间目标文件，简称目标文...
静态链接分析
XA403
06-24 304
注：本篇内容基本参考自：Mach-O 与静态链接。然后自己做一些上手实践和分析，用来加深对静态链接过程的理解。 材料准备 首先手写一个简单的C程序：a.c，b.c /* a.c */ #include <stdio.h> extern int globalA; extern int globalB; void swap(int *a, int *b); void printResult(); void printsomething(); int main() { globalA =
静态链接过程
日常学习记录
07-26 816
1、空间与地址的分配   现在的链接器空间分配的策略基本上都采用 “相似段合并” 的方式。通过将所有相同类型的 section 合并到一起，例如将所有输入目标文件的 .text 合并（按顺序合并）到输出文件的 .text 节中；然后，链接器根据运行平台中进程虚拟地址空间的划分规则，为所有输入目标文件中定义的节和符号分配运行时内存地址；完成之后，程序中的每条指令和符号都有唯一的运行时内存地址了。链接器的空间分配示意如下：   使用这种方法的链接器都采用两步链接的方法。   第一步，空间与地址分配。扫描所有的
Linux—使用readelf工具查看程序代码变量的内存空间布局情况
TinyHorse的博客
08-18 4809
内存空间布局
从实践理解《程序员的自我修养》（1）
qq_41949926的博客
02-21 531
从实践理解《程序员的自我修养》（1） 前言 这篇文档主要从实践的角度充分理解《程序员的自我修养》一书中提到的细节。书中提到的各种机制、数据结构，我都将在实际系统中找到并理解它们。 环境：Ubuntu 20.04 目标文件里有什么 示例代码 # a.c #include <stdio.h> extern int shared; int main() { int a = 100; printf("hello, World."); swap(&a, &sha
readelf命令和ELF文件详解
ziyonghong的博客
09-30 4583
三类目标文件（ELF）： 1.可重定位目标文件 (.o) 每个.o文件都是由对应的.c文件通过编译器和汇编器生成；包含代码和数据，代码和数据地址都从0开始。通过gcc -c xxx.c 得到。 2.可执行目标文件（默认为a.out） 由链接器生成，包含的代码和数据可以直接通过加载器加载到内存中并被执行。通过gcc -o xxx.c 得到。 3.共享目标文件...
程序员自我修养：深入理解链接、装载与库
链接过程通常涉及符号解析和地址重定位。 知识点三：装载（Loading） 装载是指将程序的可执行文件加载到内存中，以便操作系统能够执行该程序。装载过程中，操作系统会为程序分配内存空间，加载必要的库文件，设置...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值