目录
1.引言
最近遇到了一个“诡异”的bug,一个嵌入式的程序,在板子上跑死了,死在了SPI通讯上,打开几个编译开关重新编译,结果又可以恢复了。这种情况一般认为是编译开关打开后,影响程序的逻辑,但诡异的是,编译开关打开后,影响的位置是跑死位置的后方,而非前方。而且,把某个函数写成static函数后,也能解决跑死的现象。
有一个经验丰富的同事,在调试的过程中捕捉到了一个重要怀疑对象,即SPI通讯中的声明为32位buffer变量的地址的值是2的倍数,他说正常情况下,uint32的变量的地址应该是4的倍数,怀疑程序跑死的问题可能出在这个上面。经过一番学习,找到了#pragma align
2.解决方案
使用#pragma align的语句包裹着变量定义的位置,具体如下:
#pragma align 4
unsigned int buffer[2];
#pragma align restore
使用以上方法后,发现确实解决了引言中遇到的bug。程序中SPI通讯中使用了DMA,其中芯片手册描述中要求DMA指定接收和发送的内存地址必须是以4字节对齐,而跑死的程序中,编译器恰好给buffer分配地址的时候,没有分配成4字节对齐。改动编译开关和static修饰函数,恰恰使编译器分配了正确的地址。这种bug其实并不是程序逻辑的问题,而是内存和编译器编译的问题。
3.总结
#pragma align是一种地址对齐很有用的方法,一般情况下遇不到使用场景,但是遇到这种非逻辑性bug的情况出现时,或许就是因为内存地址的问题,以上给出的是一种解决方案,这也是c语言登高路上的一个有用的知识点。