AAPCS规则要求堆栈保持8字节对齐
来源:互联网 发布:2016年网络大电影 编辑:程序博客网 时间:2024/06/05 01:23
[STM32/STM8经验] AAPCS规则要求堆栈保持8字节对齐
一.为什么要保证堆栈8字节对齐
AAPCS规则要求堆栈保持8字节对齐。如果不对齐,调用一般的函数也是没问题的。但是当调用需要严格遵守AAPCS规则的函数时可能会出错。
例如调用sprintf输出一个浮点数时,栈必须是8字节对齐的,否则结果可能会出错。
实验验证:
1.在A处设置断点,让程序全速运行至A
2.在MDK中修改MSP的值使MSP满足8字节对齐
3.全速运行程序,观察buf中的字符为 1.234 结果正确
4.回到第2步,修改MSP使之只满足4字节对齐而不满足8字节对齐
5.全速运行程序,观察buf中的字符为 -2.000 结果错误
该实验证明了调用sprintf输出一个浮点数必须要保证栈8字节对齐。
二.编译器为我们做了什么
先看一个实验 0.保证初始的时候堆栈是8字节对齐的
1.在A处设置断点
2.全速运行至A,观察MSP=0x2000025c,没有8字节对齐
3.略微修改一下main函数代码如下,其他部分代码不变
4.同样在A处设置断点
5.全速运行至A,观察MSP=0x200002d8,这次8字节对齐了
这个实验说明了如果编译器发现了某个函数需要调用浮点库时会自动调整编译生成的汇编
代码,从而保证调用这些浮点库函数时堆栈是8字节对齐的。换句话说如果我们保证了栈
初始的时候是8字节对齐的,那么编译器可以保证以后调用浮点库时堆栈仍是8字节对齐的。
三.os下应该怎样设置任务堆栈
由上面的讨论可知给任务分配栈时需要保证栈是8字节对齐的,不然在该任务中凡是调用sprintf的函数
均会出错,因为栈一开始就是不对齐的。
四.中断中的栈对齐问题
是否保证了栈初始是8字节对齐了就万事大吉了呢。no!大家请看一种特殊的情况: 0.保证初始的时候堆栈是8字节对齐的
1.在A处设置断点
2.全速运行至A,观察此时MSP=0x200002e4 未对齐
3.在MDK中将SVC的挂起位置1
4.在B处设置断点
5.全速运行至B,观察此时MSP=0x200002b4 未对齐
6.继续全速执行,观察buf中的字符为:-2.000 出错了
这个实验说明了即使保证栈初始是8字节对齐的,编译器也只能保证在调用sprintf那个时刻栈是8字节对齐的
但不能保证任意时刻栈都是8字节对齐的,如果恰巧在MSP没有8字节对齐的时刻发生了中断,而中断中又调用
了sprintf,这种情况下仍会出错
五.Cortex-M3内核为我们做了什么
Cortex-M3内核提供了一种硬件机制来解决上述这种中断中栈不对齐问题。
CM3中可以把NVIC配置控制寄存器的STKALIGN置位,来保证中断中的栈8字节对齐,
具体实现过程如下:
当发生中断时由硬件自动检测MSP是否8字节对齐,如果对齐了,则不进行任何操作,
如果没有对齐,则自动将MSP减4这样便对齐了,同时将xPSR的第9位置位来记录这个
MSP的非正常的变化,在中断返回若发现xPSR的第9位是置位的则自动将MSP加4调整
回原来的值。
实验验证:
1.在A处设置断点
2.全速运行至A,观察此时MSP=0x200002e4 未对齐
3.在MDK中将SVC的挂起位置1,同时将0xE000ED14处的值由0x00000000改为0x00000200
(即将NVIC配置控制寄存器的STKALIGN置位)
4.在B处设置断点
5.全速运行至B,观察此时MSP=0x200002b0 对齐了
6.观察中断返回时的MSP=0x200002e4 调整回来了
7.继续全速执行,观察buf中的字符为:1.234 正确
这个实验说明了将NVIC配置控制寄存器的STKALIGN置位可以保护中断时栈仍是8字节对齐
六.总结
综上所述,为了能够安全的使用严格遵守AAPCS规则的函数(比如sprintf)需要做到以下几点:
1.保证MSP在初始的时候是8字节对齐的
2.如果用到OS的话需要保证给每个任务分配的栈是保持8字节对齐的
3.如果用的是基于CM3内核的处理器需将NVIC配置控制寄存器的STKALIGN置位
AAPCS规则要求堆栈保持8字节对齐。如果不对齐,调用一般的函数也是没问题的。但是当调用需要严格遵守AAPCS规则的函数时可能会出错。
例如调用sprintf输出一个浮点数时,栈必须是8字节对齐的,否则结果可能会出错。
实验验证:
1.在A处设置断点,让程序全速运行至A
2.在MDK中修改MSP的值使MSP满足8字节对齐
3.全速运行程序,观察buf中的字符为 1.234 结果正确
4.回到第2步,修改MSP使之只满足4字节对齐而不满足8字节对齐
5.全速运行程序,观察buf中的字符为 -2.000 结果错误
该实验证明了调用sprintf输出一个浮点数必须要保证栈8字节对齐。
二.编译器为我们做了什么
先看一个实验 0.保证初始的时候堆栈是8字节对齐的
1.在A处设置断点
2.全速运行至A,观察MSP=0x2000025c,没有8字节对齐
3.略微修改一下main函数代码如下,其他部分代码不变
4.同样在A处设置断点
5.全速运行至A,观察MSP=0x200002d8,这次8字节对齐了
这个实验说明了如果编译器发现了某个函数需要调用浮点库时会自动调整编译生成的汇编
代码,从而保证调用这些浮点库函数时堆栈是8字节对齐的。换句话说如果我们保证了栈
初始的时候是8字节对齐的,那么编译器可以保证以后调用浮点库时堆栈仍是8字节对齐的。
三.os下应该怎样设置任务堆栈
由上面的讨论可知给任务分配栈时需要保证栈是8字节对齐的,不然在该任务中凡是调用sprintf的函数
均会出错,因为栈一开始就是不对齐的。
四.中断中的栈对齐问题
是否保证了栈初始是8字节对齐了就万事大吉了呢。no!大家请看一种特殊的情况: 0.保证初始的时候堆栈是8字节对齐的
1.在A处设置断点
2.全速运行至A,观察此时MSP=0x200002e4 未对齐
3.在MDK中将SVC的挂起位置1
4.在B处设置断点
5.全速运行至B,观察此时MSP=0x200002b4 未对齐
6.继续全速执行,观察buf中的字符为:-2.000 出错了
这个实验说明了即使保证栈初始是8字节对齐的,编译器也只能保证在调用sprintf那个时刻栈是8字节对齐的
但不能保证任意时刻栈都是8字节对齐的,如果恰巧在MSP没有8字节对齐的时刻发生了中断,而中断中又调用
了sprintf,这种情况下仍会出错
五.Cortex-M3内核为我们做了什么
Cortex-M3内核提供了一种硬件机制来解决上述这种中断中栈不对齐问题。
CM3中可以把NVIC配置控制寄存器的STKALIGN置位,来保证中断中的栈8字节对齐,
具体实现过程如下:
当发生中断时由硬件自动检测MSP是否8字节对齐,如果对齐了,则不进行任何操作,
如果没有对齐,则自动将MSP减4这样便对齐了,同时将xPSR的第9位置位来记录这个
MSP的非正常的变化,在中断返回若发现xPSR的第9位是置位的则自动将MSP加4调整
回原来的值。
实验验证:
1.在A处设置断点
2.全速运行至A,观察此时MSP=0x200002e4 未对齐
3.在MDK中将SVC的挂起位置1,同时将0xE000ED14处的值由0x00000000改为0x00000200
(即将NVIC配置控制寄存器的STKALIGN置位)
4.在B处设置断点
5.全速运行至B,观察此时MSP=0x200002b0 对齐了
6.观察中断返回时的MSP=0x200002e4 调整回来了
7.继续全速执行,观察buf中的字符为:1.234 正确
这个实验说明了将NVIC配置控制寄存器的STKALIGN置位可以保护中断时栈仍是8字节对齐
六.总结
综上所述,为了能够安全的使用严格遵守AAPCS规则的函数(比如sprintf)需要做到以下几点:
1.保证MSP在初始的时候是8字节对齐的
2.如果用到OS的话需要保证给每个任务分配的栈是保持8字节对齐的
3.如果用的是基于CM3内核的处理器需将NVIC配置控制寄存器的STKALIGN置位
0 0
- AAPCS规则要求堆栈保持8字节对齐
- 关于CM3内核堆栈8字节对齐
- 字节对齐的规则
- 字节对齐规则
- 字节对齐规则
- 对堆栈8字节对齐问题的讨论
- 对堆栈8字节对齐问题的讨论…
- 字节对齐的基本规则
- 结构体字节对齐规则
- 结构体字节对齐规则
- 字节对齐的规则总结
- 字节对齐的规则与例子分析
- C++结构体字节对齐规则
- 结构体的字节对齐规则
- 内存字节对齐规则与作用
- 结构体字节对齐的规则
- 结构体字节对齐的规则
- 测试8字节对齐
- 微软推出的年龄测试网站 How-Old.net 具体是怎样实现识别年龄的?
- 编译器的内存对齐问题
- 软件架构设计(七)
- Codeforces 165E Compatible Numbers
- 如何通过听写提高听力水平
- AAPCS规则要求堆栈保持8字节对齐
- GDI+ - 图形编程【双缓冲】
- MFC获得汉字拼音首个字母-C++版
- Codeforces 134C Swaps
- 开源框架
- Java+MyEclipse+Tomcat (五)DAO和Java Bean实现数据库和界面分开操作
- java 多线程总结
- mysql的收获20150519
- Entity Framework 全面教程详解(转)