【Bootloader学习理解----跳转优化异常】

2023-12-13 18:13:53

笔者接着来介绍一下Bootloader的跳转代码以及优化

1、跳转代码理解

跳转代码可能要涉及到芯片架构的知识,要跳转到对应的位置,还要设置相关的SP 堆栈指针,具体可以参考笔者这篇文章BootLoader的理解与实现
STM32的跳转代码如下所示:

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的选项,

#define __IO volatile

保证是从内存里面读出来的SP栈指针的数据,然后设置到MSP,否则可能导致SP设置错误,程序跑飞。

2、跳转代码编译优化

笔者在实际开发的过程中,遇到了一个跳转过去就崩掉的情况,单步调试,发现到Set_MSP就崩掉了,很是奇怪,通过汇编一查看,就很明显了。

  • NXP LPC的单片机,
  • arm-noen-eabi-gcc的编译器。
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,即使改成下面的函数,也没用效果

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的值产生影响
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)();
}

在这里插入图片描述
接着我们再尝试一种方法,就是将禁止中断函数移动位置,看一下情况,发现也是可以的。

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。

inline void set_sp(u32 sp_value)
{
	asm volatile ("msr msp, %0" : "=r"(sp_value))
}

然后我们再看看armcc编译器的结果,没有任何问题。

  • armcc对于禁止中断的返回值没有处理,
  • 而GCC处理了然后导致了问题(将其中断保存值填到r2里面,然后r2的sp值被覆盖),
  • 其实应用层如果没有对返回值进行处理,即使函数有返回值,编译器优化会将其处理掉。显然GCC的编译器优化做的还是差一点。

在这里插入图片描述

文章来源:https://blog.csdn.net/qq_34430371/article/details/134654803
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。