Main函数之前都发生了什么
标签:
main函数之前都发生了 |
分类: 单片机、PLC、PLD |
目录:
一、STM32启动代码
二、STM32与ARM启动代码比较
三、STM32启动代码汇编详解
1、Stack栈
2、Heap 堆
--------------------------------------------------------------------------------------------------
一、STM32启动代码
当我们程序开始跑起来的时候,通过IDE发现,g_iVal被映射到内存地址0x20000000,数值为一个随机数0xFFFFBE00,而不是代码中设置的12,如图:
--------------------------------------------------------------------------------------------------
二、STM32与ARM启动代码比较
通常的启动代码结构:
1、中断向量表的定义
Ø
ARM代码在这块的代码为跳转语句,因为指令长度的限制,4个字节也就能放个跳转语就差不多了。通常两种实现方式:
1.
2.
其实都是一个意思,跳转到真正实现Reset_Handler功能的地方去。ARM中断向量在这里总共有8条(复位、未定义、SWI、指令、数据异常、预留、IRQ、FIQ),具体的当前中断类型,在IRQ或FIQ的中断实现里面判断,之后再转到对应的中断处理函数里面。
注意,仔细看,想一想,这里的中断向量处存放的是机器指令码。然而,STM在中断向量处存放的是实现中断功能的入口地址,而不是指令功能码。
Ø
正如上面所说,STM中断向量处存放的是目标地址。但是要注意的是,第一条中断向量存放的堆栈的地址,真正的传统意义上的中断向量从第二条开始。除此之外,STM的中断向量表很长,它不像ARM由IRQ或FIQ进行判断后再处理,而是将所有的中断处理函数入口地址全列在这里:
__Vectors
---------------------------------
2、中断函数的跳转实现
这块功能的实现依赖于编译器、链接器的功能,实现方法各不相同。
Ø
Vectors
LDR
ResetAddr
UndefinedAddr
SWI_Addr
PrefetchAddr
DataAbortAddr
Nouse
IRQ_Addr
FIQ_Addr
; IRQ_Handler在这里定义
IRQ_Handler
注意上面的HandleEINT0标号,它是中断函数的入口首地址,加上当前中断编号的偏移值INTOFFSET。具体对应到哪里呢?看下面:
;这是定义(或者说预留)一个段指定位置开始的内存空间.
SysRstVector
UdfInsVector
SwiSvcVector
InsAbtVector
DatAbtVector
ReservedVector
IrqSvcVector
FiqSvcVector
HandleEINT0
HandleEINT1
HandleEINT2
HandleEINT3
HandleEINT4_7
….
实际上这里也可以理解为定义一个结构体变量,各个标号对应结构体的域,跟C语言不同的是,这里定义的结构体变量可以指定它在内存空间中的地址。
好了,如果当前来了一个IRQ类型的EINT3中断,按照上面的代码应该是跳转至以HandleEINT3这个域存储的值为地址处。那么HandleEINT3这个域里存储的值是什么呢?
下面的代码即可在C语言中定义了。
#define
_ISR_STARTADDRESS
#define
pISR_EINT3
pISR_EINT3 = (unsigned
int)EINT3_Handler;
static void __irq EINT3_Handler(void)
{
}
Ø
STM32中断处理实现跟ARM不一样。来看代码:
启动代码处的中断向量表(我们以EXTI0为例):
__Vectors
Default_Handler PROC
WWDG_IRQHandler
PVD_IRQHandler
TAMPER_IRQHandler
RTC_IRQHandler
FLASH_IRQHandler
RCC_IRQHandler
EXTI0_IRQHandler
EXTI1_IRQHandler
….
这段是啥意思呢?这里是定义各个中断向量的处理函数处,所有列出来的中断向量处理函数地址一致,功能也是一致:原地跳转。
既然所有的中断处理函数功能一致,那它是如何跳转至用户定义在C语言中的中断处理函数的呢?答案是,如果用户没有在用户代码(C语言)中定义对应向量的中断处理函数,则实际起作用的真正的中断处理函数即为上面列出的原地跳转功能处。
它是如何实现的? 注意到在声明导出处理函数后面的[WEAK]了吗?它的功能由链接器实现:如果在别处也定义该标号(函数),在链接时用别处的地址。如果没有其它定方定义,则以此处地址进行链接。
可能不太好理解,实际上是启动代码已经预定义了中断处理函数,它的功能很简单,就是原地跳转。只不过这块预定义的中断处理函数是否真正起作用,要看你是否在别处重定义了相同标号的中断处理函数。如果你已经重定义了,则以你重定义的中断处理函数为准。
以EXTI0中断为列,假设用户在自已的代码中配置好了EXTI0的中断,并且重定义了下面的EXTI0_IRQHandler函数,则链接器会以此函数地址进行链接。
void EXTI0_IRQHandler()
{
}
也就是在上面启动代码的@@@标注处(DCD
--------------------------------------------------------------------------------------------------
三、STM32启动代码汇编详解
代码详解可搜索百度云盘“零死角玩转STM32—F429”,相关指令说明见“ARM单片机汇编指令使用一和ARM单片机汇编指令使用二”。
1、Stack栈
1 Stack_Size EQU
0x00000400
2
3 AREA STACK, NOINIT,
READWRITE, ALIGN=3
4 Stack_Mem SPACE
Stack_Size
5 __initial_sp
开辟栈的大小为 0X00000400(1KB),名字为 STACK, NOINIT 即不初始化,可读可写,
8(2^3)字节对齐。
栈的作用是用于局部变量,函数调用,函数形参等的开销,栈的大小不能超过内部SRAM
的大小。如果编写的程序比较大,定义的局部变量很多,那么就需要修改栈的大小。
如果某一天,你写的程序出现了莫名奇怪的错误,并进入了硬 fault 的时候,这时你就要考虑下是不是栈不够大,溢出了。
EQU:宏定义的伪指令,相当于等于,类似与 C 中的 define。
AREA:告诉汇编器汇编一个新的代码段或者数据段。 STACK 表示段名,这个可以任意命名; NOINIT 表示不初始化;
READWRITE 表示可读可写, ALIGN=3,表示按照 2^3对齐,即 8 字节对齐。
SPACE:用于分配一定大小的内存空间,单位为字节。这里指定大小等于 Stack_Size。
标号__initial_sp 紧挨着 SPACE
语句放置,表示栈的结束地址,即栈顶地址,栈是由高向低生长的。
----------------------------------------------
2、Heap 堆
1 Heap_Size EQU
0x00000200
2
3 AREA HEAP, NOINIT,
READWRITE, ALIGN=3
4 __heap_base
5 Heap_Mem SPACE Heap_Size
6 __heap_limit
开辟堆的大小为 0X00000200(512 字节),名字为 HEAP, NOINIT 即不初始化,可读可写, 8(2^3)字节对齐。
__heap_base 表示对的起始地址, __heap_limit 表示堆的结束地址。堆是由低向高生长的,
跟栈的生长方向相反。
堆主要用来动态内存的分配,像 malloc()函数申请的内存就在堆上面。这个在 STM32里面用的比较少。
1 PRESERVE8
2
THUMB
PRESERVE8:
指定当前文件的堆栈按照 8 字节对齐。
THUMB: 表示后面指令兼容 THUMB 指令。 THUBM 是 ARM 以前的指令集, 16bit,现在 Cortex-M
系列的都使用 THUMB-2 指令集, THUMB-2 是 32 位的,兼容 16 位和 32 位的指令,是 THUMB
的超集。
----------------------------------------------
1 AREA RESET, DATA, READONLY
2 EXPORT __Vectors
3 EXPORT __Vectors_End
4 EXPORT __Vectors_Size
|
编 |
优 |
优先级 类型 |
名称 | 说明 | 地址 |
| - | - | - |
保留(实际存的是 |
0X0000 |
|
| -3 | 固定 | Reset | 复位 |
0X0000 |
|
| -2 | 固定 | NMI |
不可屏蔽中断。 (CSS) |
0X0000 |
|
| -1 | 固定 | HardFault | 所有类型的错误 |
0X0000 |
|
| 0 | 可编程 | MemManage | 存储器管理 |
0X0000 |
|
| 1 | 可编程 | BusFault | 预取指失败,存储器访问失败 |
0X0000 |
|
| 2 | 可编程 | UsageFault | 未定义的指令或非法状态 |
0X0000 |
|
| - | - | - | 保留 |
0X0000 0X0000 |
|
| 3 | 可编程 | SVCall |
通过 |
0X0000 |
|
| 4 | 可编程 |
Debug |
调试监控器 |
0X0000 |
|
| - | - | - | 保留 |
0X0000 |
|
| 5 | 可编程 | PendSV | 可挂起的系统服务 |
0X0000 |
|
| 6 | 可编程 | SysTick | 系统嘀嗒定时器 |
0X0000 |
|
| 0 | 7 | 可编程 | - | 窗口看门狗中断 |
0X0000 |
| 1 | 8 | 可编程 | PVD |
连接 |
0X0000 |
| 2 | 9 | 可编程 | TAMP_STAMP |
连接 |
0X0000 |
|
中间部分省略,详情请参考 |
|||||
| 84 | 91 | 可编程 | SPI4 |
SPI4 |
0X0000 |
| 85 | 92 | 可编程 | SPI5 |
SPI5 |
0X0000 |
| 86 | 93 | 可编程 | SPI6 |
SPI6 |
0X0000 |
| 87 | 94 | 可编程 | SAI1 |
SAI1 |
0X0000 |
| 88 | 95 | 可编程 | LTDC |
LTDC |
0X0000 |
| 89 | 96 | 可编程 | LTDC_ER |
LTDC_ER |
0X0000 |
| 90 | 97 | 可编程 | DMA2D |
DMA2D |
0X0000 |
1 __Vectors DCD __initial_sp ;栈顶地址
2 DCD Reset_Handler ;0X04
4 DCD HardFault_Handler
5 DCD MemManage_Handler
6 DCD BusFault_Handler
7 DCD UsageFault_Handler
8 DCD 0 ; 0 表示保留
9 DCD 0
10 DCD 0
11 DCD 0
12 DCD SVC_Handler
13 DCD DebugMon_Handler
14 DCD 0
15 DCD PendSV_Handler
16 DCD SysTick_Handler
17
18
19 ;外部中断开始
20 DCD WWDG_IRQHandler
21 DCD PVD_IRQHandler
22 DCD TAMP_STAMP_IRQHandler
23
24 ;限于篇幅,中间代码省略
25 DCD LTDC_IRQHandler
26 DCD LTDC_ER_IRQHandler
27 DCD DMA2D_IRQHandler
28 __Vectors_End
1 __Vectors_Size EQU __Vectors_End - __Vectors
__Vectors 为向量表起始地址, __Vectors_End 为向量表结束地址,两个相减即可算出向量表大小。
向量表从 FLASH 的 0 地址开始放置,以 4 个字节为一个单位,地址 0 存放的是栈顶地址, 0X04 存放的是复位程序的地址,以此类推。从代码上看,向量表中存放的都是中断服务函数的函数名,可我们知道 C 语言中的函数名就是一个地址。
DCD:分配一个或者多个以字为单位的内存,以四字节对齐,并要求初始化这些内存。在向量表中, DCD 分配了一堆内存,并且以 ESR(异常服务进程) 的入口地址初始化它们。
----------------------------------------------
4、复位程序1 AREA |.text|, CODE, READONLY
定义一个名称为.text 的代码段,可读。
1 Reset_Handler PROC
3 IMPORT SystemInit
4 IMPORT __main
7 BLX R0
9 BX R0
10 ENDP
WEAK:表示弱定义,如果外部文件优先定义了该标号则首先引用该标号,如果外部文件没有声明也不会出错。这里表示复位子程序可以由用户在其他文件重新实现,这里并不是唯一的。
IMPORT:表示该标号来自外部文件,跟 C 语言中的 EXTERN 关键字类似。这里表示 SystemInit 和__main 这两个函数均来自外部的文件。
SystemInit()是一个标准的库函数,在 system_stm32f4xx.c 这个库文件总定义。主要作用是配置系统时钟,这里调用这个函数之后, F429 的系统时钟配被配置为 180M。
__main 是一个标准的 C 库函数,主要作用是初始化用户堆栈,最终调用 main 函数去到 C 的世界。这就是为什么我们写的程序都有一个 main 函数的原因。如果我们在这里不调用__main,那么程序最终就不会调用我们 C 文件里面的 main,如果是调皮的用户就可以修改主函数的名称,然后在这里面 IMPORT 你写的主函数名称即可。
1 Reset_Handler PROC
2 EXPORT Reset_Handler [WEAK]
3 IMPORT SystemInit
4 IMPORT user_main
5
6 LDR R0, =SystemInit
7 BLX R0
8 LDR R0, =user_main
9 BX R0
10 ENDP
这个时候你在 C 文件里面写的主函数名称就不是 main 了,而是 user_main 了。
LDR、 BLX、 BX 是 CM4 内核的指令,可在《CM3 权威指南 CnR2》第四章-指令集里面查询到,具体作用见下表:
| 指令名称 | 作用 |
| LDR | 从存储器中加载字到一个寄存器中 |
| BL |
跳转到由寄存器/标号给出的地址,并把跳转前的下条指令地址保存到 |
| BLX |
跳转到由寄存器给出的地址,并根据寄存器的 把跳转前的下条指令地址保存到 |
| BX | 跳转到由寄存器/标号给出的地址,不用返回 |
----------------------------------------------
5、中断服务程序
在启动文件里面已经帮我们写好所有中断的中断服务函数,跟我们平时写的中断服务函数不一样的就是这些函数都是空的,真正的中断复服务程序需要我们在外部的
C 文件里面重新实现,这里只是提前占了一个位置而已。
如果我们在使用某个外设的时候,开启了某个中断,但是又忘记编写配套的中断服务程序或者函数名写错,那当中断来临的时,程序就会跳转到启动文件预先写好的空的中断服务程序中,并且在这个空函数中无限循环,即程序就死在这里。
1 NMI_Handler PROC ;系统异常
2 EXPORT NMI_Handler [WEAK]
4 ENDP
5
6 ;限于篇幅,中间代码省略
7 SysTick_Handler PROC
8 EXPORT SysTick_Handler [WEAK]
9 B .
10 ENDP
11
12 Default_Handler PROC ;外部中断
13 EXPORT WWDG_IRQHandler [WEAK]
14 EXPORT PVD_IRQHandler [WEAK]
15 EXPORT TAMP_STAMP_IRQHandler [WEAK]
16
17 ;限于篇幅,中间代码省略
18 LTDC_IRQHandler
19 LTDC_ER_IRQHandler
20 DMA2D_IRQHandler
21 B .
22 ENDP
B:跳转到一个标号;这里跳转到一个‘.’,即表示无限循环
----------------------------------------------
1 ALIGN
ALIGN:对指令或者数据存放的地址进行对齐,后面会跟一个立即数。缺省表示 4 字节对齐。
1 ;用户栈和堆初始化
2 IF :DEF:__MICROLIB
3
4 EXPORT __initial_sp
5 EXPORT __heap_base
6 EXPORT __heap_limit
7
8 ELSE
9
10 IMPORT __use_two_region_memory
11 EXPORT __user_initial_stackheap
12
13 __user_initial_stackheap
14
15 LDR R0, = Heap_Mem
16 LDR R1, =(Stack_Mem + Stack_Size)
17 LDR R2, = (Heap_Mem + Heap_Size)
18 LDR R3, = Stack_Mem
19 BX LR
21 ALIGN
22
23 ENDIF
24 END
判断是否定义了__MICROLIB ,如果定义了则赋予标号__initial_sp(栈顶地址)、__heap_base(堆起始地址)、 __heap_limit
如果没有定义(实际的情况就是我们没定义__MICROLIB)则使用默认的 C 库,然后初始化用户堆栈大小,这部分有 C 库函数__main 来完成,当初始化完堆栈之后,就调用 main函数去到 C 的世界。
END:文件结束

加载中…