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

基于STM32上电启动过程经验分享

[复制链接]
攻城狮Melo 发布时间:2023-9-26 16:22
一、概述
+ k! ]0 K6 `: z( [$ m$ t
1、说明
每一款芯片的启动文件都值得去研究,因为它可是你的程序跑的最初一段路,不可以不知道。通过了解启动文件,我们可以体会到处理器的架构、指令集、中断向量安排等内容,是非常值得玩味的。
4 V( o/ V7 A" ~: l% f: Q7 Y  ?
STM32作为一款高端 Cortex-M3系列单片机,有必要了解它的启动文件。打好基础,为以后优化程序,写出高质量的代码最准备。
本文以一个实际测试代码--START_TEST为例进行阐述。

' Q0 i# a1 g4 z% y3 |, K
2、整体过程概括
STM32整个启动过程是指从上电开始,一直到运行到 main函数之间的这段过程,步骤为(以使用微库为例):
①上电后硬件设置SP、PC
②设置系统时钟
③软件设置SP
④加载.data、.bss,并初始化栈区
⑤跳转到C文件的main函数
! f2 \" \* g+ P% j% _$ n3 M1 o
3、整个启动过程涉及的代码推荐阅读启动过程涉及的文件不仅包含 startup_stm32f10x_hd.s,还涉及到了MDK自带的连接库文件 entry.o、entry2.o、entry5.o、entry7.o等(从生成的 map文件可以看出来)。
. l& v& d3 i/ @
& i7 D/ A' P0 i二、程序在Flash上的存储结构
9 r* N/ r7 ]7 E6 H# s- H在真正讲解启动过程之前,先要讲解程序下载到 Flash上的结构和程序运行时(执行到main函数)时的SRAM数据结构。程序在用户Flash上的结构如下图所示。下图是通过阅读hex文件和在MDK下调试综合提炼出来的。
6 @: B6 @9 Q/ Q% q) D: V
( S$ D- E( s9 [2 M) [* k
微信图片_20230926162154.jpg
4 J  b# R4 f9 ~& j/ U! _2 G* }* E% w6 P: ^/ t9 O0 B
  MSP初始值        编译器生成,主堆栈的初始值- K  x) [+ s# T$ e  Z. \$ A
  异常向量表        不多说
9 K  b- d! H7 v0 q  外部中断向量表      不多说
6 W6 [' M& @5 m/ D8 k0 I& O: }8 v  代码段          存放代码
# x' R8 q, f& D- G  初始化数据段       .6 Y8 V) `; \- h& L) J
data+ v, w8 [% ~' m; V* N
  未初始化数据段      .bss, C# f9 }, Z* l& H
2 _! ^# J' K7 O! h3 B4 P
加载数据段和初始化栈的参数: y/ D% D! r# y- \
加载数据段和初始化栈的参数分别有4个,这里只讲解加载数据段的参数,至于初始化栈的参数类似。
# e+ m+ k5 h# Q/ ~- s" b% d
  1. 0x0800033c        Flash上的数据段(初始化数据段和未初始化数据段)起始地址
    2 B+ h& b% j% y' j8 p, l! {0 X# H6 L
  2. 0x20000000        加载到SRAM上的目的地址
    0 d& K6 a) \5 W3 c4 ^. l+ g0 {. G
  3. 0x0000000c        数据段的总大小+ x% ]+ ]  _$ c; ^
  4. 0x080002f4         调用函数_scatterload_copy
复制代码
需要说明的是初始化栈的函数-- 0x08000304与加载数据段的函数不一样,为 _scatterload_zeroinit,它的目的就是将栈空间清零。
, @( p- ^/ `) z% A! @
) E1 ]  z2 a3 J. k: Z$ e
微信图片_20230926162150.jpg , ]5 ^) E. V  Z+ T- g" I. X5 R
* J8 K# G/ E! [$ `" g% F9 j+ k7 h
三、数据在SRAM上的结构! p+ }2 q2 O+ _( Q! y8 Q
程序运行时(执行到main函数)时的SRAM数据结构
' r4 B- l" Q8 p+ X8 Q$ e3 H
4 @% h' Q4 I  q* n& T
微信图片_20230926162144.jpg
& E  q5 t: N, t' W8 r2 N; n4 s  t* z4 {
四、详细过程分析
/ c) O% t, D5 J: @$ Q( z4 x有了以上的基础,现在详细分析启动过程。; K) ?. x4 I( i; J1 {
: `( o5 }" ?  c6 G7 {/ ?1 [
1、上电后硬件设置SP、PC
. X& ^9 o: d) }+ g0 c# [7 p刚上电复位后,硬件会自动根据向量表偏移地址找到向量表,向量表偏移地址的定义如下:
/ B- E2 a* t7 g: `
, D1 R5 C& |2 \& Z# f
微信图片_20230926162135.jpg ' Y& H2 r0 d  M- v
5 z9 Z; W2 Z) G( ]+ Z
调试现象如下:
% A/ R4 C& H$ g( f) t& e* n
/ g# J  ~! Z/ S# d! D
微信图片_20230926162132.png
$ v5 k" E7 c- @" e$ b. G% a6 d8 c" d, N7 e+ W7 r) C
看看我们的向量表内容(通过J-Flash打开hex文件)
8 }9 h1 Q1 V2 f6 c  P/ T, c) t+ W; I7 B/ Q
微信图片_20230926162128.jpg ! c' V+ |6 o' f, C

