如何开发与位置无关的 STM32 完整工程

发布者:JoyousJourney最新更新时间:2023-09-30 来源: elecfans关键字:STM32  完整工程  编译工具 手机看文章 扫描二维码
随时随地手机看文章

1、前言

最近有客户询问,能否使用 STM32CubeIDE 在编译时通过设置某个编译选项,让STM32 应用与存储位置无关。这样的优势是能使同一个固件被烧在 STM32 Flash 里的不同位置, 而在系统 Bootloader 里只需要跳到相应的位置就可以正常执行固件代码。客户希望STM32 代码从 Flash 里执行,不复制到 RAM 里;客户希望是一个完整的映像,而不仅仅是其中某个函数做到了位置无关。


2、分析

在嵌入式场景下,不一定有操作系统。即使有操作系统,一般也是 RTOS。一般 RTOS没有一个通用的程序加载器。因此,存储位置无关的需求,在这时可以说无关紧要。但是,如果客户需要进行在线固件更新,例如 IoT 应用的固件升级,那么位置无关就存在价值了。位置无关之后,对于不同的软件版本,不需要频繁的为烧写位置的反复改变而修改编译链接脚本。也不需要在代码里显式的在两个 Bank 之间进行切换。


最简单的情况是所有的代码都复制到内存执行。因为 Flash 的功能只是进行存储,自然对 Flash 的位置没有任何要求。但大部分 MCU 用户面临的真实案例都是 Flash 比较大,例如 ,1M 字节 ;RAM 比较小,例如,128K 字节。在这种情况下,代码在 Flash 原地执行就是一个必须的选择。Flash 位置改变,会影响从 Bootloader 跳转之后的固件执行时的 PC 指针,也就是 PC指针值会发生相应的变化。位置无关的原理,是让应用程序经过编译后所生成的映像,其中的代码和数据,都是基于相对代码的位置进行引用。那么,当应用被搬到不同位置时,他们的相对位置不变,从而执行不受影响。


代码和数据基于绝对地址还是基于相对地址,是由编译器所决定。以客户要求的

STM32CubeIDE 编译工具为例,我们可以看到在[Project]->[Properties]->[C/C++ Build]->[Settings]->[Tool Settings]->[MCU GCC Compiler]->[Miscellaneous]已经有一项[Position Independent Code (-fPIC)]。

是否只要选一下-fPIC 选项就大功告成了呢?答案是没有那么简单。

f79506e8-341f-11ed-ba43-dac502259ad0.png

事实上,对于完整应用程序工程,用户应该经过这些步骤将其变成位置无关:• 选择正确的编译器选项

• 去掉或者替换掉那些包含绝对位置的库文件

• 修改代码中的 Flash 绝对地址(这里以 STM32H7 的 CRC_Example 例程为例,

其他情况下有可能要修改更多) o 在 startup_xxx.s 汇编代码里的 sidata

o 在 system_xxx.c 里的 SCB->VTOR 以及中断向量表内容

o GOT

对于完整工程,要正确的跳转到应用程序进行执行,还需要由 Bootloader 向应用程序提供或者由应用程序在链接时自身解析计算,得到以下信息:

• Flash 偏移量

• 中断向量表的开始以及结束地址

• GOT 的开始以及结束地址

我们接下来就举例说明这些步骤。


3、步骤

3.1. 选择正确的编译器选项

如果我们不使用任何编译选项,编出来的代码会怎么样?我们可以通过.list 文件进行查看。.list 文件在 STM32 例程中默认生成,如果没有请勾选如下选项, 在 [Project]->[Properties]->[C/C++ Build]->[Settings]->[Tool Settings]->[MCU Post Build outputs]->[Generate list file],可参考下图。

f7a7d3a4-341f-11ed-ba43-dac502259ad0.png

f7bb0e42-341f-11ed-ba43-dac502259ad0.png

f7d2fee4-341f-11ed-ba43-dac502259ad0.png

