可重定位目标文件(REL)的符号和符号表

最新推荐文章于 2021-05-15 02:03:20 发布

心比天高

最新推荐文章于 2021-05-15 02:03:20 发布

阅读量2.5k

点赞数 1

文章标签：编译链接重定位

本文链接：https://blog.csdn.net/u010325667/article/details/68488551

版权

本文介绍了可重定位目标文件的概念及其包含的符号类型。详细解释了由当前模块定义的全局符号、由其他模块定义并被当前模块引用的全局符号以及只被当前模块定义和引用的本地符号。同时说明了所有符号信息如何以符号表形式存储。

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

可重定位目标文件由汇编器as生成，包含了当前模块定义的符号及引用的外部模块符号信息，可以与其他可重定位目标文件链接为一个可执行目标文件。

有三种不同类型的符号，第一种，由当前模块定义的全局符号；第二种，由其他模块定义并被当前模块引用的全局符号，当前模块需使用extern关键字来修饰全局符号；第三种，只被当前模块定义和引用的本地符号，即static类型的，包括全局和局部变量。

所有符号信息以符号表的形式保存在.symtab，如下图所示，其中Name表示符号名，Ndx表示所属Section，Value表示相对Ndx的偏移值。

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

心比天高

关注关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

深入理解计算机系统：链接（第二章：符号解析、重定位和可执行目标文件）

weixin_39640298的博客

02-17

1993

1、符号解析链接器解析符号引用的方法是将每个引用与它输入的可重定位目标文件的符号表中的一个确定的符号定义关联起来，即使用的符号一定要找到相应的定义。可分为局部符号解析和全局符号解析。局部符号解析：引用定义在相同模块中的局部符号的引用，符号解析非常的简单明了，就不用介绍了。全局符号解析：当编译器遇到一个不是当前模块中定义的符号时，会假设该符号时在其他某个模块中定义的，生成一个连接器符号表条目，...

模拟链接器 重定位符号表

12-29

389

重定位符号表 模拟连接器动态加载GDT 模拟重定位

参与评论您还未登录，请先登录后发表或查看评论

关于可重定位目标文件的格式与其符号表的概述

weixin_43996099的博客

09-29

1686

我们知道一个可执行的C程序要经过语言预处理、编译器、汇编器生成扩展名为.o的可重定位目标文件，再通过链接器链接生成可执行的目标文件。 1.什么是可重定位目标文件一个扩展名为.s 的ASCII汇编语言文件经由汇编器翻译成一个包含二进制代码和数据的.o文件，即可重定位目标文件。其特点是可在编译时与其它可重定位目标文件合并起来，由此创建一个可执行目标文件。 2....

linux 重定位表 符号表,符号表和目标文件中的重定位表

weixin_42100129的博客

05-15

638

是的，你的假设是正确的。有各种类型的重定位，汇编器发布到指令中的取决于类型。一般来说这是一个补偿。您可以使用objdump -dr查看重定位。为了更好的说明，我已经改变你的代码一点点：.data.int 0TEXT: .asciiz "Foo".text.global mainmain:li $t0, 1beq $t0, 1, equal #Bbne $t0, 42, foo #Cequal:la...

认识目标文件的符号

Dablelv 的博客专栏。

06-23

1796

符号是链接的粘合剂，没有符号无法完成链接。每一个目标文件都会有一个相应的符号表（Symbol Table），这个表里记录了目标文件中所用到的所有符号。 1. 特殊符号当我们使用ld作为链接器来链接生产可执行文件时，它会为我们定义很多特殊的符号，这些符号并没有在你的程序中定义，但是你可以直接声明并且引用它，我们称之为特殊符号。其实这些符号是被定义在ld链接器的链接脚本中的，我们无须定义它们，但可以...

实例分析ELF文件静态链接

weixin_30492047的博客

06-08

191

参考文献：《ELF V1.2》《程序员的自我修养---链接、装载与库》第4章静态链接开发平台： [thm@tanghuimin static_link]$ uname -a Linux tanghuimin 2.6.32-358.el6.x86_64 #1 SMP Fri Feb 22 00:31:26 UTC 2013 x86_64 x86_64 x86_6...

(10.3)--ELF可重定位目标文件1

08-03

此外，还有符号表（.symtab）记录函数和全局变量的信息，重定位表（如.rel.text和.rel.data）指示需要修正的地址信息，以及调试信息（.debug）用于编译时的调试。在重定位过程中，重定位表至关重要，它指出了哪些...

关于ELF可重定位目标文件的实例说明（CSAPP）

qq_44255916的博客

11-02

1012

