笔者接着来介绍一下Bootloader的跳转代码以及优化
1、跳转代码理解
跳转代码可能要涉及到芯片架构的知识,要跳转到对应的位置,还要设置相关的SP 堆栈指针,具体可以参考笔者这篇文章BootLoader的理解与实现。
STM32的跳转代码如下所示:
c
u32 ApplicationAddress = 0x08008000; //app 地址
typedef void (*pFunction)(void); //函数指针
void Jump_Used_Main(void)
{
printf("\r\nboot2-------- Jump APP --------- \r\n");
/* 判断栈顶 是否位于 0x20000000 128K */
if ( ((*(__IO uint32_t*)ApplicationAddress) >= 0x20000000) &&((*(__IO uint32_t*)ApplicationAddress) <= 0x20010000))
{
JumpAddress = *(__IO uint32_t*) (ApplicationAddress +4);
Jump_To_Application = (pFunction) JumpAddress;
/*close the interrupt*/
_disable_interrupr();
__set_MSP(*(__IO uint32_t*) ApplicationAddress);
Jump_To_Application();
}
else
{
while(1)
{
printf("\r\nboot2 error\r\n");
}
}
}
可以看到__set_MSP(* (__IO uint32_t *) ApplicationAddress);这行代码中,在取地址里面的内容时,增加了__IO的选项,
c
#define __IO volatile
保证是从内存里面读出来的SP栈指针的数据,然后设置到MSP,否则可能导致SP设置错误,程序跑飞。
2、跳转代码编译优化
笔者在实际开发的过程中,遇到了一个跳转过去就崩掉的情况,单步调试,发现到Set_MSP就崩掉了,很是奇怪,通过汇编一查看,就很明显了。
- NXP LPC的单片机,
- arm-noen-eabi-gcc的编译器。
c
typedef struct addr_manager_struct
{
xxxxxxx;
u32 image_load_addr;
u32 image_exec_addr;
}addr_manager_t;
u8 main_jump(addr_manager_t* info)
{
u32 *image_addr = (u32*)info->image_load_addr;
u32 *sp = (u32*) image_addr [0];
u32 *jump = (u32*) image_addr [1];
disable_interrupt();
set_msp((u32)sp);
(*jump)();
return 0;
}
- 上述在设置完SP之后,放到r2寄存器里面,
- 然后获取jump地址,放到r3里面,
- 之后禁止中断修改了r2,然后禁止中断
- 然后就把r2传到SP里面,
- 造成跑飞,可能是一个不存在的地址
有人说sp设置的时候需要加volatile,即使改成下面的函数,也没用效果
c
void jump_main(addr_manager_t* info)
{
u32 *image_addr = (u32*)info->image_load_addr;
u32 *sp = (u32*) image_addr [0];
u32 *jump = (u32*) image_addr [1];
disable_interrupt();
set_msp((volatile u32)sp);
(*jump)();
}
接着再继续改,直
- 接通过Image指针取内容,然后去获取到SP值,然后就可以了,
- 看来是禁止中断的这个函数所影响,
- 禁止中断如果不报存返回值,则不会对SP的值产生影响
c
void jump_main(addr_manager_t* info)
{
u32 *image_addr = (u32*)info->image_load_addr;
u32 *sp = (u32*) image_addr [0];
u32 *jump = (u32*) image_addr [1];
disable_interrupt();
set_msp(*((volatile u32*)image_addr));
(*jump)();
}
接着我们再尝试一种方法,就是将禁止中断函数移动位置,看一下情况,发现也是可以的。
c
void jump_main(addr_manager_t* info)
{
disable_interrupt();
u32 *image_addr = (u32*)info->image_load_addr;
u32 *sp = (u32*) image_addr [0];
u32 *jump = (u32*) image_addr [1];
set_msp((u32)sp);
(*jump)();
}
然后我们看一下set sp的汇编函数,也并没有指明操作的寄存器,很可能是GCC编译器优化的bug。
c
inline void set_sp(u32 sp_value)
{
asm volatile ("msr msp, %0" : "=r"(sp_value))
}
然后我们再看看armcc编译器的结果,没有任何问题。
- armcc对于禁止中断的返回值没有处理,
- 而GCC处理了然后导致了问题(将其中断保存值填到r2里面,然后r2的sp值被覆盖),
- 其实应用层如果没有对返回值进行处理,即使函数有返回值,编译器优化会将其处理掉。显然GCC的编译器优化做的还是差一点。