你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

基于STM32启动过程startup_xxxx.s文件经验分享

[复制链接]
攻城狮Melo 发布时间:2023-6-14 10:20
一、什么是启动文件

无论是是何种MCU,从简单的51,MSP430,到ARM9,ARM11,A7 都必须有启动文件,因为对于嵌入式开发,绝大部分情况都是使用C语言,而C语言一般都是从main 函数开始,但是对于MCU来说,他是如何找到并执行main函数的,就需要用到“启动文件”,就是各种 startup_xxxx.s 文件。启动文件是使用机器认识的汇编语言,经过一些必要的配置,最终能够调用 main 函数,使得用户程序能够在 MCU上正常运行起来的必备文件。

* Q' \9 A2 D" }4 d8 N

二、STM32的启动方式

我在另一篇博文中有介绍过STM32 的启动方式 : 参考博文:STM32的内存管理相关(内存架构,内存管理,map文件分析)


5 B- ^5 ]% F9 B$ D( [* u( B

微信图片_20230614102037.png

1 S" l( N! F% V4 _% ^( A

Cortex-M3 内核规定,起始地址必须存放栈顶指针,而第二个地址则必须存放复位中断入口向量地址,这样在 Cortex-M3 内核复位后,会自动从起始地址的下一个 32 位空间取出复位中断入口向量,跳转执行复位中断服务程序。Cortex-M3 内核固定了中断向量表的位置, 但是起始地址是可变化的。

- Q3 q; z( G2 {

三、启动文件分析(MDK环境)

这篇文章我们通过分析STM32 的startup_xxxx.s 文件,来了解STM32 的启动过程,注意,本文以 MDK环境下的 startup_stm32xxxx.s为模板讲解,不同编译器下的启动文件不同。

但是所做的工作都是一样的:

  • 设置堆栈指针 SP = _initial_sp
  • 设置PC指针 = Reset_Handler
  • 配置系统时钟
  • 配置外部 SRAM 用于程序变量等数据存储(可选)
  • 调用C库的 _main 函数,最终调用main函数
    # _# R' s/ n1 s

0 X- G/ t1 t% ?, e+ k3 K
1 z: w% f! i, p
3.1 开辟栈空间和堆空间

代码的开始,就是开辟栈空间,用于局部变量,函数调用,函数参数等。


' m& z# S3 J; k# x

微信图片_20230614102034.png

/ w7 ^+ P! @* ^" D9 B6 M

上图一些说明(截图忘了把行号带上= =!凑合看,后面带上):

  • EQU 是伪指令。伪指令的意思是指这个 “指令” 并不会生产二进制程序代码,也不会引起变量空间分配。
  • ARER 后面的关键字表示这个段的属性:STACK :表示这个段的名字,可以任意命名。NOINIT:表示此数据段不需要填入初始数据。READWRITE:表示此段可读可写。ALIGN=3:表示首地址按照2的3次方对齐,所以栈空间是8字节对齐的
  • SPACE 给 STACK 段分配 Stack_Size 的空间。
  • __initial_sp只是一个标号,标号主要用于表示一片内存空间的某个位置,等价于C语言中的“地址”概念。地址仅仅表示存储空间的位置。此处的 __initial_sp 紧接着 SPACE 语句放置,表示了栈顶地址。9 T3 ^+ n0 |3 K$ }9 ^% t* i

接下来是开辟堆空间,主要用于动态内存分配,使用malloc,calloc等函数分配的变量空间是在堆上的。


2 z, V2 w1 |, h4 ?

微信图片_20230614102031.png

6 X' W& q5 u2 r9 S

这段的理解和上面分配栈空间类似。堆的大小为 0x200。

堆和栈的属性都是 READWRITE 可读写,可读写段保存于 SRAM区,即地址0x2000 0000 地址后。


& H$ _4 J+ F. n

3.2  中断向量表部分

下面要准备建立中断向量表:


( o" d# w! F- L/ o. {

微信图片_20230614102027.png


; s$ H. d1 @8 R7 g
  • 上图中的 AREA 定义了一段名为 RESET 的 READONLY 只读数据段,只读属性保存在 Flash 区(如果STM32从Flash启动,则此中断向量表的地址为0x0800 0000)
  • 最后 EXPORT 指令,是使得 标号 可以被外部文件调用 对应的有个  IMPORT 指令,指示后续符号是在外部文件定义的,外部文件的函数供汇编文件调用
  • 标号__Vectors,表示中断向量表入口地址 标号 __Vectors_End,表示中断向量表的结束地址 标号__Vectors_Size,表示中断向量表的大号! R* S( o1 u" z, x

开始建立中断向量表:

! ^. Q8 u9 j+ t8 Z' c( P

微信图片_20230614102024.png


8 W+ [" L3 Z( ]' l0 x2 {

中间中断向量省略。。。。。。。

/ x3 c+ J  \+ M8 n' a  c

: f( w' ~. k8 `  J, C 微信图片_20230614102021.png
5 G8 F! h$ M" N: S, X) j- o1 h1 |0 S' d! s5 E7 e8 i0 D

2 s9 Q, G+ S% u
  o. M6 D2 R- w$ F
  • DCD指令:作用是开辟一段空间,其意义等价于 C 语言中的地址符 “&” 。中断向量表的建立类似于使用C语言定义了一个指针数组,其每一个成员都是一个函数指针,分别指向各个中断服务函数。
    ; J* l* f) |2 Z6 V2 l0 Q

$ y* C  b! ^8 |) v
% ?$ o, N$ z+ l. r( q6 |' Q; c5 G
3.3  Reset_Handler 系统启动

系统上电或者复位后首先执行的代码就是复位中断服务函数 Reset_Handler:

3 |4 ?! Z, Y& G  c' _

微信图片_20230614102018.png

9 P: c' P1 e7 q8 n
  • 图中的 Reset_Handler 中断服务函数使用了WEAK申明,说明我们在外部可以自定义 Reset_Handler 函数
  • PROC、ENDP这一对伪指令把程序分为若干个过程,是程序结构更加清晰
  • _main 标号表示 C/C++标准实时库函数里的一个初始化子程序 _main的入口地址。该程序的一个主要作用是初始化堆栈(跳转_user_initial_stackheap标号进行初始化堆栈),并初始化映像文件,最后跳转到C程序中的main函数。这也正解释了为什么所有的C程序必须有一个main函数作为程序的起点,因为这是由C/C++标准实时库所规定的。
    9 x" X! {+ f% {3 Y# R
2 f% F( q; i5 |! f8 D% N1 R

6 `# G9 o* n! h( ^% `& L2 E3 H  ?3.4  中断服务程序


6 a$ ^8 {/ S2 k; n: ]" {

微信图片_20230614102015.png

& `# z1 v4 t+ }# r4 I0 d' y

中间中断服务程序省略。。。。。。。

: q# }" A6 e, U

微信图片_20230614102011.png

* b7 K9 @; s/ Q

中间中断服务程序省略。。。。。。。

: u! E0 j8 @8 r8 a# k4 W

微信图片_20230614102007.png


5 Q4 w# Y+ m& C4 O3 e. J" K

上面的这些不管是系统的中断服务程序还是外设的中断服务程序,都是_WEAK申明,其实我们写中断服务函数的时候,都会自己实现,比如F1中,我们在stm32f1xx_it.c文件中实现使用到的中断服务函数:

: O) m1 U1 }: _5 R

微信图片_20230614102004.png

- h5 X$ j% D2 ~! U! a

3.5  初始化堆栈

文件最后就是堆栈的初始化工作:


$ S6 I. |$ G+ I( e& g5 @8 z

微信图片_20230614102000.png

9 I' B+ @7 o- z" K% Z/ _

四、启动文件分析(GCC环境)

GCC环境下STM32 的启动出除了需要 startup_xxxx.s 文件,还需要一个链接文件 .ld 文件:


: `6 C8 ]2 r4 f

微信图片_20230614101957.png

* S) u9 @7 u2 v$ N8 f

我们以上图中的工程文件为例来说明,平台 STM32L051C8T6,为了与上面MDK下的有对应关系,我们还是尽量按照上面的顺序来。

因为有了上面的介绍,很多东西看起来就简单多了,所以主要是以图片形式把一些重要的地方给予说明。

5 |. t0 a* x( c% g

4.1 .ld 链接文件

先从STM32L051C8Tx_FLASH.ld 文件来看,链接文件主要制定了入口函数,堆栈大小和数据段的整体布局。

4.1.1 开辟栈空间和堆空间

指定入口地址,开辟栈空间和堆空间:


# v  w( S+ G; d

微信图片_20230614101955.png

1 l0 b8 x# }0 b1 f) G

4.1.2 指定布局

指定各数据段的布局:

* g0 K( I1 v+ L/ |

微信图片_20230614101952.png


" a3 }2 v) k' u2 W; E$ K

4.2 .S 文件

注意下面说明的行号,都是按照顺序从上往下说明的。

& g, K' E7 m, E& f2 P* q

4.2.1 基本说明

startup_stm32l051xx.s开头部分是基本说明:

2 E/ N# m6 a7 I) X& l

微信图片_20230614101949.png

2 d0 ?; s) P9 ~9 t% Z: U" z# k. f9 U

4.2.2 Reset_Handler

Reset_Handler 是程序最开始执行的地方,设置栈顶指针,:


7 ]5 N6 z& m  z4 g

微信图片_20230614101947.png


+ t3 P' P' Z0 ~8 Q1 _4.2.3 将data段从flash 移动到 ram

上面的 Reset_Handler 跳转过来执行的事情,就是搬运data段,处理bss段的事情:

7 {6 ?) u6 C" Y% i6 M  f/ R

微信图片_20230614101944.png


+ c5 g8 d! H9 n, v$ t, c/ ^$ h4 o: k0 Y  w! Y/ H
4.2.4 跳转到SystemInit 和 main

回过头来看一下前面讲到的启动文件所做的工作:

  • 设置堆栈指针 SP = _initial_sp
  • 设置PC指针 = Reset_Handler
  • 配置系统时钟
  • 配置外部 SRAM 用于程序变量等数据存储(可选)
  • 调用C库的 _main 函数,最终调用main函数$ @% U# r: L: L" P

最终这里也是跳转到了main函数:


4 T" R2 N4 ^, l# k) b* u# ^5 f4 l

微信图片_20230614101941.png


* {2 m) n( ]0 E4 N+ m7 v4.2.5  中断向量表部分  D4 Y& A' D5 F, @0 F# m
微信图片_20230614101937.png
/ J) b/ r) z. F
* }, d; a3 ^) Q* h转载自:矜辰所致4 `1 v2 g* h* M5 e1 m
如有侵权请联系删除
! d7 \$ T- _3 u$ {# ]) B8 i% ^
: {$ I( i: |+ R. L1 D5 @9 v( T1 u
2 m) C0 @( v/ @% R- s% p
* U5 k& ~" P( t
收藏 评论1 发布时间:2023-6-14 10:20

举报

1个回答
18698722398 回答时间:2024-9-9 15:16:18

写的很棒

关于意法半导体
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
招聘信息
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
关注我们
st-img 微信公众号
st-img 手机版