重复调用x87指令fnstenv后指令指针莫名清零问题咨询

我开发了一个每秒多次调用x87指令fnstenv的程序，仅偶尔执行浮点计算（间隔数秒），原本预期两次浮点计算间fnstenv输出的数据完全一致。但发现x87指令指针（FIP）和数据指针会在某一时刻被清零，从上次浮点计算到清零的时长不可预测。查阅Intel官方文档未找到该行为的确切说明。

我的疑问是：在无待处理x87异常的情况下，是否完全无法依赖这些指针的正确存储？或是为何这些指针会在任意时间或fnstenv调用后被重置？

为复现问题，我编写了测试程序，在Linux 6.10、AMD Ryzen 7环境下，循环会在2到500000次迭代之间终止。我至少预期指令指针不会被任意清零，而是表现出确定性。

测试程序代码 #

#include <stdio.h>
#include <stdint.h>

int main(int argc, char **argv)
{
    uint32_t fpenv[7];

    printf("main() is at 0x%08x\n", (void *)&main);

    // perform some x87 operation to update x87 instruction pointer
    __asm__("fldz\n\t");
    
    fpenv[3] = 1;     // force initial loop iteration
    for (long count = 0; fpenv[3] != 0; count++)
    {
        /* read and store the x87 environment */
        __asm__ __volatile__ ("fnstenv\t%0" : "=m" (fpenv));
        /* print the x87 instruction pointer to the console */
        printf("%d: fip=0x%08x cs=0x%08x\n", count, fpenv[3], fpenv[4]);
    }
    return 0;
}

编译命令 #

gcc test-fnstenv.c -o test-fnstenv

输出示例 #

main() is at 0x5d52917d
0: fip=0x5d5291c6 cs=0x01ee0023
1: fip=0x5d5291c6 cs=0x01ee0023
2: fip=0x5d5291c6 cs=0x01ee0023
3: fip=0x5d5291c6 cs=0x01ee0023
[...]
<n-1>: fip=0x5d5291c6 cs=0x01ee0023
<n  >: fip=0x00000000 cs=0x00000000

核心原因：操作系统与x87规范的双重限制 #

1. Linux内核的FPU惰性保存机制
   Linux在进程上下文切换时采用惰性FPU保存策略：只有当进程实际使用FPU时，才会完整保存其状态。如果你的进程在两次浮点计算间隔内被调度出去，内核可能不会保存x87的指令指针（FIP）和数据指针（FDP）——因为这些字段仅在处理浮点异常时才需要，内核默认认为无异常场景下这些值无需严格保留。当进程被调度回时，内核可能只恢复FPU控制字、状态字等关键部分，导致FIP被重置为0。

2. x87架构规范的定义
   根据x87架构文档，fnstenv存储的FIP和FDP字段，仅在存在未处理的浮点异常时才保证有效。当无待处理异常时，这些字段的内容属于未定义行为——Intel文档虽未明确说明会被清零，但也未承诺其在无异常时保持稳定。AMD的硬件实现可能在此处允许更灵活的处理，包括在无异常时重置这些指针。

3. 不确定性的来源
   循环终止时机不可预测，本质是因为进程上下文切换的时机由系统调度器决定，取决于当前系统负载、其他进程活动等因素。内核某次切换回进程时未恢复FIP，就会触发fnstenv读出0，导致循环终止。

结论 #

在无待处理x87异常的情况下，绝对不能依赖x87指令指针和数据指针的稳定性。这些字段的设计目的是为浮点异常提供回溯信息，而非记录最近一次浮点指令的执行位置。如果需要追踪浮点操作的执行轨迹，应通过软件日志、调试断点等方式实现，而非依赖fnstenv的输出结果。

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