ARM学习（25）链接装载高阶认识

ARM学习（25）链接装载高阶认识

1、例子引出

笔者先引入几个编译链接的例子来介绍一下：

  • 声明无效：declared implicitly？，属于编译错误还是链接错误？
    在这里插入图片描述
    编译阶段的错误，属于编译错误，因为编译器发现这个函数没有声明，声明异常

  • 标识符/符号找不到：xxxx is undefined? undefined xxxxx? 无法解析的外部符号？属于编译错误还是链接错误?
    在这里插入图片描述在这里插入图片描述
    在这里插入图片描述
    第一个是结构体找不到，属于编译阶段错误，相当于类型找不到。
    第二个和第三个属于链接错误，找不到对应的函数符号。

  • 只编译不实现：会出现什么情况？ 编译可以通过？链接可以通过？
    编译通过，链接不过，因为链接会关心函数的大小和实现。
    补充例子图。

  • 如何骗过编译器/链接器

    • 骗过编译器：让编译器认为我们写的代码是OK的， 可以编译通过。
    • 骗过链接器：让链接器认为我们代码正常，可以链接成完整的可执行文件，比如axf。
    • 通常来说，我们为了让代码运行，可以会编译链接出一个完整的axf，此时需要快速解决一些编译问题和链接问题，就需要让编译器和链接器认为我们代码是OK的，就需要快速适配，即“骗过”。
    • 比如编译到一个函数test_speed()，找不到对应的函数，test_speed，此时就需要声明一下函数，然后就可以编译过**（下图1）**。
    • 然后到链接的时候，发现找不到符号，Error: L6218E: Undefined symbol test_speed (referred from main.o)。（下图2）那么只有声明不行，需要定义一下，所以再加上一个空函数就行，此时就可以链接过。（下图3）
      在这里插入图片描述
      在这里插入图片描述
      在这里插入图片描述

  • 编译链接学习的意义：

    • 帮助理解代码执行过程
    • 提升代码质量 （熟悉处理编译等警告）
    • 优化代码性能 （了解编译优化）
    • 更好的跨平台开发 （各个平台编译差异）
    • 更深入掌握调试技巧 （各自视图 调试不按行）

  • 主要有PE和ELF两种可执行文件格式
    在这里插入图片描述

2、编译链接

整体框图，1、预处理 2、编译 3、汇编 4、链接
由下图可以看到，

  • C文件经过预处理可以得到.i文件，编译选项-E
  • .i文件经过编译可以得到汇编文件，编译选项-S
  • .s文件经过汇编可以得到目标文件，
  • .o文件经过打包，可以形成静态库.a文件，也可以经过与库文件链接形成可执行文件，后缀为out或者axf。
    在这里插入图片描述

2.1 预处理器

预处理的主要内容有如下：

  • #define进行替换
  • 处理#if #ifdef等预编译指令
  • 展开#include
  • 删除 // /* */
  • 添加行号和文件名
  • 保留Progma指令 ……
    在这里插入图片描述
    string.h 文件展开
    在这里插入图片描述

2.2 编译

编译遵循的语法规则（个人总结）：

  • 函数需要声明，不能重复声明
  • 变量、结构体不能重复定义
  • 变量函数定义需要封号结尾
  • 定义变量数组需要指明大小，不能为负数 宏与枚举不能重复声明
  • 宏需要多行，如果多行，需要\进行链接
  • 包含头文件的路径需要指明
  • 需要包含正确的头文件
  • 函数的声明和定义需要一致
  • If whilefor等关键字得正确使用
  • 注释的正确使用

2.3 链接

链接：将目标文件粘贴在一起，形成可执行文件。
按.o文件进行地址排序

  • Main fun -> Uart1Init fun Main fun -> UartPoll fun
  • 每个目标文件为一个section
  • 目标文件中首个函数地址均从0开始
  • 根据链接顺序，依次向后排
  • 向后排的大小按照目标文件所有函数的大小
  • 后面的符号地址确定后会在前面地址进行修正
    在这里插入图片描述
    按section进行地址排序（设置了分割section 属性，将每个函数进行section分割）
  • Main fun -> Uart1Init fun
  • Main fun -> UartPoll fun
  • 目标文件每个函数为一个section
  • 函数地址均从0开始
  • 根据链接顺序，依次向后排
  • 想后排的大小按照函数的大小
  • 后面的符号地址确定后会在前面地址进行修正