0 p' j% I8 w+ R0 d硬件这时自动从0x0800 0000位置处读取数据赋给栈指针SP,然后自动从0x0800 0004位置处读取数据赋给PC,完成复位,结果为:
- ^. Z, @, p9 S( `) J8 T5 T, P. \5 k, o- f- V! W$ n) T
  SP =0x02000810) ?; h- k: [7 h% \0 i- S! Q7 H" f
  PC =0x08000145) a2 u7 ]% p6 \& K  G0 M

% v" k9 g* j0 L& R" I% B# C2、设置系统时钟
: A+ Y" B; {8 u) p& n* x上一步中令 PC=0x08000145的地址没有对齐,硬件自动对齐到 0x08000144,执行 SystemInit函数初始化系统时钟。
" T6 Z# x( `3 T4 R2 ]" b. s" m# \3 u4 s5 f
3、软件设置SP
4 b3 F* U. m( f+ ]' X9 h2 P$ k
7 {  x, J  t  c* x& ]
  1. LDR   R0,=__main% s7 r9 |8 ?5 N% D3 h
  2. BX   R0
复制代码
) f$ \5 D9 a* w0 {0 c
执行上两条之类,跳转到 __main程序段运行,注意不是main函数, ___main的地址是0x0800 0130。" S1 S0 W3 y! m1 M7 V

& f+ F" T- L3 E9 a可以看到指令LDR.W sp,[pc,#12],结果SP=0x2000 0810。
! i  }3 }, n8 Z) |1 `+ c6 |! [) _& b2 m: r3 B$ Z. l/ A8 D# W% E
4、加载.data、.bss,并初始化栈区# ?, D5 C1 T3 @
  1.    BL.W     __scatterload_rt2
复制代码

" b. \$ f1 w0 z# W+ t9 u进入 __scatterload_rt2代码段。
, D* T& `& `* o% X* z9 P
  1. __scatterload_rt2:. x+ i9 f( R4 H5 t9 ]. @
  2.   0x080001684C06                  LDR         r4,[pc,#24]  ; @0x08000184  J4 U" L) j% v2 {, @3 h6 m" l. ~
  3. 0x0800016A4D07                 LDR         r5,[pc,#28]  ; @0x08000188
    / r$ C" m9 ~6 C* H0 K9 x) V( S& ?) a
  4. 0x0800016CE006                  B             0x0800017C
    $ l: y' Q. k& f8 p( ?& z& u
  5. 0x0800016E68E0                  LDR         r0,[r4,#0x0C]
复制代码

0 j; S6 B: N% \这段代码是个循环 (BCC0x0800016e),实际运行时候循环了两次。第一次运行的时候,读取“加载数据段的函数 (_scatterload_copy)”的地址并跳转到该函数处运行(注意加载已初始化数据段和未初始化数据段用的是同一个函数);第二次运行的时候,读取“初始化栈的函数 (_scatterload_zeroinit)”的地址并跳转到该函数处运行。相应的代码如下:

4 u: C' I& }7 X
  1. 0x0800016E68E0               LDR             r0,[r4,#0x0C]) Q: r4 p$ K/ {# @) q6 H
  2. 0x08000170   F0400301     ORR             r3,r0,#6 H2 d) C, N7 Z! q$ ^2 P( ^
  3. 0x010x08000174
    1 w0 j1 R* L1 Q  Z4 P9 ]* `
  4. 0x080001784798                BLX              r3
复制代码
0 D" @( `$ v, E: \6 j

' ~6 `$ {: N* }" F1 z当然执行这两个函数的时候,还需要传入参数。至于参数,我们在“加载数据段和初始化栈的参数”环节已经阐述过了。当这两个函数都执行完后,结果就是“数据在SRAM上的结构”所展示的图。最后,也把事实加载和初始化的两个函数代码奉上如下:

