段的概念_重定位的引入

news2024/11/25 13:35:50

段的概念

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

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

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

相关文章

容器size()无符号数导致的for循环崩溃

1.问题描述 容器size()无符号数导致的for循环崩溃 for (int index 0; index < static_cast(intVec.size())-1; index) { printf(“%d”,intVec[index]); } 如果不做强转&#xff0c;可能会有两个问题&#xff1a; &#xff08;1&#xff09;编译不过 &#xff08;2&#x…

项目管理:如何利用有限的时间完成无限的任务

时间管理&#xff0c;实质上就是利用有限的时间完成无限的任务。它要求我们通过对任务的安排&#xff0c;实现在有限的时间内&#xff0c;使任务变得更有条理。 时间管理就像整理房间。如果你长期不进行整理&#xff0c;房间的杂物就会越积越多。如果将各类物品进行分类&…

Pyecharts数据可视化综合应用PyEcharts概述在线闯关_头歌实践教学平台

PyEcharts概述 第1关 快速上手任务描述相关知识导入图表类型添加数据设置图表样式输出图表链式调用编程要求测试说明代码 第1关 快速上手 任务描述 本关任务&#xff1a;快速上手使用pyEcharts进行绘图。 相关知识 为了完成本关任务&#xff0c;你需要掌握&#xff1a;1. p…

YOLOv8-Seg改进:卷积变体系列篇 | SCConv(空间和通道重建卷积) | CVPR2023

🚀🚀🚀本文改进:SCConv(空间和通道重建卷积),引入到YOLOv8,与C2f结合实现二次创新; 🚀🚀🚀SCConv亲测在多个数据集能够实现涨点 🚀🚀🚀YOLOv8-seg创新专栏:http://t.csdnimg.cn/KLSdv 学姐带你学习YOLOv8,从入门到创新,轻轻松松搞定科研; 1)手把…

PGVector 管理工具 pgAdmin

PGVector 管理工具 pgAdmin pgAdmin 下载地址pgAdmin 安装pgAdmin 使用 pgAdmin 下载地址 https://www.postgresql.org/ftp/pgadmin/pgadmin4/ pgAdmin 安装 双击 pgadmin4-*-x64.exe 安装文件&#xff0c;选择安装路径&#xff0c;后面安装提示单击 next 就可以了。 pgAdm…

虹科分享 | 一文带你了解增强现实(AR)技术的前世今生!

AR技术的前世今生 引言&#xff1a;增强现实&#xff08;Augmented Reality, AR&#xff09;技术在近几年大放光彩&#xff0c;您可能在《头号玩家》或《黑镜》等影视作品中看到过人们对AR技术的其奇思妙想&#xff0c;也可能从科普文章中了解过“元宇宙”、“数字孪生”等概念…

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

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

Animate 2024 for mac动画制作软件

Animate 2024是一款由Adobe公司开发的强大动画制作软件&#xff0c;它能帮助用户轻松制作出各种精美的动画作品。Animate 2024拥有强大而直观的设计工作流程&#xff0c;能够让用户自由地构建动画场景、绘制精美的图形&#xff0c;并轻松添加动态效果。无论是传统手绘风格还是骨…

Qt基础 QT QTextEdit自动滑动

目录 1.吐槽那些写文章不动脑子的人,不带脑子就别写,误人子弟 2.问题解决&#xff1a; 1.吐槽那些写文章不动脑子的人,不带脑子就别写,误人子弟 最近公司在做一个提词项目,本来对这里功能难易感觉属于一般的,谁知道碰到一个很简单问题,搞了半天,先喷一下百度浏览器 不知道是…

上机实验四 图的最小生成树算法设计 西安石油大学数据结构

实验名称&#xff1a;图的最小生成树算法设计 &#xff08;1&#xff09;实验目的&#xff1a; 掌握最小生成树算法&#xff0c;利用kruskal算法求解最小生成树。 &#xff08;2&#xff09;主要内容&#xff1a; 利用kruskal算法求一个图的最小生成树&#xff0c;设计Krus…

Stable Diffusion 是否使用 GPU?

在线工具推荐&#xff1a; Three.js AI纹理开发包 - YOLO合成数据生成器 - GLTF/GLB在线编辑 - 3D模型格式在线转换 - 3D数字孪生场景编辑器 Stable Diffusion 已迅速成为最流行的生成式 AI 工具之一&#xff0c;用于通过文本到图像扩散模型创建图像。但是&#xff0c;它需…

软件外包开发的需求整理

提高软件需求描述的准确度是确保项目成功的关键一步。以下是一些建议&#xff0c;可以帮助提高需求描述的准确度&#xff0c;希望对大家有所帮助。 1.深入了解业务&#xff1a; 在开始编写需求之前&#xff0c;充分了解业务流程和业务目标。与业务团队密切合作&#xff0c;确保…

数字化转型时代,商业智能BI到底是什么?

据国际数据公司&#xff08;IDC&#xff09;预测&#xff0c;2025年时中国产生的数据量预计将达48.6ZB&#xff0c;在全球中的比例为27.8%。商业智能BI这一专为企业提供服务的数据类解决方案&#xff0c;仅2021年上半年在中国商业智能BI市场规模就达到了3.2亿美元&#xff0c;商…

idea生成代码(一):实现java语言的增删改查功能(基于EasyCode插件)支持自定义模板【非常简单】

idea生成代码&#xff08;一&#xff09;&#xff1a;实现java语言的增删改查功能&#xff08;基于EasyCode插件&#xff09;支持自定义模板【非常简单】 idea生成代码&#xff08;二&#xff09;&#xff1a;实现java语言的增删改查功能&#xff08;基于mybatis-plus代码生成器…

(七)Spring源码解析:Spring事务

对于事务来说&#xff0c;是我们平时在基于业务逻辑编码过程中不可或缺的一部分&#xff0c;它对于保证业务及数据逻辑原子性立下了汗马功劳。那么&#xff0c;我们基于Spring的声明式事务&#xff0c;可以方便我们对事务逻辑代码进行编写&#xff0c;那么在开篇的第一部分&…

Banana Pi BPI-M5 Boot Log 导出说明

准备&#xff1a; Preparation: 1、 一块bpi的开发板&#xff0c;一根ttl的串口线&#xff0c;以及一张烧录好镜像的sd/tf卡&#xff08;烧录到eMMC也行&#xff09;。 1. A BPI development board, a TTL serial port cable, and an SD/TF card with a burned image (it ca…

基于ssm的学生档案管理系统(有报告)。Javaee项目,ssm项目。

演示视频&#xff1a; 基于ssm的学生档案管理系统&#xff08;有报告&#xff09;。Javaee项目&#xff0c;ssm项目。 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到网站。 项目介绍&#xff…

海外ASO优化之谷歌商店的评论优化

应用商店中的评分和评论&#xff0c;显示我们的应用程序的受欢迎程度以及用户对该应用程序的看法。评分和评论是以前或者是现在的用户分享的经验和公开的反馈。 1、提高应用评分评论。 高评分的应用可以从应用商店内的搜索流量中获得更多的点击量&#xff0c;通过推荐和推荐获…

基于单片机智能浇花系统仿真设计

**单片机设计介绍&#xff0c; 基于单片机智能浇花系统仿真设计 文章目录 一 概要二、功能设计设计思路 三、 软件设计原理图 五、 程序六、 文章目录 一 概要 基于单片机的智能浇花系统可以实现自动化浇水、测土湿度和温度等功能&#xff0c;以下是一个基本的仿真设计步骤&am…