在这里插入图片描述

3、目标文件的认识

3.1 简介

目标文件：以.o或者.obj文件结尾，是可重定位文件（下图1中 REL（Relocatable file））。

  • 包括了代码和数据 （下图2）
  • 入口地址为0 （下图1）
  • 包括多个section/Segment （下图2）
  • Section中包含符号表/重定位表（下图3）
  • 可以被用来链接成可执行文件或者共享库文件
  • 遵循ELF文件格式
    在这里插入图片描述
    下图中有365个段，包括了bss以及data段以及重定位段等。
    在这里插入图片描述在这里插入图片描述
    Section： 链接视图中的段
    Segemnt：装载视图中的段，合并一定相同属性的段

由下图可以看到Section中定义的段，到了Segment里面，代码都合并成了一段。
比如ER_IROM1 、ER_REGION_HEADER、ER_IROM2 合并了，
这样的好处可以减少段零散，节省内存，同时加载相对简单，不需要每个section都去分散加载。
在这里插入图片描述

3.2 目标文件分析

目标文件分析：分割section
分割section的意思，按函数分割为一个段，
UART1Init：Section10，Size 208 Byte，重定位后的地址0x08004C5C（下图1），
UART1Poll：Section11，Size 176Byte，重定位后的地址0x08004D2C（下图1），恰好相差0xD0，也就是208Byte（下图2）。
结论：目标文件确定后，其大小则确定，即链接器按照地址和size依次向后排列，确定地址。
从下图4也可以看出，最终的可执行文件指令代码和目标文件形成的指令代码是一致的。
在这里插入图片描述
图1
在这里插入图片描述
图2
在这里插入图片描述
图3
在这里插入图片描述
图4
目标文件分析：文件为section
Uart.o 为一个section，内部函数按顺序地址递增，然后文件之间进行地址排序
Uart.o wifi.o：地址0x08007E68 – 0x08009004（下图2），相差0x119C（4508个byte）（下图3），
结论：目标文件确定后，链接器按照文件地址和size依次向后排列，确定地址，同时size增大（44280 -> 62128）下图5。

图1
在这里插入图片描述
图2
在这里插入图片描述
图3
在这里插入图片描述
图4
在这里插入图片描述
图5

3.3 目标文件重定位

目标文件重定位表：记录着哪些位置的值链接器需要进行重定位
表结构：两个成员，一个offset，一个type

typedef struct rel_table_struct
{
      u32 offset;
      u32 type;
}rel_table_t;

可能是数据重定位，也可能是函数重定位

  • 下图1 可以看到是一个重定位表，第一个是函数重定位，其type类型是 R_THM_CALL，符号是DMA_Get_CurrDataCounter
  • 下图1中其他是数据，Type是R_ARMC_ABS32，
  • 图2 可以看到UART1Poll函数，其数据地址都是0，重定位后，图2可以看到都有了相应的地址。

在这里插入图片描述
图1
在这里插入图片描述
图2
在这里插入图片描述
图3

函数地址进行重定位

  • 目标文件中的BL指令F7FFFFFE，经过重定位后，变成F7DFFE94
  • BL的修改规则，是通过BL的ARM 指令编码表来计算的，如下图2。例如知道知道当前地址和编码后的指令代码，就可以知道跳转的地址（下图3和图4），当然如果知道当前地址以及跳转地址，可以推断出修订指令编码值。
  • 函数跳转地址实现如下面代码所示，根据ARM BL指令编码表，然后计算出S、J1和J2，imm1和imm2，最后再组装在一起，形成最后的值。
    在这里插入图片描述
    图1
    在这里插入图片描述
    图2
    在这里插入图片描述
    图3
    在这里插入图片描述
    图4
        int it,pc,offset = 0;
        printf("please input Intruction:\r\n");
        scanf("%x", &it);
        printf("please input pc:\r\n");
        scanf("%x", &pc);

        int S = (it & 0x04000000) >> 26;
        int J1 = (it & 0x00002000) >> 13;
        int J2 = (it & 0x00000800) >> 11;

        int I1 = (~(J1 ^ S))&0x1;
        int I2 = (~(J2 ^ S))&0x1;

        int imm10 = (it & 0x03FF0000) >> 16;
        int imm11 = (it & 0x000007FF);
        if(S == 1)
        {
            offset = 0xFF000000;
        }
        offset |= (S<<24);

        offset |= (I1<<23);
        offset |= (I2<<22);

        offset |= (imm10<<12);
        offset |= (imm11<<1);

        printf("jump addr=0x%x\r\n",(offset + pc + 4));

