1. 跳转表存在的意义

1.1 内核模块反汇编

如下的程序清单,为一个内核模块的源码。

#define  __SYLIXOS_KERNEL
#include 
#include 

/*
 *  SylixOS call module_init() and module_exit() automatically.
 */
int module_init (void)
{
    printk("hello_module init!\n");
    return 0;
}

void module_exit (void)
{
}

反汇编之后的内容如下所示。

kmTest.ko:     file format elf64-littleaarch64
Disassembly of section .text:
0000000000000000 :
/*
 *  SylixOS call module_init() and module_exit() automatically.
 */
int module_init (void)
{
   0:   a9bf7bfd    stp x29, x30, [sp, #-16]!
   4:   910003fd    mov x29, sp
    printk("hello_module init!\n");
   8:   90000000    adrp    x0, 0 
   c:   91000000    add x0, x0, #0x0
  10:   f9400000    ldr x0, [x0]
  14:   94000000    bl  0 
    return 0;
  18:   52800000    mov w0, #0x0                    // #0
}
  1c:   a8c17bfd    ldp x29, x30, [sp], #16
  20:   d65f03c0    ret
  24:   d503201f    nop
    ...
0000000000000030 :
void module_exit (void)
{
}
  30:   d503201f    nop
  34:   d65f03c0    ret

从以上反汇编结果可知,printk函数调用会被汇编为BL指令,并且跳转的目的地址为0,这是因为实际的跳转地址会在动态加载时进行调整。

94000000    bl  0 

1.2 BL指令分析

查阅ARMv8手册,BL指令的结构如下图所示。

按照该结构可知,BL指令最大的跳转范围为4×226 = 256MB,即±128MB。但是“实际需跳转位置”与“当前指令位置”的地址偏移很有可能超过该范围。所以在动态加载时,需要修改这条指令的实现,使得其具有跳转到整个64位地址空间的能力。

2. AARCH64跳转表实现

2.1 利用跳转表进行跳转

通常的做法是采用跳转表进行实现。
跳转表使用的方式如下图所示,其中“跳转表所在的位置”与“当前指令位置”的地址偏移范围为±128MB之内,因此,可以首先从当前位置跳转到跳转表中的某一个表项。

2.2 BR跳转指令

BR跳转指令使用寄存器进行跳转,那么该指令具体264地址空间跳转的能力,因此跳转表可以借助该指令进行实现。

2.3 跳转表结构

字节 指令内容
[16:19] movn x16, #0x….
[12:15] movk x16, #0x…., lsl #16
[08:11] movk x16, #0x…., lsl #32
[04:07] movk x16, #0x…., lsl #48
[00:03] br x16

因为MOV指令不能一次将一个64位数移入寄存器,所以必须将移位操作分为四步完成,如上表所示。
此时,在动态加载时,按照如下方式进行跳转:
1、 将原来的BL指令中目的跳转位置,调整为跳转表对应表项的位置;
2、 跳转表会将实际跳转地址更新到X16寄存器中;
3、 通过BR指令跳转到实际的目标地址。