段的概念_重定位的引入

段的概念

代码段、只读数据段、可读可写数据段、BSS段。

char g_Char = 'A'; //可读可写,不能放在ROM上,应该放在RAM里
const char g_Char2 = 'B'; //只读变量,可以放在ROM上
int g_A = 0; //初始值为0,没有必要浪费空间
int g_B; //没有初始化,没有必要浪费空间
  • 代码段(RO-CODE):就是程序本身,不会被修改
  • 可读可写的数据段(RW-DATA):有初始值的全局变量、静态变量,需要从ROM上复制到内存
  • 只读的数据段(RO-DATA):可以放在ROM上,不需要复制到内存
  • BSS段或ZI段:初始值为0的全局变量或静态变量/未初始化的全局变量或静态变量,没必要放在ROM上,使用之前清零就可以
  • 局部变量,保存在栈中,运行时生成
  • 堆:一块空闲空间,使用malloc函数来管理它,malloc函数可以自己写

重定位

保存在ROM上的全局变量,在使用前需要复制到内存,这就是数据重定位。
想把代码移动到其他位置,这就是代码重定位。

程序中含有什么

  • 代码段:如果它不在链接地址上,就需要重定位
  • 只读数据段:如果它不在链接地址上,就需要重定位
  • 可读可写的数据段:如果它不在链接地址上,就需要重定位
  • BSS段:不需要重定位,因为程序里根本不保存BSS段,使用前把BSS段对应的空间清零即可

谁来做重定位?

在这里插入图片描述

程序本身:它把自己复制到链接地址去

一开始,程序可能并不位于它的链接地址,为什么可以执行重定位的操作?
因为重定位的代码是用位置无关码写的

什么叫位置无关码:这段代码扔在任何位置都可以运行,跟它所在的位置无关。

怎么写出位置无关码:
跳转:使用相对跳转指令,不能使用绝对跳转指令。
只能使用branch指令(比如bl main),不能给PC直接赋值,比如ldr pc,=main
不要访问全局变量、静态变量
不使用字符串

怎么做重定位和清除BSS段

核心:复制
复制的三要素:源、目的、长度。

  • 怎么知道代码段/数据段保存在哪?(加载地址)
  • 怎么知道代码段/数据段被复制到哪?(链接地址)
  • 怎么知道代码段/数据段的长度?
  • 怎么知道BSS段的地址范围:起始地址、长度?

keil中使用散列文件(Scatter File)来描述
GCC中使用链接脚本(Link Script)来描述

加载地址和链接地址的区别

程序运行时,应该位于它的链接地址处,因为:

  • 使用函数地址时使用的是“函数的链接地址”,所以代码段应该位于链接地址处。
  • 去访问全局变量、静态变量时,用的是“变量的链接地址”,所以数据段应该位于链接地址处

但是: 程序一开始时可能并没有位于它的"链接地址":

  • 比如对于STM32F103,程序被烧录器烧写在Flash上,这个地址称为"加载地址"
  • 比如对于IMX6ULL/STM32MP157,片内ROM根据头部信息把程序读入内存,这个地址称为“加载地址”

当加载地址!=链接地址时,就需要重定位。

重定位的实质:移动数据

把代码段、只读数据段和数据段,移动到它的链接地址处。
也就是复制。

数据复制的三要素:源、目的、长度。

  • 数据保存在哪里?加载地址
  • 数据复制到哪里?链接地址
  • 长度

在keil中,使用散列文件来描述。
在这里插入图片描述

在STM32F103这类资源紧缺的单片机芯片中

  • 代码段保存在Flash上,直接在Flash上运行(当然也可以重定位到内存里)
  • 数据段保存在Flash上,使用前被复制到内存里
; *************************************************************
; *** Scatter-Loading Description File generated by uVision ***
; *************************************************************

LR_IROM1 0x08000000 0x00040000  {    ; load region size_region
  ER_IROM1 0x08000000 0x00040000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
  }
  RW_IRAM1 0x20000000 0x0000C000  {  ; RW data
   .ANY (+RW +ZI)
  }
}

一个散列文件由一个或多个加载域组成。
一个加载域里有一个或多个可执行域。
一个可执行域里有一个或多个输入段。

在这里插入图片描述
可执行域1源:0x08000000,目的:0x08000000,长度:
可执行域1加载地址=链接地址,不需要重定位

  • *.o:所有的.o文件,抽取出RESET段,放在文件最开始的位置
  • :所有objects文件和库,在一个散列文件中只能使用一个
  • .ANY:等同于*,优先级比*低,在一个散列文件的一个可执行域里可以有多个.ANY