4、静态链接

4.1 空间地址分配

在链接的时候，如果形成图1的这种可执行文件，那么加载的时候，有一些劣势。
简单地址分配：

  • 空间浪费
  • 不利于管理
  • 不利于加载
    在这里插入图片描述
    在这里插入图片描述

4.2 强弱符号和修饰

  • 强符号、弱符号与符号修饰：__weak 或者 attribute((weak))
    符号：函数和变量，链接器接口
    符号名：函数名和变量名
    强符号：只允许存在一个
    弱符号：允许存在多个（weak修饰）
    符号修饰：符号名根据特定规则进行修改
    extern “C”：将函数名按照C语言中生成函数名的方式去生成。

对于弱符号，如果只定义不实现，可以编译过？链接过？能执行吗？
在这里插入图片描述
可以看到能编译过，同样可以链接过，但是执行报错，地址为空，可能无法访问。

所以GCC编译器：

  • 若符号即使没定义，也可以链接
  • 有符号名
  • 符号地址为空，允许出错
    在这里插入图片描述
    在这里插入图片描述

对于ARMCC编译器：

  • 若符号即使没定义，也可以链接
  • 没有符号名
  • 函数引用指令链接成nop，可正常运行

再来说说修饰规则C++调用C：

  • GCC：不作任何操作
  • VC编译器：符号前面加”_”下划线。
  • 不声明extern “C”情况：按照C++的函数命名去修饰
    在这里插入图片描述
    在这里插入图片描述
    修饰规则C++：
  • GCC：N或者_N开头，………
  • VC编译器：??或者?开头 ，…….
    在这里插入图片描述在这里插入图片描述

4.3 链接与ABI接口

链接与ABI接口：Application Binary Interface，应用程序二进制接口

  • API与ABI：前者为源码级别的接口（如POSIX）， 后者来二进制级别的接口（各大编译器无法兼容的原因，就是ABI不同，比如GCC和VC编译器，C++标准都一样，但是ABI不同，导致无法互相调用）。

  • 影响ABI的因素：C角度

    • 基本类型大小以及存储方式（大小端）
    • 符号修饰方面 函数调用方式（入栈/返回值）
    • 寄存器使用约定等
    • 堆栈分布方式

  • 影响ABI的因素：C++角度

    • 继承类体系分布
    • 指向成员指针内存分布
    • 虚函数的调用
    • 模板类的实例化
    • 外部符号的修饰
    • 全局对象的构造和析构
    • 异常产生和捕获机制

4.4 链接过程控制与脚本语法

链接过程控制其实就是链接脚本来控制链接的过程，比如将数据分配到链接脚本指定的段。

加载视图：加载期间，代码和数据的分布情况
运行视图：运行期间，代码和数据的分布情况

存储地址：代码数据存放的位置
加载地址：代码数据加载到内存中（执行代码）的地址
执行地址：代码数据真正执行的地址

来看一个加载过程，具体可参考【Bootloader学习理解学习–加强版】。
在这里插入图片描述
链接脚本语法，如下面两张图所示。
在这里插入图片描述

在这里插入图片描述

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/452069.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

【C++教程从0到1入门编程】第八篇:STL中string类的模拟实现

【C++教程从0到1入门编程】第八篇:STL中string类的模拟实现

一、 string类的模拟实现 下面是一个列子 #include <iostream> namespace y {class string{public: //string() //无参构造函数// :_str(nullptr)//{}//string(char* str) //有参构造函数// :_str(str)//{}string():_str(new char[1]){_str[0] \0;}string(c…
阅读更多...
【数据分享】2008-2022年全国范围逐年NO2栅格数据（免费获取）

【数据分享】2008-2022年全国范围逐年NO2栅格数据（免费获取）

空气质量数据是在我们日常研究中经常使用的数据&#xff01;之前我们给大家分享了2000-2022年全国范围逐年的PM2.5栅格数据、2013-2022年全国范围逐年SO2栅格数据、2013-2022年全国范围逐年CO栅格数据和2000-2022年全国范围逐年PM10栅格数据&#xff08;可查看之前的文章获悉详…
阅读更多...
力扣--深度优先算法/回溯算法47.全排列 Ⅱ