运行环境： Unix系统 gcc编译器参考书籍：《Computer Systems:A Programmer’s Perspective》（《深入理解计算机系统》）主要内容： ELF可重定位目标文件（.o文件），主要讲解ELF头部信息，节头部表，及符号表 运行实例： swap.c、main.c（main.c引用swap.c） swap.c extern int buf[]; int *buf...

可重定位文件详解

wyzworld的博客

03-26

2625

可重定位文件是一个ELF格式的二进制文件，这里从ELF文件格式入手分析可重定位文件的结构。生成可重定位文件使用代码如下 #include<stdio.h> int main() { printf("hello world\n"); return 0; } 生成文件指令 gcc -E hello.c -o hello.i gcc -S hello.i -o hello.s gcc -c hello.s -o hello.o 可重定位文件分析解析文件头.

详解链接下的ELF可重定位目标文件结构

qq_43135849的博客

09-28

808

一、什么是链接？ gcc编译器读取源程序文件（.c文件）并把它翻译成一个可执行目标文件，翻译过程中就包括了链接。在现代系统中，链接是由叫做链接器的程序自动执行的。链接是将各种代码和数据片段收集并组合成为一个单一文件的过程，这个文件可被加载到内存并执行。也就是将所有的文件汇总为一个文件。二、静态链接 ·静态连接器以一组可重定位目标文件和命令...

计算机系统原理错题整理

FUNNY123

01-26

3809

计算机系统原理错题整理

ELF文件详解—初步认识

热门推荐

daide2012的博客

06-11

9万+

讲解ELF文件格式，目标文件再不同的系统或平台上具有不同的命名格式，在Unix和X86-64 Linux上称为ELF(Executable and Linkable Format, ELF)。 ELF文件格式提供了两种不同的视角，在汇编器和链接器看来，ELF文件是由Section Header Table描述的一系列Section的集合，而执行一个ELF文件时，在加载器（Loader）看来它是由Program Header Table描述的一系列Segment的集合

a标签 rel属性

齐枫的博客

12-10

5409

a标签常用rel属性 rel=’external’ 此属性的意思是告诉搜索引擎，这个链接不是本站链接，其实作用相当于target=‘_blank’。为什么要这样写呢？因为有些网站因为是采用严格的DOCTYPE声名的，如果你在网页源码中的第一行看到：在这种情况下target=”_blank”会失效，因此采用rel=’external’这个参数来替代。 rel=’nofllow’ 它是告诉搜索...

符号引用重定位 重定位PC相对引用简单讲解

AKGWSB 's blog

06-10

3789

目录链接符号引用重定位简介例子重定位条目简介offsettypesymboladdend重定位PC相对引用重定位PC绝对引用链接符号引用重定位 简介我们知道一个.c文件可以被编译为.o文件，即目标文件，而假如一个.c中引用了别的.c中的函数或者是变量，这时候的.o其实是不知道引用函数实际的内存位置的，也就无法跳转，这就需要【重定位】的操作了，而针对函数名（也是符号）的重定位 例子我们编写两个.c文件，分别是main.c和func.c，main.c引用了func.c中的func函数 // main.c

保存一个文件rel自己用的

langxianwu的专栏

06-12

我打包时包含了所有erlang的lin但发现启动start.boot时发现出错，只好去掉了一部分。生成个rel真费劲。在此保留使用 target_system:install("ch_rel-1.0","/usr/local/targetC") ...

ELF格式文件符号表全解析及readelf命令使用方法

AddyLee的专栏

04-09

8万+

1. 读取ELF文件头： $ readelf -h sign ELF Header: Magic: 7f 45 4c 46 02 01 01 00 00 00 00 00 00 00 00 00 Class: ELF64 Data:

重定位处理

zxl1217的专栏

12-12

1748

运行时链接程序在装入应用程序所需的全部依赖项之后，将会处理每个目标文件并执行所有必需的重定位。在目标文件的链接编辑过程中，随可重定位输入目标文件提供的任何重定位信息均会应用于输出文件。但是，在创建动态可执行文件或共享库时，许多重定位无法在链接编辑时完成。这些重定位需要仅在目标文件装入内存时才知道的逻辑地址。在这种情况下，链接编辑器将在输出文件映像中生成新的重定位记录。然后，运行时链接程序必须处理这

链接时的重定位与符号解析

Monster7559的博客

04-29

2126

一：符号解析 1.符号表：由汇编器构造，使用编译器输出到汇编语言.s文件中的符号（1）Local符号与global符号任何带有static属性声明的全局变量或者函数的模块都是私有的，即都是local属性的（local属性符号链接器看不到，链接器只关注global符号）（2）伪节每个符号都被分配到目标文件的某个节。但是有三个特殊的伪节，它们在节头部表中是没有条目的的：ABS代表...

可重定位目标文件是什么意思

最新发布

03-08

