本文共 6901 字，大约阅读时间需要 23 分钟。
adr lr, here // 存放 lr, 为 b(跳转) 做准备 ldr r0, [r9, #76] // 将 new_gd 中的 reloc_off 存放到r0,用作新的lr的计算 add lr, lr, r0 // 更改lr ,让 relocate_code 返回时,跳转到 已经 搬移好的代码 中去, ldr r0, [r9, #56] // 将 new_gd 中的 relocaddr存放到r0,作为第一个参数 b relocate_code // 搬移 u-boot的 code 段 arch/arm/lib/relocate.S +80 搬移,修复绝对地址???
// 拷贝, 从哪里(__image_copy_start)到哪里(relocaddr,已经存放在r0中),拷贝多少.globl relocate_code ; .align 0 ; relocate_code:/** 拷贝**/ // 将 拷贝源 的开始地址 __image_copy_start 放到 r1 中 ldr r1, =__image_copy_start // 计算 目标地址和源地址 差值 ,放到 r4 subs r4, r0, r1 beq relocate_done // 计算 拷贝源 的末端地址 ldr r2, =__image_copy_endcopy_loop: // 将源数据放到r10 r11 中 ldmia r1!, { r10-r11} // 将 r10 r11 放到 目标地址中 stmia r0!, { r10-r11} cmp r1, r2 blo copy_loop/** fix 指的是 对引用地址的修改 对.code段 引用地址(变量地址,函数地址,指针地址等) 的修改**/// 链接器根据-pie参数才会生成rel.dyn段 // fix .rel.dyn relocations ldr r2, =__rel_dyn_start ldr r3, =__rel_dyn_endfixloop: // rel.dyn 段 是 gcc链接器根据-pie参数生成的 // 一个数对标识了一个 ??? ldmia r2!, { r0-r1} and r1, r1, #0xff // rel.dyn段中每一个rel section（8个字节）第二个4字节，0x17，是一种label的类型R_ARM_RELATIVE // 这个是 gcc 做的标记, 表示 这个需要 relative fix cmp r1, #23 bne fixnext // relative fix: increase location by offset add r0, r0, r4 ldr r1, [r0] add r1, r1, r4 str r1, [r0] // 整个过程 中 看到 来来往往, 只有一条指令修改了内存中的值 // str r1, [r0] // 修改的是 一个地址中的值 ,这个地址是 (一个数对中的第二个数+offset) // 这个地址位于代码段中 // fixloop 具体做了什么事 // 全局搜索 fixloop做的事 // "fixloop做的事" 体现了 改了 一处值 , 但 实际上是改了 rel.dyn 段 内所有满足条件(数据对中第二个低八位为0x17(也就是十进制的23))的值fixnext: cmp r2, r3 blo fixlooprelocate_done: bx lr.type relocate_code STT_FUNC ; .size relocate_code, .-relocate_code 以变量 test_val 为参考对象探索copy_loop&fixloop前后的 test_val 地址变化 以及原因
$ git diff lib/display_options.c diff --git a/lib/display_options.c b/lib/display_options.cindex b2025ee..487bfe0 100644--- a/lib/display_options.c+++ b/lib/display_options.c@@ -40,6 +40,28 @@ char *display_options_get_banner(bool newlines, char *buf, int size) return display_options_get_banner_priv(newlines, BUILD_TAG, buf, size); } +void test_func(void)+{ + printf("test func\n");++}++static void * test_func_val = test_func;+int test_val = 10; ++void rel_dyn_test()+{ + test_val += 20; + printf("test_val = 0x%x\n", test_val);+ printf("test_val addr = 0x%x\n", &test_val);+ printf("test = 0x%x\n", test_func);+ printf("test_func = 0x%x\n", test_func_val);+ test_func();++}+++ int display_options(void) { char buf[DISPLAY_OPTIONS_BANNER_LENGTH];@@ -47,6 +69,8 @@ int display_options(void) display_options_get_banner(true, buf, sizeof(buf)); printf("%s", buf); + rel_dyn_test();+ return 0; }$ git diff common/board_r.cdiff --git a/common/board_r.c b/common/board_r.cindex 29dd7d2..590c74b 100644--- a/common/board_r.c+++ b/common/board_r.c@@ -898,6 +898,8 @@ static init_fnc_t init_sequence_r[] = { run_main_loop, }; +extern int test_val;+ void board_init_r(gd_t *new_gd, ulong dest_addr) { /*@@ -919,11 +921,15 @@ void board_init_r(gd_t *new_gd, ulong dest_addr) #endif gd->flags &= ~GD_FLG_LOG_READY; + printf("after relocate test_val = 0x%x\n", test_val);+ printf("after relocate test_val addr = 0x%x\n", &test_val);+ #ifdef CONFIG_NEEDS_MANUAL_RELOC for (i = 0; i < ARRAY_SIZE(init_sequence_r); i++) init_sequence_r[i] += gd->reloc_off; #endif + if (initcall_run_list(init_sequence_r)) hang(); test_val = 0x1etest_val addr = 0x5fb35f4ctest = 0x5fb21ff0test_func = 0x5fb21ff0test funcRelocation Offset is: 004b3000after relocate test_val = 0x1eafter relocate test_val addr = 0x5ffe8f4c