力扣--深度优先算法/回溯算法47.全排列 Ⅱ

思路分析&#xff1a; 使用DFS算法进行全排列&#xff0c;递归地尝试每个可能的排列方式。使用 path 向量保存当前正在生成的排列&#xff0c;当其大小达到输入数组的大小时&#xff0c;将其加入结果集。使用 numvisited 向量标记每个数字是否已经被访问过&#xff0c;以确保每…
阅读更多...
科技助力床垫升级，康姿百德实体店品质有保障

科技助力床垫升级，康姿百德实体店品质有保障

在现代社会的快节奏生活中&#xff0c;高质量的睡眠已成为许多人追求的目标。睡眠质量不仅影响着我们的日常生活和工作效率&#xff0c;而且直接关系到身体健康。康姿百德床垫&#xff0c;作为市场上的优选产品&#xff0c;致力于为消费者提供舒适、健康的睡眠体验&#xff0c;…
阅读更多...
ArcGIS学习（十七）基于GIS平台的水文分析

ArcGIS学习（十七）基于GIS平台的水文分析

ArcGIS学习（十七）基于GIS平台的水文分析 本任务我们来学习”如何结合ArcGIS做水文分析？” 首先要说明的是，这个任务的水文分析是以ArcGIS工具视角来讲的。而水文分析也是“水文学”这个更大的概念下的一个分析方法。 水文学中研究最多的是水文循环，水文循环是一个物理过程…
阅读更多...
Ansible介绍以及功能

Ansible介绍以及功能

ansible功能 批量执行远程命令,可以对远程的多台主机同时进行命令的执行 批量安装和配置软件服务&#xff0c;可以对远程的多台主机进行自动化的方式配置和管理各种服务 编排高级的企业级复杂的IT架构任务, Ansible的Playbook和role可以轻松实现大型的IT复杂架构 提供自动化…
阅读更多...
鸿蒙Harmony应用开发—ArkTS声明式开发（基础手势：Stepper）

鸿蒙Harmony应用开发—ArkTS声明式开发（基础手势：Stepper）

步骤导航器组件&#xff0c;适用于引导用户按照步骤完成任务的导航场景。 说明&#xff1a; 该组件从API Version 8开始支持。后续版本如有新增内容&#xff0c;则采用上角标单独标记该内容的起始版本。 子组件 仅能包含子组件StepperItem。 接口 Stepper(value?: { index?…
阅读更多...
基于ARMA-GARCH模型探究股价的日历效应和节假日效应【思路+代码】

基于ARMA-GARCH模型探究股价的日历效应和节假日效应【思路+代码】

目录 1. 模型定义1.1 ARMA-GARCH模型1.2 引入节假日效应的虚拟变量的新模型1.3 引入日历效应的虚拟变量的新模型 2. 实证部分2.1 准备工作2.2 引入节假日效应虚拟变量的模型建立和结果分析2.3 引入节假日效应和日历效应的虚拟变量的模型建立和结果分析 3. 结语 本文介绍了ARMA-…
阅读更多...
5.Java并发编程—JUC线程池架构

5.Java并发编程—JUC线程池架构

JUC线程池架构 在Java开发中&#xff0c;线程的创建和销毁对系统性能有一定的开销&#xff0c;需要JVM和操作系统的配合完成大量的工作。 JVM对线程的创建和销毁&#xff1a; 线程的创建需要JVM分配内存、初始化线程栈和线程上下文等资源&#xff0c;这些操作会带来一定的时间和…
阅读更多...
YOLOv9改进 添加新型卷积注意力框架SegNext_Attention

YOLOv9改进 添加新型卷积注意力框架SegNext_Attention

一、SegNext论文 论文地址：2209.08575.pdf (arxiv.org) 二、 SegNext_Attention注意力框架结构 在SegNext_Attention中，注意力机制被引入到编码器和解码器之间的连接中，帮助模型更好地利用全局上下文信息。具体而言，注意力机制通过学习像素级的注意力权重，使得模型可以对…
阅读更多...
基于log4cpp封装日志类

基于log4cpp封装日志类

一、log4cpp的使用 1. 下载log4cpp log4cpp官方下载地址 2. 安装log4cpp 第一步&#xff1a;解压 tar zxvf log4cpp-1.1.4.tar.gz 第二步&#xff1a;进入log4cpp文件夹并执行 ./configure tips&#xff1a;如果是ARM架构的CPU可能会失败&#xff0c;如下面这种情况&a…
阅读更多...
力扣热题100_矩阵_54_螺旋矩阵