<think>嗯，用户问的是“可重定位目标文件是什么意思”，我需要先回忆一下相关知识。可重定位目标文件应该和编译链接的过程有关吧。记得编译器将源代码编译成目标文件，链接器再把这些目标文件合并成可执行文件。那“可重定位”具体指什么呢？首先，可重定位目标文件应该是一种中间文件，还没经过链接。里面可能有代码段、数据段，还有符号表之类的信息。符号表里记录着函数和变量的地址，但这时候的地址可能还是相对偏移或者未确定的，因为链接的时候才会确定最终地址。所以“可重定位”可能指的是这些地址可以被重新定位，调整到最终的内存位置。用户可能需要知道这个文件的作用，为什么需要它。比如，在大型项目中，不同模块分开编译，生成多个目标文件，链接的时候把它们合并。这时候每个目标文件的地址需要调整，确保合并后不会冲突。可能还要提到重定位表，记录哪些位置需要调整，这样链接器知道怎么处理。另外，可重定位目标文件的结构应该符合某种标准格式，比如ELF（Executable and Linkable Format）在Linux系统里。需要解释各个部分，如.text存放代码，.data存放已初始化的全局变量，.bss是未初始化的，符号表记录全局符号，重定位条目告诉链接器哪些地方需要修改地址。可能还要比较一下其他类型的目标文件，比如可执行文件和共享库。可重定位文件还没链接，地址未确定；可执行文件已经链接，地址固定；共享库则是位置无关的，可以在加载时重定位。需要确保用中文解释清楚这些概念，结构清晰，分点说明。同时注意用户可能不是专业人士，所以例子要具体，比如多个目标文件链接的过程，地址调整的必要性。还要检查术语是否正确，比如“重定位条目”、“符号解析”这些关键词是否准确。最后，总结一下可重定位目标文件的作用：模块化编译、链接阶段合并、地址调整，以及它在软件开发中的重要性，比如代码复用，分模块开发等。这样用户就能全面理解这个概念了。</think>可重定位目标文件（Relocatable Object File）是编译器和汇编器生成的中间文件，它是程序编译过程中的关键产物。以下通过分层结构逐步解释其核心概念： --- ### 一、基本定义 可重定位目标文件是 **未经链接的二进制文件**，包含： 1. **机器指令**（如函数代码） 2. **数据段**（如全局变量） 3. **符号表**（记录函数、变量等符号的引用信息） 4. **重定位信息**（标记需要地址修正的位置）例如，通过 `gcc -c` 编译 `.c` 文件会生成 `.o` 文件（即可重定位目标文件）。 --- ### 二、核心特性：可重定位性 - **地址未绑定**：代码和数据中的地址是 **相对偏移量** 或 **占位符**，而非最终内存地址。 - **重定位表**：包含需要修改的地址位置（例如 `call` 指令调用的函数地址），供链接器后续修正。示例： ```text .text 段中的指令： call 0x00000000 // 函数地址未确定，占位为0 .data 段中的变量： .long global_var // global_var的地址未确定 ``` --- ### 三、文件结构（以ELF格式为例）典型的可重定位目标文件包含以下部分： | 段名 | 作用 | |------------|----------------------------------------------------------------------| | `.text` | 存储编译后的机器指令 | | `.data` | 存储已初始化的全局变量和静态变量 | | `.bss` | 存储未初始化的全局变量（仅占位，不占用文件空间） | | `.symtab` | 符号表，记录全局符号（如函数名、变量名）及其相对地址 | | `.rel.text`| 重定位条目，标记 `.text` 段中需要地址修正的位置 | | `.rel.data`| 重定位条目，标记 `.data` 段中需要地址修正的位置 | --- ### 四、链接器的作用链接器通过以下步骤处理可重定位目标文件： 1. **符号解析**：将符号引用与定义匹配（例如确定 `printf` 的实现位置）。 2. **重定位**： - 合并所有 `.o` 文件的相同段（如将所有 `.text` 合并）。 - 根据最终内存布局，修正代码和数据的绝对地址。例如，若链接后 `.text` 段基地址为 `0x400000`，则原占位地址 `0x00000000` 会被修正为实际偏移量。 --- ### 五、对比其他文件类型 | 文件类型 | 特点 | |--------------------|----------------------------------------------------------------------| | 可重定位目标文件 | 地址未绑定，需链接器处理 | | 可执行文件 | 地址已绑定，可直接加载运行 | | 共享库文件 | 位置无关代码（PIC），支持动态链接 | --- ### 六、实际意义 1. **模块化开发**：允许单独编译多个源文件，再链接为最终程序。 2. **代码复用**：静态库（如 `.a` 文件）本质是多个可重定位目标文件的集合。通过理解可重定位目标文件，可以更深入掌握编译、链接机制及操作系统加载程序的底层逻辑。