段的概念_重定位的引入

段的概念

代码段、只读数据段、可读可写数据段、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_regionER_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_regionER_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_regionER_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_regionER_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);

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Python爬虫从基础到入门:找数据接口

Python爬虫从基础到入门:找数据接口 1. 怎样判断抓取的数据是动态生成的2. 用requests模块访问,然后用解析模块解析数据3. 总结1. 怎样判断抓取的数据是动态生成的 请参考文章:Python爬虫从基础到入门:认识爬虫 第3点所讲。 这里用我的CSDN个人主页举例。 可以说这部分下的…

第4关:非递归实现二叉树左右子树交换

任务描述相关知识 栈的基本操作二叉树后序遍历编程要求测试说明 任务描述 本关任务:给定一棵二叉树,使用非递归的方式实现二叉树左右子树交换,并输出后序遍历结果。 相关知识 为了完成本关任务,你需要掌握:1.栈的基…

无人地磅称重系统|自助过磅 料仓联动 自助卸料

上海思伟无人地磅系统 自助过磅、 自助卸料 、料仓联动 智能、省人、安全 无人监管过磅 对地磅及其相关的所有硬件进行配置和管理; 支持红外、道闸、车牌识别、AI分析、拍照存档、LED语音播报一体机等设备; 实现稳定可靠的无人监管称重功能&#xf…

云服务器哪家强?阿里云双十一2核2G配置3M带宽仅99元/年!

阿里云作为国内知名的云计算服务提供商,每年的双11都会推出各种优惠活动和促销策略。在今年的双11期间,阿里云推出了多种选择的云服务器,其中两款备受用户关注:轻量服务器2核2G3M带宽优惠价87元一年和经济型e实例2核2G配置3M带宽9…

Vue3 ref函数和reactive函数

一、ref函数 我们在setup函数中导出的属性和方法虽然能够在模板上展示出来,但是并没有给属性添加响应式,因此,我们需要使用ref函数来为我们的数据提供响应式。 (一)引入ref函数 import { ref } from "vue"…

数据结构:红黑树的原理和实现

文章目录 红黑树的概念红黑树的性质红黑树的模拟实现红黑树的平衡问题 整体实现和测试 本篇用于进行红黑树的拆解和模拟实现,为之后的map和set的封装奠定基础 红黑树的概念 红黑树也是一种二叉搜索树,但是在每一个节点的内部新增了一个用以表示该节点颜…

IDEA的优化配置教程

前言 IDEA 全称 IntelliJ IDEA,是java编程语言开发的集成环境。IntelliJ在业界被公认为最好的java开发工具,尤其在智能代码助手、代码自动提示、重构、JavaEE支持、各类版本工具(git、svn等)、JUnit、CVS整合、代码分析、 创新的GUI设计等方面的功能可以…

thinkphp5 连接多个服务器数据库

如果你的database.php 是这样, 这是默认的db连接配置 如果还想连接其他服务器,或数据库 在config.php中追加数据库配置, 在使用的地方调用: use think\Db;public function test(){$db3Db::connect(config(db3));$result $db3…

使用gitflow时如何合并hotfix

前言 在使用 git flow 流程时, 对于项目型的部署项目经常会遇到一个问题, 就是现场项目在使用历史版本时发现的一些问题需要修复, 但升级可能会有很大的风险或客户不愿意升级, 这时就要求基于历史版本进行 hotfix 修复. 基于历史发布版本的缺陷修复方式不同于最新发布版本的补…

自然语言处理实战项目21-两段文本的查重功能,返回最相似的文本字符串,可应用于文本查重与论文查重

大家好,我是微学AI,今天给大家介绍一下自然语言处理实战项目21-两段文本的查重功能,返回最相似的文本字符串,可应用于论文查重。本文想实现一种文本查重功能,通过输入两段文本,从中找出这两段文本中最相似的句子。这项技术有助于检测抄袭、抄袭的论文和文章,提高知识创新…

【SpringBoot】SpringBoot自动配置底层源码解析

概述 EnableAutoConfiguration源码解析SpringBoot常用条件注解源码解析SpringBoot之Mybatis自动配置源码解析SpringBoot之AOP自动配置源码解析SpringBoot Jar包启动过程源码解析 DeferredImportSelector接口 DeferredImportSelector和ImportSelector的区别在于: …

Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks - 翻译学习

知识密集型NLP任务的检索增强生成 - 论文学习 文章目录 Abstract1 Introduction2 Methods2.1 Models2.2 Retriever: DPR2.3 Generator: BART2.4 Training2.5 Decoding 3 Experiments3.1 Open-domain Question Answering3.2 Abstractive Question Answering3.3 Jeopardy Questio…

医疗器械维修工程师必须重视的方面

彩虹医疗器械维修技能培训开班报名中 长期班低至五折, 打破常规培训模式轻松愉快技术学习! 两个多月时间,提升自我! 点击进入 彩虹实训基地 理论实践结合教学 小班授课 立即咨询 1 工程师须重视 在医疗行业中,…

青少年编程学习 等级考试 信奥赛NOI/蓝桥杯/NOC/GESP等比赛资料合集

一、博主愚见 在当今信息技术高速发展的时代,编程已经成为了一种必备的技能。随着社会对于科技人才的需求不断增加,青少年编程学习正逐渐成为一种趋势。为了更好地帮助青少年学习编程,提升他们的技能和素质,博主结合自身多年从事青…

MacOS下VMware Fusion配置静态IP

前言 在虚拟机安装系统后,默认是通过DHCP动态分配的IP,这会导致每次重启虚拟机ip都可能会改变,使用起来会有很多不便。 配置静态IP 查看主机网关地址 cat /Library/Preferences/VMware\ Fusion/vmnet8/nat.conf 查看主机DNS,m…

总结MYSQL中VHARCHAR和TEXT

前几天在设计表结构时,针对表中的一个字段使用text还是使用varchar是受到了开发同学的挑战。本篇文章对text和varchar的区别做个总结。 VHARCHAR和TEXT对比 char(n)varchar(n)中括号中n代表字符的个数,并不代表字节个数,所以当使用了中文的…

笔记本分屏怎么操作?3个方法提高工作效率!

“有朋友知道笔记本怎么才能实现分屏吗?我在工作时,经常需要来回切换屏幕,效率真的太低了,有什么方法可以实现两个屏幕同时使用吗?” 在现代生活中,多任务处理已成为常态,而笔记本分屏技术为用户…

电脑监控软件丨功能详情丨特点分析

电脑监控软件的出现,是在信息技术的飞速发展以及计算机使用的普及的背景下产生的。随着计算机在企业、学校以及家庭等各个场所的广泛使用,管理和保护计算机数据安全的问题变得越来越重要。因此,电脑监控软件应运而生,旨在帮助用户…

浅谈掌动智能验收测试主要服务内容

所谓验收测试是对软件的功能性、性能效率、兼容性、易用性、可靠性、信息安全性、维护性、可移植性进行测试,对产品说明、用户文档集进行审阅,为科研项目、信息工程项目等进行第三方验收评测,交付验收测试报告。本文将介绍掌动智能验收测试主…

Rust 中的引用与借用

目录 1、引用与借用 1.1 可变引用 1.2 悬垂引用 1.3 引用的规则 2、slice 类型 2.1 字符串字面量其实就是一个slice 2.2 总结 1、引用与借用 在之前我们将String 类型的值返回给调用函数,这样会导致这个String会被移动到函数中,这样在原来的作用域…