我们看到代码中直接使用了变量的绝对地址,例如 0x2000 0028。我们不要被 literal pool 文字池的使用所迷惑,那个基于 PC 的操作只是为了取变量的绝对地址,例如, 0x2000 0028,并没有将绝对地址变成相对地址。


当然大家说这里是 RAM 地址,没有关系。我们选择这个函数来说明,是因为位置无关的编译器选项是不区分 RAM 还是 Flash 里的变量,而这个函数最简单容易理解。如果我们查看另外一个复杂一点的函数,例如,HAL_RCC_ClockConfig,我们可以看到以下对Flash 里变量的直接使用。这就不妙了,因为一旦改变了 Flash 下载的位置,在绝对地址处就取不出变量的真实内容了。

f7e3c436-341f-11ed-ba43-dac502259ad0.png

我们没有办法一个一个查找修改所有的变量。当然这里的变量是指全局变量。如果要修改,我们希望编译器能把他们集中在一起。对于此,编译器提供了多个编译选项。例如,PIC 是位置无关代码, PIE 是位置无关执行。PIC 和 PIE 这两者类似,但是存在一个显著的差异是 PIE 会对部分全局变量优化。我们可以观察到用两种不同编译选项的效果。

f7f47cf4-341f-11ed-ba43-dac502259ad0.png

其中 80004C0 地址处包含的是 GOT 自身的偏移量,存在 r2 里,要在两次取全局变量 uwTickFreq 和 uwTick 时引用。GCC 编译器引入 GOT 全局偏移量表来解决全局变量的绝对地址的问题。在之前对绝对地址的直接使用,现在被转化成先取得 GOT 入口相对于 PC 的偏移,再获得实际变量相对于 GOT 入口的偏移,从而得到实际变量的地址。计算公式如下:

实际变量的绝对地址=PC + GOT 相对于 PC 的偏移 + 变量地址相对于 GOT 的偏移

GOT 只有一个,如果代码放在不同的位置,代码自身就可以根据 Bootloader 传递过来的信息,或者自行计算来对 GOT 进行更新。这样变量的地址就和新的 Flash 偏移相匹配。

f807ca2a-341f-11ed-ba43-dac502259ad0.png

这里可以看到 80004c0 对应的 uwTick(可以从 str 指令结合 C 语言源代码快速知道它对应于 uwTick)不再使用 GOT 偏移,而是相对于 PC 的偏移(与前文相比,多了一条指令 “add r3,pc”)。换句话说,PIE 对局部的全局变量做了优化。这个优化显然不是我们所需要的。因为如此以来,RAM 变量的地址就会随着 PC 的不同而不同。而我们则希望所有对RAM 的用法不发生变化。


为了能够修改 GOT 内容,我们选择将 GOT 最终存放在 RAM 中,导致代码中对 GOT的寻址也是使用了相对于 PC 的偏移。而因为 RAM 有限,或者因为没有虚拟内存的缘故,我们不希望 RAM 的用法有所不同,否则,可能代价很大。这时,一旦 Flash 代码位置发生变化引起 PC 指针变化,GOT 就无法找到。因此,即使我们不使用 PIE,PIC 也没有办法单独使用。为了确保没有任何存放在 RAM 里的变量的位置是相对于 PC 的偏移。我们应该使用如下所有编译选项,single-pic-base 让系统只使用一个 PIC 基址,就是下文反汇编中看到

r9;no-pic-data-is-text-relative 则让编译器不要让任何变量相对于 PC 寻址。

f81762be-341f-11ed-ba43-dac502259ad0.png

f8276736-341f-11ed-ba43-dac502259ad0.png

这样实际变量的绝对地址,就变成实际变量的绝对地址=PIC 基址 + GOT 相对于 PIC 基址的偏移 + 变量地址相对于 GOT的偏移使用以上编译选项,这样我们看到 HAL_IncTick 就如下所示:

f83fb610-341f-11ed-ba43-dac502259ad0.png

