某项目需求要打印浮点型数字,于是用sprintf函数格式化浮点型数字。测试过程中发现了问题,不同的任务,有的任务float型数字格式化成功,有的任务格式化后打印出来全是0.00。后来发现根本原因是AAPCS规则要求栈保持8字节对齐,如果不对齐,调用一般的函数也是没问题的。但是当调用需要严格遵守AAPCS规则的函数时可能会出错。例如调用sprintf输出一个浮点数时,栈必须是8字节对齐的,否则结果可能会出错。
1.开发环境:
stm32f407,IAR for arm,ucos
2.解决方案:
确保任务栈8字节对齐
在任务创建时,栈起始地址必须强制8字节对齐。修改任务栈定义:
__align(8)
OS_STK TestTaskStk[TEST_STK_SIZE];
// Keil语法
__attribute__((aligned(8)))
OS_STK TestTaskStk[TEST_STK_SIZE]
; // GCC/IAR语法
---------------------------------------------------------------------------------------------------------------------------------
原因分析出自“重工电子论坛”的一篇帖子,原贴如下:
用sprintf函数需要严重注意,需要8字节栈对齐 - Powered by Discuz!
经过大量测试,最后由周老师定位到该函数出错, 凡是遇到小数的操作,在单片机里面最好别用该函数,因为内存错位,编译器设置不当就出问题,这个在叶均和刘鑫的代码里面尤为明显! 最简单的解决办法是全部传int型,然后再把数据传给我服务器~~~~ 或者做以下操作, __align(8) u8 varName[SIZE]; 具体见下面两个帖子 stm32中字节对齐问题(__align(n),__packed用法) - King先生 - 博客园 FATFS一个小BUG搞了我2天才解决.特此发帖,希望大家不要重蹈我的覆辙.-OpenEdv-开源电子网 以下是原理~~~~~广而告之哦 -------------------------------------------------------------------------------------------- AAPCS规则要求堆栈保持8字节对齐。如果不对齐,调用一般的函数也是没问题的。但是当调用需要严格遵守AAPCS规则的函数时可能会出错。 例如调用sprintf输出一个浮点数时,栈必须是8字节对齐的,否则结果可能会出错。 实验验证: #include "stdio.h" #include "string.h" float fff=1.234; char buf[128]; int main(void) { sprintf(buf,"%.3f\n\r",fff);//A while(1); } 1.在A处设置断点,让程序全速运行至A 2.在MDK中修改MSP的值使MSP满足8字节对齐 3.全速运行程序,观察buf中的字符为 1.234 结果正确 4.回到第2步,修改MSP使之只满足4字节对齐而不满足8字节对齐 5.全速运行程序,观察buf中的字符为 -2.000 结果错误 该实验证明了调用sprintf输出一个浮点数必须要保证栈8字节对齐。 二.编译器为我们做了什么 先看一个实验 #include "stdio.h" #include "string.h" float fff=1.234; char buf[128]; void fun(int a,int b,int c,int d) { int v; v=v; } void test(void) {} int main(void) { fun(1,2,3,4); test();//A //sprintf(buf,"%.3f\n\r",fff); while(1); } 0.保证初始的时候堆栈是8字节对齐的 1.在A处设置断点 2.全速运行至A,观察MSP=0x2000025c,没有8字节对齐 3.略微修改一下main函数代码如下,其他部分代码不变 int main(void) { fun(1,2,3,4); //test(); sprintf(buf,"%.3f\n\r",fff);//A while(1); } 4.同样在A处设置断点 5.全速运行至A,观察MSP=0x200002d8,这次8字节对齐了 这个实验说明了如果编译器发现了某个函数需要调用浮点库时会自动调整编译生成的汇编 代码,从而保证调用这些浮点库函数时堆栈是8字节对齐的。换句话说如果我们保证了栈 初始的时候是8字节对齐的,那么编译器可以保证以后调用浮点库时堆栈仍是8字节对齐的。 三.os下应该怎样设置任务堆栈 由上面的讨论可知给任务分配栈时需要保证栈是8字节对齐的,不然在该任务中凡是调用sprintf的函数 均会出错,因为栈一开始就是不对齐的。 四.中断中的栈对齐问题 是否保证了栈初始是8字节对齐了就万事大吉了呢。no!大家请看一种特殊的情况: #include "stdio.h" #include "string.h" float fff=1.234; char buf[128]; void fun(int a,int b,int c,int d) { int v; v=v; } int main(void) { fun(1,2,3,4); while(1); } void SVC_Handler(void) { sprintf(buf,"%.3f\n\r",fff);//B } mian函数的反汇编如下: 0x080001DC B500 PUSH {lr} 0x080001DE 2304 MOVS r3,#0x04 ;A 0x080001E0 2203 MOVS r2,#0x03 0x080001E2 2102 MOVS r1,#0x02 0x080001E4 2001 MOVS r0,#0x01 0x080001E6 F7FFFFF5 BL.W fun (0x080001D4) 0x080001EA BF00 NOP 0x080001EC E7FE B 0x080001EC 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调整 回原来的值。 实验验证: #include "stdio.h" #include "string.h" float fff=1.234; char buf[128]; void fun(int a,int b,int c,int d) { int v; v=v; } int main(void) { fun(1,2,3,4); while(1); } void SVC_Handler(void) { sprintf(buf,"%.3f\n\r",fff);//B } mian函数的反汇编如下: 0x080001DC B500 PUSH {lr} 0x080001DE 2304 MOVS r3,#0x04 ;A 0x080001E0 2203 MOVS r2,#0x03 0x080001E2 2102 MOVS r1,#0x02 0x080001E4 2001 MOVS r0,#0x01 0x080001E6 F7FFFFF5 BL.W fun (0x080001D4) 0x080001EA BF00 NOP 0x080001EC E7FE B 0x080001EC 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置位 | |
|