可执行域2源:紧随可执行域1后,目的:0x20000000,长度:
需要重定位

获得region信息

可执行域的信息
在这里插入图片描述
加载域的信息
在这里插入图片描述

汇编代码里怎么使用这些信息

void memcpy(void *dest, void *src, unsigned int len)
{
    unsigned char *pcDest = (unsigned char *)dest;
    unsigned char *pcSrc = (unsigned char *)src;
    
    while(len--)
    {
        *pcDest = *pcSrc;
        pcDest++;
        pcSrc++;
    }
}
IMPORT |Image$$RW_IRAM1$$Base|
IMPORT |Image$$RW_IRAM1$$Length|
IMPORT |Load$$RW_IRAM1$$Base|

LDR R0, =|Image$$RW_IRAM1$$Base| ;DEST
LDR R1, =|Load$$RW_IRAM1$$Base| ;SOURCE
LDR R2, =|Image$$RW_IRAM1$$Length| ;LENGTH
BL memcpy

C语言中的BSS段

char g_Char = 'A';
const char g_Char2 = 'B';
int g_A = 0;  // 放在BSS段
int g_B;      // 放在BSS段

程序里的全局变量,如果它的初始值为0,或者没有设置初始值,这些变量被放在BSS段里,也叫ZI段。

BSS段并不会放入bin文件中,否则浪费空间。

在使用BSS段里的变量之前,把BSS段所占据的内存清零就可以了。

注意:对于keil来说,一个本该放到BSS段的变量,如果它所占据的空间小于等于8字节,keil仍然会放到data段里。只有当它所占据的空间大于8字节时,才会放到BSS段。

int g_A[3] = {0, 0}; //12个字节,放在BSS段
char g_B[9];		 //9个字节,放在BSS段

int g_A[2] = {0, 0};//8个字节,放在data段
char g_B[8];		//8个字节,放在data段

如何知道BSS段目的地址,多大?

在散列文件中,BSS段(ZI段)在可执行域RW_IRAM1中描述:

LR_IROM1 0x08000000 0x00080000  {    ; load region size_region
  ER_IROM1 0x08000000 0x00080000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
   .ANY (+XO)
  }
  RW_IRAM1 0x20000000 0x00010000  {  ; RW data
   .ANY (+RW +ZI)
  }
}

BSS段(ZI段)的链接地址(基地址)、长度,使用下面的符号获得:
在这里插入图片描述

代码段重定位-加载地址等于链接地址

在默认散列文件中,代码段的load address = execution address。
加载地址和执行地址(链接地址)一致,无需重定位

LR_IROM1 0x08000000 0x00080000  {    ; load region size_region
  ER_IROM1 0x08000000 0x00080000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
   .ANY (+XO)
  }
  RW_IRAM1 0x20000000 0x00010000  {  ; RW data
   .ANY (+RW +ZI)
  }
}

加载地址不等于链接地址

有时候,我们需要把程序复制到内存里里运行,比如:

  • 想让程序执行得更快:需要把代码段复制到内存里。
  • 程序很大,保存在片外SPI Flash中,SPI Flash上的代码无法直接执行,需要复制到内存里。

这时候,需要修改散列文件,把代码段的可执行域放在内存里。
那么程序运行时,需要尽快把代码段重定位到内存。

LR_IROM1 0x08000000 0x00080000  {    ; load region size_region
  ER_IROM1 0x20000000   {  ; load address != execution address
   *.o (RESET, +First)
   .ANY (+RO)
   .ANY (+XO)
  }
  RW_IRAM1 +0   {  ; RW data
   .ANY (+RW +ZI)
  }
}

上面的散列文件中:

  • 可执行域ER_IROM1:加载地址为0x08000000,可执行地址为0x20000000,两者不相等。
    板子上电后,从0x080000000处开始运行,需要尽快把代码段复制到0x20000000
  • 可执行域RW_IRAM1:加载地址:紧跟着ER_IOM1的加载地址,可执行地址:紧跟着ER_IROM1的可执行地址。
    需要尽快把数据复制到可执行地址处。

代码段不重定位的后果

ldr pc, =main ;这样调用函数,用到main函数的链接地址,如果代码段没有重定位,则跳转失败
void (*funcptr)(const char *s, unsigned int val);
funcptr = put_s_hex;
funcptr("hello",123);

为什么重定位之前的代码也可以正常运行?

因为重定位之前的代码是使用位置无关码写的:
只使用相对跳转指令:B、BL
不使用绝对跳转指令:

LDR R0, =main
BLX R0

不访问全局变量、静态变量、字符串、数组
重定位完成后,使用绝对跳转指令跳转到xxx函数的链接地址去

BL main;BL ;相对跳转,程序仍在Flash上运行

LDR R0,=main ;绝对跳转,跳转到链接地址上去,就是跳去内存里执行
BLX R0

重定位的纯C函数实现

难点在于,怎么得到各个域的加载地址、链接地址、长度。

方法1
声明为外部变量,使用时需要使用取址符

extern int Image$$ER_IROM1$$Base;
extern int Load$$ER_IROM1$$Base;
extern int Image$$ER_IROM1$$Length;

memcpy(&Image$$ER_IROM1$$Base, &Image$$ER_IROM1$$Length, &Load$$ER_IROM1$$Base);

方法2
声明为外部数组,使用时不需要使用取址符

extern char Image$$ER_IROM1$$Base[];
extern char Load$$ER_IROM1$$Base[];
extern int Image$$ER_IROM1$$Length;

memcpy(Image$$ER_IROM1$$Base, Image$$ER_IROM1$$Length, &Load$$ER_IROM1$$Base);

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

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

相关文章

MATLAB Simulink和SMART PLC水箱液位高度PID控制(联合仿真)

SMART PLC 向导PID的详细介绍请查看下面文章链接: S7-200 SMART PLC PID向导详细介绍(如何实现P、PD、PID控制器)-CSDN博客文章浏览阅读1k次。这篇博客主要介绍SMART PLC PID向导的使用,PID控制相关的其它内容请查看专栏系列文章,常用链接如下:SMART PLC PID负压控制(过程…

【uniapp】确认弹出框,选择确定和取消

代码如下&#xff1a; <view style"display: flex; justify-content: space-around;"><button class"button" click"submit">t提交</button> </view>submit(){let thatthisuni.showModal({title: 提示&#xff1a;,con…

AERMOD模型配置方法

数值模式模拟是分析大气污染物时空分布和成分贡献的重要工具&#xff0c;利用模拟结果可以分析大气污染的来源、成因、污染程度、持续时间、主要成分、相对贡献等问题&#xff0c;有助于分析并合理控制污染源排放&#xff0c;为产业调整提供参考。当前&#xff0c;针对不同理论…

【Linux】软硬链接和动静态库

软硬链接 软硬链接的区别&#xff1a; **软链接&#xff1a;**是一个独立文件&#xff0c;有自己独立的 inode 和 inode 编号。**硬链接&#xff1a;**不是一个独立的文件&#xff0c;它和目标文件使用的是同一个 inode。硬链接就是单纯的在 Linux 指定的目录下&#xff0c;给…

怎样能实现不同服务器之间的文件实时同步?

数字化时代&#xff0c;数据已经成为企业的重要资产&#xff0c;其中文件共享是企业运行中的重要业务场景。由于办公文件可能存在不同服务器甚至不同的城市之间&#xff0c;企业文件的实时同步是很多中大型企业急需解决的问题&#xff0c;为了不耽误业务的运行&#xff0c;甚至…

【Amazon】云上探索实验室—了解 AI 编程助手 Amazon Codewhisperer

文章目录 一、前言&#x1f4e2;二、关于云上探索实验室&#x1f579;️三、领学员需要做什么&#xff1f;✴️四、领学员能获得什么&#xff1f;&#x1f523;五、学课通道入口&#x1f447;1️⃣CSDN平台2️⃣网易云课堂3️⃣Skill Builder 平台 六、活动详情链接 一、前言&a…

【java学习—十三】处理流之六:对象流(5)

文章目录 1. ObjectInputStream 和 OjbectOutputSteam2. 对象的序列化 假设有一个Person对象 把这个对象存到电脑的硬盘上&#xff0c;硬盘存储的基础是什么&#xff1f;&#xff08;二进制&#xff09;。那就需要把对象转化为一个二进制的字节流&#xff0c;把这个流保存到电脑…

windows找不到文件xxxx\bin\startup.bat ,tomcat无法启动

问题现象&#xff1a; 问题背景&#xff1a;这是一个神经病的问题&#xff0c;开始tomcat是启动的&#xff0c;结果我的网络一直连接不上&#xff0c;然后检查发现网络适配器以及网线连接都没有问题&#xff0c;于是就按照我以往一贯处理方式&#xff1a;重启电脑&#xff0c;结…

【工具使用】STM32CubeMX-定时器PWM配置

一、概述 无论是新手还是大佬&#xff0c;基于STM32单片机的开发&#xff0c;使用STM32CubeMX都是可以极大提升开发效率的&#xff0c;并且其界面化的开发&#xff0c;也大大降低了新手对STM32单片机的开发门槛。     本文主要讲述STM32芯片定时器PWM功能的配置及其相关知识…

Word2Vec浅谈

论文地址&#xff1a;Efficient Estimation of Word Representations in Vector Space word2vec是Google团队在2013年发表的一篇paper&#xff0c;当时一经问世直接将NLP领域带到了一个新的高度&#xff0c;在2018年bert被提出之前&#xff0c;word2vec一直是NLP算法工程师追捧…

MTK Camera2 的OPEN API流程认知

MTK的设计架构 再了解Camera的open api调用之前我们&#xff0c;需要了解Camera的架构&#xff0c;这样才能提高阅读代码的效率。 代码跟读&#xff1a; 在这个图中大致介绍了OpenCamera的具体调用&#xff0c;下面我们逐步分析Camera的open调用流程。 逐步分析 一、 我们抛…

聚焦车用AI算力,奕行智能EVAS完成超亿元Pre-A+轮融资并即将推出端侧算力芯片产品

近日&#xff0c;奕行智能科技&#xff08;广州&#xff09;有限公司&#xff08;以下简称&#xff1a;“奕行智能”&#xff09;完成超亿元人民币Pre-A轮融资。本轮融资由广州南沙科金控股集团有限公司下属广州南沙区南金基金管理有限公司作为领投方&#xff0c;东南亚最大的金…

绘图软件 OmniGraffle mac中文版特点说明

OmniGraffle mac是一款图形绘制和图表设计软件&#xff0c;主要面向 macOS 和 iOS 平台。它适用于用户创建流程图、组织结构图、原型设计、网站线框图、地图等各种类型的图形。该软件的界面直观&#xff0c;用户友好&#xff0c;让用户能够轻松地创建和编辑复杂的图形。 OmniGr…

臀部筋膜炎怎么治疗最有效

臀部筋膜炎的主要症状包括以下几点&#xff1a; 一、筋膜炎发生时会导致臀部疼痛以及局部红肿的情况。 二、可能会引起臀部活动受限。 三、可能会导致患者不能取坐位&#xff0c;因为坐位时可能由于局部压迫而引起筋膜炎疼痛症状加重&#xff0c;而引起患者不能取坐位的情况…

(论文阅读31/100)Stacked hourglass networks for human pose estimation

31.文献阅读笔记 简介 题目 Stacked hourglass networks for human pose estimation 作者 Alejandro Newell, Kaiyu Yang, and Jia Deng, ECCV, 2016. 原文链接 https://arxiv.org/pdf/1603.06937.pdf 关键词 Human Pose Estimation 研究问题 CNN运用于Human Pose E…

【反编译系列】二、反编译 .pyc 文件(uncompyle6)

文章目录 【反编译系列】二、反编译 .pyc 文件&#xff08;uncompyle6&#xff09;1. 介绍2. 反编译Reference 【反编译系列】二、反编译 .pyc 文件&#xff08;uncompyle6&#xff09; 1. 介绍 .pyc 文件是 Python 将 .py 源代码编译后生成的字节码文件,主要有以下几个特点和…

火山引擎DataTester上线「集成工作台」功能,助力企业打造专属AB平台

更多技术交流、求职机会&#xff0c;欢迎关注字节跳动数据平台微信公众号&#xff0c;回复【1】进入官方交流群 AB测试不仅是做增长的“利器”&#xff0c;也是企业优化效率、增加决策精确度的有效工具。随着国内企业服务市场需求的多元&#xff0c;企业对AB测试平台的“个性化…

如何实现可视化大屏——基于VChart

引言 在大屏产品中&#xff0c;可视化扮演着信息展示和传达、用户体验和互动、数据分析和决策支持、品牌展示和差异化、故事叙述和信息呈现等至关重要的角色。作为可视化图表的重要载体之一&#xff0c;大屏与智能BI产品不管是在产品设计&#xff0c;还是可视化设计的侧重点都…

YOLOv8-seg 分割代码详解(二)Train

前言 本文主要以源码注释为主&#xff0c;可以了解到从模型的输出到损失计算这个过程每个步骤的具体实现方法。 流程梳理 一、选取有效 anchor   以 640x640 的输入为例&#xff0c;模型最终有8400个 anchor&#xff0c;每个 anchor 都有其对应的检测输出&#xff08;4n&am…