这样所有在 RAM 里的全局变量都是相对于 GOT 的偏移。注意,这个时候你编译出来的代码现在没有办法进行测试,尽管你只是改了编译选项。这是因为 PIC 的基址需要你通过寄存器 r9 显式指定。在本例中,我们在链接脚本里如下定义 GOT 的位置:

f8542d3e-341f-11ed-ba43-dac502259ad0.png

因此,我们可以很容易的从.map 文件中获得 GOT_START 的 RAM 地址,0x2000 0000,它就是 PIC 的基址。如果想测试编译器选项是否如我们所期望,我们可以在Reset_Handler 开始部分加上如下语句(参考后文内存布局的代码):

f86b1986-341f-11ed-ba43-dac502259ad0.png

经过测试,我们可以确信,编译器选项的改动对我们最终执行结果没有影响。

值得注意的是,STM32 用户的代码,例如 RTOS 的移植, 也可能使用寄存器 r9。在这种情况,用户应当解决冲突。一般情况寄存器 r9 对应用程序并不是必要的。

3.2. 去掉或者替换掉那些包含绝对位置的库文件

我们要将位置无关的库去掉或者替换掉。在 STM32 参考代码里,我们需要

startup_xxx.s 里 C 库调用去掉。示例如下:

f883fc62-341f-11ed-ba43-dac502259ad0.png

3.3. 修改 Flash 绝对地址

3.3.1. 内存布局

如果要对代码中的 Flash 绝对地址进行修改,我们需要知道存放 Flash 绝对地址的 RAM起始和结束地址,以及需要增加或减少的 Flash 偏移量。存放 Flash 绝对地址的 RAM 起始和结束地址,在编译时可以让应用代码本身借助自身链接脚本在链接时导出的变量得到,然后由应用程序在运行时存放在 RAM 中的固定位置;也可以在编译后从.map 文件或使用工具解析 elf 文件获得,然后作为应用程序一部分的元信息,例如,给应用程序加个头部存放元信息,由 Bootloader 下载并解析,将其放入到 RAM 固定位置。


我们规划在一段 RAM 里按如下顺序存放如下元信息,它可以是应用程序本身在最初阶段自我存放在这里,也可以简单的由 Bootloader 解析元信息后,跳转到应用程序之前就存放在这里。

f893b15c-341f-11ed-ba43-dac502259ad0.png

我们在前文已经在链接脚本中定义了 GOT_START 和 GOT_END,我们还需要在链接脚本中定义 VT_START 和 VT_END。如下图所示:

f8a1f0dc-341f-11ed-ba43-dac502259ad0.png

如果我们希望 Bootloader 仅仅是做简单的跳转,我们可以将规划这段内存的工作,交给应用程序的初始化部分(在 “ldr sp, =_estack”之前)。假定 0x0 处对应为 0x2400 0000,参考代码如下:

f8b484fe-341f-11ed-ba43-dac502259ad0.png

3.3.2. 汇编代码

3.3.2.1. _sidata

在默认的 STM32 工程中,还有一些对变量绝对地址的使用。在 startup_xxx.s 有许多地方使用绝对地址,它们不能被编译器收集到 GOT 中。其中,默认在链接脚本里的_sidata,标志 flash 里 RAM 数据区的 Flash 位置,需要修改。

f8d1235c-341f-11ed-ba43-dac502259ad0.png

注意,变量绝对地址本身不是个问题,而对它解应用,取它的内容才会发生错误。而这里的 _sidata 是要被初始化代码使用,目的是将 Flash 的内容搬移到 RAM 里。我们显然要对_sidata 进行修改,否则无法取得正确的内容到 RAM 里。

根据前文的内存布局,我们可以把 Flash 的偏移量从内存中放置在寄存器 r8 里,例如:

f8e20532-341f-11ed-ba43-dac502259ad0.png

则我们只需要一行简单的代码 “add r3,r8” 就可以修正_sidata 的地址。

f8f6f37a-341f-11ed-ba43-dac502259ad0.png

3.3.3. C 代码

3.3.3.1. 公共函数