. g1 ^7 ?3 @+ z% c7 ^8 w6 d- G) L) }. @% Y6 J; b1 I

! p5 g! B: Q4 Q: `9 N; A; a0 \' _( D. F
  1.   __scatterload_copy:/ }# ]  `( q& p' r
  2. 0x080002F4  E002              B              0x080002FC- U1 K* O; k5 _7 {5 z
  3. 0x080002F6  C808             LDM           r0!,{r3}
    , K: @% e! w* Q: g0 b/ l
  4. 0x080002F81F12                SUBS         r2,r2,#4+ O$ F/ ~! ]. p6 W" H" f
  5. 0x080002FA  C108             STM            r1!,{r3}5 B% c  m- @- ]9 e% U
  6. 0x080002FC2A00               CMP            r2,#0x00
    0 ]9 |4 m2 a% q: K
  7. 0x080002FE   D1FA             BNE            0x080002F6
    ( R+ \9 P9 l: Y+ r( K' O
  8. 0x080003004770                 BX              lr$ v1 t* Q; n! }) B7 b! |2 U, q
  9. __scatterload_null:2 i: w& s. e! S: }' M
  10. 0x080003024770                   BX             lr
    * @$ M. g6 W$ w
  11. __scatterload_zeroinit:4 _/ r* k0 S2 C8 M- u  `
  12. 0x080003042000                  MOVS          r0,#0x00
    % B: H5 }5 x+ ]0 D4 a  R! h
  13. 0x08000306  E001                 B               0x0800030C
    " b( t+ f+ t9 C* w' d. n7 s9 b
  14. 0x08000308  C101              STM               r1!,{r0}1 v9 G* B& D$ E0 f
  15.   0x0800030A1F12                SUBS             r2,r2,#4
    5 [* P* J, g! q8 Q% ]% Q
  16. 0x0800030C2A00                CMP             r2,#0x00' e4 H0 ^) [  z0 X. L- G9 b
  17.   0x0800030E   D1FB             BNE              0x080003083 s* e+ y0 ^) b" y3 O
  18. 0x080003104770                 BX                    lr
复制代码

' y1 [- y( W/ A) l* O2 l五、异常向量与中断向量表
, ]* d, @7 ~3 M8 _$ R: d* s% P

# x. V" v6 ?# {: f" E+ C" i8 W OWMJC{X{Z@7}VU@A]`23JOH.png
' H* _4 @- A7 p" c" @
HEDD4MIA$J~O0`@}2EEG1}9.png N974V43(91]9CB5X`33`U]L.png 4 f8 z' L* a3 t( C, @4 }/ w
- [" l- U! b9 G6 B: A+ n
这段代码就是定义异常向量表,在之前有一个“J-Flash打开hex文件”的图片跟这个表格是一一对应的。编译器根据我们定义的函数 Reset_Handler、NMI_Handler等,在连接程序阶段将这个向量表填入这些函数的地址。
- L& N+ S( z. `/ e+ a9 J9 n. p4 `" R! G# Z- `# n
  1. startup_stm32f10x_hd.s内容:5 }& O! }2 {/ U# Z- t& I
  2. N MI_Handler     PROC$ ]8 j- P; N5 \6 Y; }/ a- w+ b) F' i9 U
  3.                          EXPORT  NMI_Handler                [WEAK]5 a) ]% ~/ v7 T" T; A5 `" {
  4.                          B       .
    1 J4 {) N" q0 X3 ^
  5.                          ENDP
复制代码

. _# o8 I" A$ j, s+ W在启动汇编文件中已经定义了函数 NMI_Handler,但是使用了“弱”,它允许我们再重新定义一个 NMI_Handler函数,程序在编译的时候会将汇编文件中的弱函数“覆盖掉”--两个函数的代码在连接后都存在,只是在中断向量表中的地址填入的是我们重新定义函数的地址。, g1 I! Q7 _8 D8 U/ Z7 G# q$ p3 I  [
  F8 ~+ L& K: h4 W: v+ F/ {
六、使用微库与不使用微库的区别
. u" h( ^8 m' O$ a; O2 O2 N
' X8 G& @2 P8 I$ o8 a5 d( L; s
微信图片_20230926162123.png 2 M) [. J( ]9 v

0 r& W! W( C/ S7 z1 [2 U6 Y使用微库就意味着我们不想使用MDK提供的库函数,而想用自己定义的库函数,比如说printf函数。那么这一点是怎样实现的呢?我们以printf函数为例进行说明。5 F3 @9 B9 D" x6 C4 y1 z- B* x

% g( e, a  v3 T- k$ {; L1、不使用微库而使用系统库( q# s9 i5 l) G/ d8 d7 @( n& W
在连接程序时,肯定会把系统中包含printf函数的库拿来调用参与连接,即代码段有系统库的参与。
- V. o. V! Y; B& B" X4 T$ w
, H3 w; E% K6 B# g6 y, c在启动过程中,不使用微库而使用系统库在初始化栈的时候,还需要初始化堆(猜测系统库需要用到堆),而使用微库则是不需要的。! m2 z& t1 K# |. D% x/ R2 N0 p
  1. IF      :DEF:__MICROLIB
    ! i$ k3 v: {- ^
  2. ' _1 q& N- V# z* O
  3.                  EXPORT  __initial_sp. N+ ]' R7 o/ P6 s! Y+ A) v+ T( A
  4. # J$ T5 t0 Q8 K  j9 P4 l$ u
  5.                  EXPORT  __heap_base
    + L8 D) o8 i- }1 L2 z

  6. % O7 C* Z& E" o! b; J- ?& `) V& X; t0 O
  7.                  EXPORT  __heap_limit
    # O( {  X: H( V$ M; G0 @
  8. ; N. [+ T- D: |% L* S# l
  9.                  ELSE( h& w' N* B* w( I

  10. ' G; A/ A1 J. K7 R. F
  11.                  IMPORT  __use_two_region_memory/ |6 o1 x& H/ ]0 Z$ X+ s( y

  12. : n/ B9 E+ e6 C$ i
  13.                  EXPORT  __user_initial_stackheap
    ! O2 p& h& n$ E5 L

  14. 3 r( v, A& i# K9 ]. ?
  15. __user_initial_stackheap
    . ]% ^! M* v& s* k6 t  O: T3 ~) r
  16. 4 G9 {# D6 G+ _* q
  17. LDR     R0, =Heap_Mem0 q$ z- Q- \, Z( Q: Z
  18. LDR     R1, =(Stack_Mem+Stack_Size)* H! V3 ^  |& v6 {" f4 P( ]% k
  19. LDR     R2, = (Heap_Mem+Heap_Size)2 X+ ]% A0 c% Q5 s0 [  `0 H5 L
  20.                  LDR     R3, =Stack_Mem* @% _- x3 Y; T. C
  21. BX      LR* T, @# [- F, ?; b  m

  22. ! v& U( B+ Z8 d! S
  23.                  ALIGN: b1 Q; _% l" T* a& b: s

  24. + Z' f- u# h2 p# _" L0 g0 b
  25.                  ENDIF
复制代码
4 r$ J2 S& A. y# Q
另外,在执行 __main函数的过程中,不仅需要完成“使用微库”情况下的所有工作,额外的工作还需要进行库的初始化,才能使用系统库(这一部分我还没有深入探讨)。附上 __main函数的内容:
! j2 [0 e' ]6 o4 H- h! z/ b4 u5 f, D! q( S5 F1 q
UAX42%MZ`SVUA2@Q]0AYV@H.png 5 ^* c; t  E: g2 \8 L
%IJF((2BG(O`1SWDR%6(S.png
  v! t& r+ X' q, G4 Q; a {%EG7U]KL9L{SMV63U}`]_D.png 5 I  x8 L+ o) h: l* c' d
: ]! ]0 T* H% [
2、使用微库而不使用系统库# Y3 S2 V, i7 c& ?/ o# ~( L
在程序连接时,不会把包含printf函数的库连接到终极目标文件中,而使用我们定义的库。( a1 K/ n$ J& F" q# x
1 J( m  C6 w2 k/ X
启动时需要完成的工作就是之前论述的步骤1、2、3、4、5,相比使用系统库,启动过程步骤更少。/ A% K0 Z( R$ L

5 C) A( M: b% g转载自:嵌入式电子
# q% J( W, U. b& q' |如有侵权请联系删除3 w9 D( R# k+ N0 H& w* @1 X

9 ~" G% t2 y" a, h" e1 R+ J
  u/ b, x% N, q8 u* R+ W: n
7 N1 M, m& ]* s7 G# S0 n
收藏 评论0 发布时间:2023-9-26 16:22

举报

0个回答

所属标签

相似技术帖

关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
STM32N6 AI生态系统
STM32MCU,MPU高性能GUI
ST ACEPACK电源模块
意法半导体生物传感器
STM32Cube扩展软件包
关注我们
st-img 微信公众号
st-img 手机版