C语言glibc的abort函数实现中，_exit系统调用为什么会失败？

从POSIX标准与正常运行的主流操作系统语义来看，_exit确实会终止当前进程且永不返回，理论上不会出现执行后仍运行后续代码的情况。这段兜底逻辑是glibc为极端场景做的防御性设计，可能触发的场景包括：

• 内核层面异常：_exit本质是操作系统提供的系统调用，依赖内核逻辑的正确执行。如果遇到内核bug、第三方内核模块hook篡改了exit系统调用的逻辑、系统处于严重故障状态，就可能出现_exit无法正常完成进程终止操作，甚至异常返回的极端情况。
• 跨平台适配需求：glibc需要兼容大量不同的CPU架构、不同操作系统及嵌入式移植版本，部分冷门平台、自定义修改的移植版glibc可能存在_exit实现不完善的问题，兜底逻辑可以保证这类场景下abort依然符合「永不返回」的接口语义。
• 极致鲁棒性要求：abort函数的标准语义是绝对不会返回，一旦abort意外返回，会触发调用侧的未定义行为，引发更严重的故障。作为底层基础库，glibc会覆盖所有理论上可能的边界场景，哪怕概率趋近于0的极端情况也要做兜底，完全杜绝abort返回的可能性。

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