长模式下 amd64 中的零堆栈段

Question

此代码存根提取自 linux 内核 3.18.3，arch/x86/boot/compressed/head_64.S。不过也增加了额外的 cmets。

所有这些代码都以长模式（64 位）执行，代码段选择器：0x10 和数据段选择器：0x18

xorl    %eax, %eax /* Setting up all data segments selectors to zero */
movl    %eax, %ds  /* Including stack segment */
movl    %eax, %es
movl    %eax, %ss
movl    %eax, %fs
movl    %eax, %gs

leaq    z_extract_offset(%rbp), %rbx

/* Set up the stack */
leaq    boot_stack_end(%rbx), %rsp

/* Zero EFLAGS */
pushq   $0 /* This instruction should fail since stack segment selector */
popfq      /* is zero (pointing to null descriptor) /*

据我所知，这段代码应该无法执行，因为 %ss = 0x0 在执行堆栈指令 pushq 时指向 gdt 中的空描述符。

尽管如此，这似乎可行，所以我认为我遗漏了一些信息。 为什么会这样？

Answer 1

在 64 位模式下大多禁用分段，仅使用 CS 的属性以及 FS 和 GS 的基数。