力扣热题100_矩阵_54_螺旋矩阵

文章目录 题目链接解题思路解题代码 题目链接 54. 螺旋矩阵 给你一个 m 行 n 列的矩阵 matrix &#xff0c;请按照 顺时针螺旋顺序 &#xff0c;返回矩阵中的所有元素。 示例 1&#xff1a; 输入&#xff1a;matrix [[1,2,3],[4,5,6],[7,8,9]] 输出&#xff1a;[1,2,3,6,9…
阅读更多...
图片和PDF 加水印去水印

图片和PDF 加水印去水印

图片和PDF 加水印去水印 前要1. 图片加水印1.1 方法11.2 方法2 2. 去水印3. pdf加水印4. pdf 去水印 前要 网上查了很多资料, 汇总了几个不错的代码, 顺便做个笔记 1. 图片加水印 1.1 方法1 简单方便, 后也好处理 # -*- coding:utf-8 -*- import os from PIL import Imag…
阅读更多...
第四弹：Flutter图形渲染性能

第四弹：Flutter图形渲染性能

目标&#xff1a; 1&#xff09;Flutter图形渲染性能能够媲美原生&#xff1f; 2&#xff09;Flutter性能优于React Native? 一、Flutter图形渲染原理 1.1 Flutter图形渲染原理 Flutter直接调用Skia 1&#xff09;Flutter将一帧录制成SkPicture&#xff08;skp&#xff…
阅读更多...
吴恩达 x Open AI ChatGPT ——如何写出好的提示词视频核心笔记

吴恩达 x Open AI ChatGPT ——如何写出好的提示词视频核心笔记

核心知识点脑图如下&#xff1a; 1、第一讲&#xff1a;课程介绍 要点1&#xff1a; 上图展示了两种大型语言模型&#xff08;LLMs&#xff09;的对比&#xff1a;基础语言模型&#xff08;Base LLM&#xff09;和指令调整语言模型&#xff08;Instruction Tuned LLM&#xff0…
阅读更多...
ARM64汇编06 - 基本整型运算指令

ARM64汇编06 - 基本整型运算指令

ADD (immediate) 将 Xn 与 imm 相加&#xff0c;结果赋值给 Xd&#xff0c;imm 是无符号数&#xff0c;范围为 0 - 4095。 shift 是对 imm 进行移位&#xff0c;shift 为 0 的时候&#xff0c;表示左移 0 位&#xff0c;即不变。shift 为 1 的时候&#xff0c;表示左移12 位&a…
阅读更多...
【漏洞复现】大华智慧园区综合管理平台SQL注入漏洞

【漏洞复现】大华智慧园区综合管理平台SQL注入漏洞

Nx01 产品简介 大华智慧园区综合管理平台是一款综合管理平台&#xff0c;具备园区运营、资源调配和智能服务等功能。该平台旨在协助优化园区资源分配&#xff0c;满足多元化的管理需求&#xff0c;同时通过提供智能服务&#xff0c;增强使用体验。 Nx02 漏洞描述 大华智慧园区…
阅读更多...
pytest生成allure的报告

pytest生成allure的报告

首先要下载安装配置allure allure serve ./outputs/allure_report 可以生成html的文件自动在默认浏览器中打开
阅读更多...
期货开户市场的风险在哪里？

期货开户市场的风险在哪里？

期货市场的风险在哪里&#xff1f;强平和穿仓是什么&#xff1f; 期货市场是一个自带杠杆的市场&#xff0c;简单理解就是我们只需要用10W就能买到价值100万的商品。期货主要的风险来源于仓位风险和交割风险&#xff0c;仓位风险就是我们是采用满仓还是轻仓方式交易。比如我们…
阅读更多...
Linux内核之module_param_named宏代码实例(二十七)

Linux内核之module_param_named宏代码实例(二十七)

简介&#xff1a; CSDN博客专家&#xff0c;专注Android/Linux系统&#xff0c;分享多mic语音方案、音视频、编解码等技术&#xff0c;与大家一起成长&#xff01; 优质专栏&#xff1a;Audio工程师进阶系列【原创干货持续更新中……】&#x1f680; 优质专栏&#xff1a;多媒…
阅读更多...
最新文章

Copyright @ 2022~2023