如果一段内存的数据都是硬编码,我们只需要一个公共函数就可以对其循环进行修正。我们需要知道什么样的地址之外不是 Flash 地址,那么就对这样的值不做修改。例如,我们定义 0x1fff ffff 之外的就不是 Falsh 地址,相应的宏定义如下:

f901f82e-341f-11ed-ba43-dac502259ad0.png

3.3.3.2. SCB->VTOR

在 C 语言中如果使用赋值语句进行硬编码,编译器也无法进行收集。例如在

system_stm32xxxx.c 中的 SystemInit 有如下语句:

f9172eba-341f-11ed-ba43-dac502259ad0.png

中断向量表相关的内容需要修改,包括两部分:

• 中断向量表的内存位置

• 中断向量表的内容

我们应该将中断向量表复制到 RAM 里,通过 UpdateOffset 函数修正其中包含的所有Flash 绝对地址的值,同时通过对 SCB->VTOR 赋值来将中断向量表的位置指向我们修改过内容的 RAM 地址。注意,VTOR 所指向的地址 VT_RAM_START 要按照 ARM 要求,根据中断总大小向上进行 2 的幂次对齐,例如,37 个字大小要使用 64 个字对齐。另外,中断向量表的内容,也包含有 RAM 地址,对此,我们并不需要修改。当然,UpdateOffset 函数已

经考虑到这一点,所以我们可以直接使用它。更新中断向量表以及 VTOR 的参考代码如下:

f932eb96-341f-11ed-ba43-dac502259ad0.png

3.3.3.3. GOT

编译器已经将 C 语言中所有全局变量的地址都收集到 GOT 中,因此我们很容易对其Flash 地址的内容进行修正,参考代码如下:

f94ba028-341f-11ed-ba43-dac502259ad0.png

4、总结

除非你仅仅是运行一小块代码,否则开发位置无关的 STM32 完整工程,不仅仅要设置正确的编译器选项,还要保证它所链接的预编译的库不含有绝对地址引用,要保证所有源代码里没有对绝对地址的硬编码,包括修改 data 区的 Flash 起始地址,中断向量表的内容与位置,以及 GOT 的内容。

关键字:STM32  完整工程  编译工具 引用地址:如何开发与位置无关的 STM32 完整工程

上一篇:STM32启动文件简介、详细步骤及代码讲解
下一篇:如何用STM32CubeIDE软件实现STM32外部中断

推荐阅读最新更新时间:2024-11-12 12:38

