切换回实模式后.code16标记的汇编指令执行异常原因排查

核心问题 #

处理器从32位保护模式切换回实模式后，指令解码状态未同步，仍以32位规则解析后续的16位指令，导致执行混乱。

具体原因 #

1. 模式切换的预取队列未刷新
   仅通过清除CR0寄存器的PE位（andb $0xfe, %al）切换回实模式，并不会自动重置处理器的指令解码状态——预取队列中可能残留32位模式的指令片段，且处理器默认的操作数/地址大小解码规则仍保持32位模式，必须通过特定操作强制同步。

2. 指令解码规则的差异

   • 用.code16生成的movw $0xd00, %bx对应机器码为0xbb 0x00 0x0d，这是16位模式下的mov bx, imm16指令。
   • 但此时处理器仍以32位模式解码，0xbb在32位模式中是mov ebx, imm32的操作码。处理器会尝试读取4字节立即数，而你的指令仅3字节，后续会错误读取内存中其他字节作为指令部分，最终导致执行混乱、异常跳转。

3. 去掉.code16能正常运行的原因
   移除.code16后，汇编器在32位代码上下文生成movw $0xd00, %bx，对应机器码为0x66 0xbb 0x00 0x0d。其中0x66是操作数大小前缀，强制处理器以16位规则解析这条指令，覆盖了默认的32位解码逻辑，因此指令能正确执行。

解决方法 #

在清除CR0的PE位后，必须执行一个16位远跳转来刷新处理器的指令预取队列，强制切换到16位解码模式。修改后的代码示例：

.code32
back_to_realmode:
  cli
  lidtl idt_48
  movl %cr0, %eax
  andb $0xfe, %al
  movl %eax, %cr0
  ; 16位远跳转，刷新预取队列并同步解码状态
  jmp $0x0, $real_mode_entry

.code16
real_mode_entry:
  sti
  movw $0xd00, %bx  ; 此时处理器已切换为16位解码模式，指令可正常执行

这个远跳转的作用是让处理器丢弃预取队列中残留的32位指令，同时将解码模式切换为16位，确保后续的16位指令被正确解析。

内容的提问来源于stack exchange，提问作者caciquekampeon