1》事情缘由:今天遇到一个bug,调试了大半天,最终锁定是字节对齐问题,但具体细节尚不清楚,请路过的大神帮忙指教,谢谢。
2》开发环境:stm32f103vct6 + Keil MDK - 5.23 + 未开启优化。
3》详细细节:本来程序是可以通过运行的,”手抽“将数组调动位置(由于调动位置,导致数组buf[]的起始地址开始满足4字节对齐,后来仅仅满足2字节对齐)。于是开启漫长的debug。。。
4》实际代码:删除部分无关代码,浓缩如下:
5》运行效果:如果注释掉aaa[]数组,程序正常执行;如果不注释掉aaa[]数组(注意:此时buf[]起始地址不满足4字节对齐),程序执行到下述位置,直接进入HardDefualt!!!
- uint8_t aaa[21];
- uint16_t buf[1000];
-
- #define data1 (*((float *)((uint16_t *)(buf + 600))))
- #define data2 (*((float *)((uint16_t *)(buf + 602))))
-
- #define temp1 (*((float *)((uint16_t *)addr + 0)))
- #define temp2 (*((float *)((uint16_t *)addr + 2)))
-
- #define ADDR_BASE ((void *)((uint16_t *)buf + 600))
-
- float func(void *addr)
- {
- volatile float tmp;
- tmp = temp1 + temp2; //程序执行到这里,直接进入HardDefault!!!
- return tmp;
- }
- int main()
- {
- volatile float tmp;
-
- data1 = 1.1;
- data2 = 3.3;
-
- board_init();
-
- tmp = func(ADDR_BASE);
-
- printf("buf = %u, tmp = %f
", (uint32_t)((void *)buf), tmp);
-
- while (1);
- }
复制代码
6》个人理解1:buf[]数组是uint16类型,因此系统默认会让buf[]数组满足2字节对齐,是否满足4字节对齐则是随机的。
7》个人理解2:由于Cortex-M3/M4默认是支持非对齐访问的(无外乎是多浪费几条指令,将非对齐最终转换为对齐访问),所以不明白此段代码为什么会进入HardDefualt,恳请指教,感谢!!!
路过的大神,还请帮忙指教,谢谢哈。
因为你用了浮点数据
1、除了“直接操作指针”和“在C 程序中嵌入汇编”这两种常见情况外,一般来说编译器不会产生非对齐数据。你不仅在程序中直接操作指针,而且还很随意的使用强制类型转换,这是一种高危行为。
2、不是所有指令都支持非对齐数据传输,多加载或存储指令LDM/STM还有栈操作指令都不支持非对齐传输。对于数组或结构体,编译器很多时候会产生LDM/STM指令,如果这时遇到非对齐数据就会触发“非对齐使用异常”,而非对齐使用异常默认是关闭的,这会进一步触发HardFault。
3、错误发生时,你可以查看UFSR状态寄存器(地址0xE000ED2A),确认是否发生了数据未对齐访问错误。
4、C 程序中的怪异现象不外乎以下几个原因:
C 程序中的怪异现象.png (117.22 KB, 下载次数: 1)
下载附件
C 程序中的怪异现象
2018-3-8 21:33 上传
一周热门 更多>