基于STM32的CMMB智能网络监测系统的设计与实现
中国移动多媒体广播(CMMB)是我国自主研发的、具有完全自主知识产权的移动多媒体广播标准。目前,全国各大城市的CMMB网络正在建设和完善当中,而CMMB信号的覆盖测试为网络优化和调整提供了重要的数据依据。数字电视广播网络的建设是一个长期复杂的过程,需要经过不断地调整和优化才能达到一个理想的效果。而只有有效、精确的网络覆盖测试才能为调整、优化提供可靠的依据。一个成熟稳定的CMMB网络覆盖测试系统,对于CMMB的发展具有重大意义。因此,有必要设计一款针对CMMB网络的覆盖测试系统。 本设计基于高性能单片机STM32和GPRS无线通信方案实现了对测试点CMMB网络覆盖情况的实时监测,并利用GPS接收器将测试终端的地理位子信息上传到服务器
[单片机]
38. ADC实验
一。ADC通道与引脚的对应关系 二。常用库函数 三。ADC初始化函数 ADC_Init(ADC_TypeDef* ADCx, ADC_InitTypeDef* ADC_InitStruct); 例: 四。ADC使能函数,ADC使能软件转换函数 不使用外部触发,使用软件触发,所以调用使能软件转换函数。 五。实验步骤 void Adc_Init(void); // 完成步骤1--4 //初始化ADC //这里我们仅以规则通道为例 //我们默认将开启通道0~3 void Adc_Init(void) { ADC_InitTypeDef ADC_InitStructure; GPIO_In
[单片机]
38. ADC实验
编译STM32库到固件----探索4 NETMF学习
参考莫雨的书本把STM32库移植到MF中去,不过文件都是用的他书本上带的代码 1. 按照书本上65页 在PK中新建一个文件夹 目录C:\PK\DeviceCode\Targets\Native\STM32F10x\DeviceCode\Libraries STM32F10x\DeviceCode \Libraries为新建的文件夹 是三级文件夹 2. 比较懒惰 就直接把他文件夹E:\MF43\玩转NETMF移植SourceCode\SourceCode\DeviceCode\Targets\Native\STM32F10x\DeviceCode\Libraries 下的所有文件拷贝过来了 3. 书本上说的
[单片机]
<font color='red'>编译</font><font color='red'>STM32</font>库到固件----探索4 NETMF学习
STM32两种输出调试信息的方法
方式一:基于SEGGER的RTT方式,可直接使用jlink连接到目标板即可看到调试信息。 优点:速度很快,即使是在中断中调用也没有问题,在带系统的程序中也不需要开启临界保护; 缺点:需要加入两个SEGGER提供的.c文件及头文件,不能输出中文和浮点(原因可能是会降低速度); 硬件连接:jlink的SWDIO引脚必须和目标板连接,其它按照标准使用即可。 需要的两个.c文件可在jlink驱动安装目录D:\SEGGER\JLink_V634c\Samples\RTT中找到(我的安装到D盘驱动版本为634c,根据自己的实际情况找) 可看到里面有一个压缩包,解压后将SEGGER_RTT.c、SEGGER_RTT.h
[单片机]
标准库函数与基于HAL库函数的说明
开始学习51的时候有的人会直接选择进行对单片机的寄存器进行操作,可以很好的理解单片机的工作原理,对于代码的编写也会后很好的理解,但是在stm32的时候操作寄存器就不太行了,因为stm32的寄存器是51的数十倍,如此多的寄存器根本无法全部记忆,开发时需要经常的翻查芯片的数据手册,此时直接操作寄存器就变得非常的费力了。这是我们就有了其他的操作方式,来简化我们的工作。 一、标准库 STM32有非常多的寄存器,导致了开发困难,所以为此ST公司就为每款芯片都编写了一份库文件,也就是工程文件里stm32F1xx……之类的。在这些 .c .h文件中,包括一些常用量的宏定义,把一些外设也通过结构体变量封装起来,如GPIO口时钟等。所以我们只需
[单片机]
STM32中断优先级和开关总中断(很老很经典)
一、中断优先级: STM32(Cortex-M3)中的优先级概念 STM32(Cortex-M3)中有两个优先级的概念——抢占式优先级和响应优先级,有人把响应优先级称作'亚优先级'或'副优先级',每个中断源都需要被指定这两种优先级。 具有高抢占式优先级的中断可以在具有低抢占式优先级的中断处理过程中被响应,即中断嵌套,或者说高抢占式优先级的中断可以嵌套低抢占式优先级的中断。 当两个中断源的抢占式优先级相同时,这两个中断将没有嵌套关系,当一个中断到来后,如果正在处理另一个中断,这个后到来的中断就要等到前一个中断处理完之后才能被处理。如果这两个中断同时到达,则中断控制器根据他们的响应优先级高低来决
[单片机]
<font color='red'>STM32</font>中断优先级和开关总中断(很老很经典)
基于STM32和CAN总线的电动车电池管理系统设计
随着电池能源的广泛应用,石油资源的枯竭和环境污染,电动汽车以其节能环保的优势引起越来越多的重视,在电动汽车的研究和发展上,车载电池及其管理系统的研究与制造占据着重要位置。电动汽车动力电池在应用中的主要问题表现在:生产过程中,电池的工艺,技术以及成组技术还不能保证其初始性能具有良好的一致性;使用过程中,对过充电、过放电、过温度、过电流等非常敏感,这类情况的发生会明显缩短电池寿命,甚至会导致电池报废。电池组是几十个甚至上百个单体电池串联,单体电池之间存在不一致性,随着连续的充放电循环,电池间的不一致性加剧,电池组的可用容量受容量最小的单体电池制约。对于这些情况,电池的初始性能必须要依靠企业生产工艺的优化,生产过程关键参数的控制来改善,
[电源管理]
基于<font color='red'>STM32</font>和CAN总线的电动车电池管理系统设计
STM32 ucos 下添加CAN模块
1.CAN IO RX TX 的设定和重映射 GPIO_PinRemapConfig(GPIO_Remap2_CAN, ENABLE); //端口重映射到PD0,PD1 2.clock CAN IO CLOCK 的开启 、*-------gpio for can------------*/ RCC_APB2PeriphClockCmd(RCC_APB2Periph_GPIOD | RCC_APB2Periph_AFIO, ENABLE); CAN 自身CLOCK 的开启、 /* CAN Periph clock enable */ RCC_APB1PeriphClockCmd(RCC_APB1Periph_CAN
[单片机]

