linux - 为什么 linux 内核中的这段代码不会导致死循环？

Question

我正在阅读linux源代码(4.4.45，但其他版本应该相同)关于启动时页表初始化，下面的代码让我感到困惑。

具体来说，我正在阅读有关如何初始化 early_level4_pgt 的内容。这是 x86_64 中的部分代码，link is here .

        leaq    level2_kernel_pgt(%rip), %rdi
        leaq    4096(%rdi), %r8
        /* See if it is a valid page table entry */
1:      testb   $1, 0(%rdi)
        jz      2f
        addq    %rbp, 0(%rdi)
        /* Go to the next page */
2:      addq    $8, %rdi
        cmp     %r8, %rdi
        jne     1b

        /* Fixup phys_base */
        addq    %rbp, phys_base(%rip)

        movq    $(early_level4_pgt - __START_KERNEL_map), %rax
        jmp 1f
ENTRY(secondary_startup_64)
(below is omitted...)

从1:开始，无论如何都会去2:；在 2: 中，无论如何都会跳回 1:!!

我真的很困惑，这个循环是怎么结束的，内核什么时候进入secondary_startup_64？我的猜测是，当它访问一个无效的 pmd 条目时，会导致页面错误，处理程序将处理其余的启动代码。但是我对此不是很确定，也不知道在哪里可以找到相应的代码。

谁能给我一些线索？感谢您的帮助。

Answer 1

https://stackoverflow.com/a/27353169/2422527

jmp 1f 表示向前跳转到标签1(在这条指令之后)。

jmp 1b 表示向后跳转到标签1(在该指令之前)。

因此 jmp 1f 行跳转到其后的标签 1，不会导致死循环。