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

基于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上正常运行起来的必备文件。


6 a9 e7 F% m. `, V6 @- `4 G

二、STM32的启动方式

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


% j3 t3 n( z$ o& }# |: Z9 k

微信图片_20230614102037.png


$ _3 H* ~  G! p: }

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

; v  b3 [" W, N* o

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

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

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

  • 设置堆栈指针 SP = _initial_sp
  • 设置PC指针 = Reset_Handler
  • 配置系统时钟
  • 配置外部 SRAM 用于程序变量等数据存储(可选)
  • 调用C库的 _main 函数,最终调用main函数
    % C0 F; |8 o2 g: m6 C+ X

* T; \& G# I( p! Z
( M5 l2 p8 W5 E: h' m* H1 N
3.1 开辟栈空间和堆空间

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

$ y7 \5 R% H& k3 o4 k* Y2 _. r

微信图片_20230614102034.png

2 U2 Y6 p, h; O# P0 J6 H6 k" C1 m( b

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

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

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


: v9 \9 B% K+ E) g

微信图片_20230614102031.png


$ M$ f+ ]! f, U

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

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

6 S# d, r5 J+ c+ {

3.2  中断向量表部分

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


6 L5 X  k5 |% C- P) [: K  _

微信图片_20230614102027.png

3 B4 |( S5 r/ N& ?
  • 上图中的 AREA 定义了一段名为 RESET 的 READONLY 只读数据段,只读属性保存在 Flash 区(如果STM32从Flash启动,则此中断向量表的地址为0x0800 0000)
  • 最后 EXPORT 指令,是使得 标号 可以被外部文件调用 对应的有个  IMPORT 指令,指示后续符号是在外部文件定义的,外部文件的函数供汇编文件调用
  • 标号__Vectors,表示中断向量表入口地址 标号 __Vectors_End,表示中断向量表的结束地址 标号__Vectors_Size,表示中断向量表的大号
    , B2 i1 Z; G) p9 k9 [+ V

开始建立中断向量表:

) R' r/ y- K& a2 n) R% w' h6 u/ Y

微信图片_20230614102024.png

9 G8 i$ x4 r" C3 d% n# `" t

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


  r7 T4 H0 E* {
; p' t) L" K( F
微信图片_20230614102021.png
% d5 G+ }6 a" i  m8 Q1 r  ^- k1 E# }

6 b9 S6 p& ^; u: e5 l/ g. }# ?6 M# ~, m4 c
  • DCD指令:作用是开辟一段空间,其意义等价于 C 语言中的地址符 “&” 。中断向量表的建立类似于使用C语言定义了一个指针数组,其每一个成员都是一个函数指针,分别指向各个中断服务函数。
    $ T* p+ a5 o" J+ ]

+ ?9 I/ T) T# f( h0 d
5 Y" b! C' D; Y
3.3  Reset_Handler 系统启动

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

2 }5 M8 {3 k9 x2 L' t5 @

微信图片_20230614102018.png


; D8 e0 i1 a% \& I
  • 图中的 Reset_Handler 中断服务函数使用了WEAK申明,说明我们在外部可以自定义 Reset_Handler 函数
  • PROC、ENDP这一对伪指令把程序分为若干个过程,是程序结构更加清晰
  • _main 标号表示 C/C++标准实时库函数里的一个初始化子程序 _main的入口地址。该程序的一个主要作用是初始化堆栈(跳转_user_initial_stackheap标号进行初始化堆栈),并初始化映像文件,最后跳转到C程序中的main函数。这也正解释了为什么所有的C程序必须有一个main函数作为程序的起点,因为这是由C/C++标准实时库所规定的。
    & _- I  Q3 Y: q' }3 U0 E! m: W  i
+ t- U5 p# L) x+ G2 e5 h
; `. G7 F- M+ H
3.4  中断服务程序

+ N7 V& V7 ~9 U

微信图片_20230614102015.png


) Z. ^" L. Y! n

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


. _# K# w. o3 S+ ^

微信图片_20230614102011.png

9 K" B# e/ Z8 w& [9 ^# K4 L3 t# m

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

2 |4 j$ x; }! F

微信图片_20230614102007.png

  I3 Q) W9 @) o6 |: u5 R  r  m

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


* _+ b# z+ F2 t6 a; J( ]% U+ E

微信图片_20230614102004.png


* z: C7 z& u) M3 Y; x" \: n4 p

3.5  初始化堆栈

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

* `( g% h  z( c. k

微信图片_20230614102000.png

  J7 R  a6 G  X9 |# _& s7 D& J

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

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

. @; y' @2 ?$ \, P* [

微信图片_20230614101957.png


+ r3 I% e+ P" T5 S# x

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

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


" Z9 x) Z: ^; g2 h

4.1 .ld 链接文件

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

4.1.1 开辟栈空间和堆空间

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

8 x  V/ r) I# @2 U0 }# w

微信图片_20230614101955.png


& }2 L. h0 ]7 F* i+ B

4.1.2 指定布局

指定各数据段的布局:

" r$ b( ]" N& i. {! z. {+ l4 X# g& o

微信图片_20230614101952.png

& t" x6 M- \* |, u, s! ~

4.2 .S 文件

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

/ K8 a  z# l+ ]" R+ e% K- l

4.2.1 基本说明

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


0 \( H" o0 k) S$ |

微信图片_20230614101949.png


0 H  M- _3 r6 E5 Z/ R' Z! O7 @) g4 l

4.2.2 Reset_Handler

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

; z3 X$ ~7 Y9 z1 }

微信图片_20230614101947.png


2 A5 y6 }* Y8 g- I8 O0 w) Y& v4.2.3 将data段从flash 移动到 ram

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

) `" v9 u8 A; `) \

微信图片_20230614101944.png

& [* M2 U$ Q) a; |$ \* z* g

. O4 g  t2 C. k- Y' Z4.2.4 跳转到SystemInit 和 main

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

  • 设置堆栈指针 SP = _initial_sp
  • 设置PC指针 = Reset_Handler
  • 配置系统时钟
  • 配置外部 SRAM 用于程序变量等数据存储(可选)
  • 调用C库的 _main 函数,最终调用main函数
    $ U4 x6 P& A! o2 c. c

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

2 S8 }0 c$ J. `7 T# `

微信图片_20230614101941.png


) s4 g" Q. v3 u4.2.5  中断向量表部分
/ I3 C' h, ]) c- H. H 微信图片_20230614101937.png ' Q& }$ ^6 w$ T8 Y$ J3 ?& [
' l0 n2 N/ r1 l; Z# |
转载自:矜辰所致$ S  L5 q0 Y" Z! a/ T# [. J- T. U
如有侵权请联系删除
4 B4 s  F7 S3 v8 Q" `
8 V" ~. F% j8 T5 S9 m& Q) T& t& U

) z; N/ ^' N( v. b: s+ C
赞 收藏 评论1 发布时间:2023-6-14 10:20

举报

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

写的很棒

所属标签

相似技术帖

官网相关资源

关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版