推荐帖子

msp430G2开发板连接不上电脑怎么回事??
msp430G2开发板连接不上电脑怎么回事??就是在现在程序时显示找不到usb!上面的电源灯显示正常!!msp430G2开发板连接不上电脑怎么回事??先安装USB驱动程序。youmaylookingforwrongconnectionport.whichislocatedinCOMpothub,butnoeinUSBhub.seeatachedbelow:原帖由cxg2638于2012-9-814:33发表先安装USB驱动程序
穿越火线大月 微控制器 MCU
CH554测试:RTX51 tiny
很久没有使用51单片机了,先试试RTX51吧,它是keilc51自带的,使用简单,效率高,占用空间少。我们以闪灯为例,首先创建一个51空白程序,单片机选择SST89X58RD,然后将Keil\C51\RtxTiny2\SourceCode目录下的Conf_tny.A51文件复制到用户目录,并添加到项目中。在项目选项中,操作系统(Operatingsystem)选择RTX51tiny。打开Conf_tny.A51,修改INT_CLOCK为50000(默认是10000,通常在10
dcexpert 单片机
学习Verilog三步走
学习Verilog三步走,一些未懂部分//****************************************************************//入门篇:(秋干勿燥,冬去春来)//****************************************************************01.建立项目02.Veriloga).nand/nor/and/or;b).assignment;c).always
zero3360 FPGA/CPLD
关于零件和电子产品烧成品问题
我最近在烧一些diy套件,当我焊烧套件后,我发现解问题。。。。想求助于大大为我解锁困扰。。。1.通常什么原因导致一个电子产品的输出越来越衰弱(例如:我接喇叭的功放会越来越小声,直到没有声音)?是否因为零件的值不好?还是零件的种类?还是过热了?还是设计师本身设计电路不够好??2.当一个电子产品接上电源后他的LED就亮了,是不是说有电子物品里的LED都是为了确保电流在流动?若是为何LED亮了,但是该物品还是不能操作?请各位有经验的电子老手指导,我至少喜欢电子技术,只是没有这方面的领悟与经验。
overing1314 模拟电子
这些储能术语,你了解吗?
在国家双碳政策的引领下,储能产业作为推动传统能源系统变革的关键支柱,正经历着高速增长。作为从事储能行业的从业者和参与者,我们需要掌握一些最基本的专业知识。01储能储能是指将能量存储在介质或设备中,以便在需要时释放的过程。通过灵活的充电和放电控制,储能实现了产能和用能在时间和空间上的匹配,成为能源灵活性的关键。在电力系统的视角下,储能可分为发电侧/电源侧储能、电网侧储能以及用户侧储能,其中电源侧和电网侧储能也称为表前储能或大规模储能
qwqwqw2088 电源技术
小广播
设计资源 培训 开发板 精华推荐

最新单片机文章
何立民专栏 单片机及嵌入式宝典

北京航空航天大学教授,20余年来致力于单片机与嵌入式系统推广工作。

换一换 更多 相关热搜器件

 
EEWorld订阅号

 
EEWorld服务号

 
汽车开发圈

电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved