IEEE浮点标准实现主体及C语言浮点异常处理机制技术问询

问题1：IEEE浮点标准是由编程语言还是操作系统实现的？ #

其实IEEE 754浮点标准是硬件、操作系统、编程语言三者协同完成的，并不是单一主体实现的：

• 核心的运算逻辑和数值表示是由CPU的浮点运算单元（FPU）硬件实现的——现代几乎所有主流CPU的FPU都直接遵循IEEE 754规范，负责处理浮点计算、异常检测等底层操作。
• 操作系统提供异常处理的基础框架：当FPU触发异常时，内核会捕获硬件信号，并将其转化为进程可感知的信号（比如后面提到的SIGFPE）。
• 编程语言则通过标准库或语言特性封装这些能力：比如C语言的标准数学库（libm）会直接调用硬件FPU的运算指令；Java的JVM则会在底层对接操作系统和硬件的浮点支持，同时在语言层面提供异常捕获机制。

问题2：C语言中浮点除零异常的处理主体是OS内核还是libc？ #

你看到的$ ./divby0_demo Floating point exception (core dumped)，本质是操作系统内核在主导处理：

1. 当你的代码执行浮点除零操作时，CPU的FPU会立刻检测到这个违反IEEE 754规范的操作，触发一个硬件异常。
2. 内核捕获到这个硬件异常后，会向当前运行的进程发送SIGFPE信号（专门对应浮点异常的信号）。
3. 默认情况下，进程收到SIGFPE信号后会直接终止，同时生成core dump文件，也就是你看到的提示信息。

那C标准库（libc）在这里的作用是什么呢？它不会主动捕获硬件异常，但提供了用户态的信号处理接口——你可以用signal()或者sigaction()函数注册自定义的SIGFPE处理函数，在信号被内核发送过来后，自定义进程的行为（比如打印日志而不是直接终止）。不过这属于信号发送后的用户态处理，核心的异常触发和信号发送还是内核完成的。

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