x87 FPU栈中的值是否必须始终弹出？实模式汇编实践疑问

你确实遗漏了x86 FPU栈的核心行为规则，同时忽略了QEMU与真实硬件在FPU异常处理上的差异：

• FPU栈满时不会自动挤出旧值：x86 FPU栈是8级环形结构，但栈满状态下执行FLD类加载指令，并不会自动覆盖最早入栈的旧值，而是会触发栈溢出异常（#MF）。QEMU对该异常做了宽松模拟（直接覆盖旧值），但真实硬件会严格抛出异常，若代码未处理这个异常，就会导致FPU状态混乱，出现无规律的寄存器值损坏。

• 必须严格维护FPU栈的状态约定：x86 FPU的设计要求开发者明确每个函数的栈输入/输出状态：要么接收指定数量的参数栈，要么要求空栈；执行完成后要么清空栈，要么仅保留返回值在st0。你最初的写法打破了这个约定，导致FPU栈深度不可控，在真实硬件上触发了未处理的异常，而QEMU的宽松模拟掩盖了这个错误。

• 实模式下FPU异常的特殊性：实模式下FPU异常的处理机制和保护模式不同，若未正确设置FPU异常的中断向量（如INT 16对应#MF异常），硬件抛出异常后会进入默认错误流程，直接导致系统崩溃或寄存器状态被破坏，这也是真实硬件上出现无规律损坏的关键原因。

你的修正做法完全正确——严格维护FPU栈的输入输出状态约定，避免栈深度超出8级，确保不会触发未处理的FPU异常，这是x86 FPU编程的核心规范之一。

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