为何极简静态二进制程序调用exit_group而非exit系统调用？

问题背景 #

app.c代码内容：

void main() {}

执行编译及追踪命令：

gcc app.c -o app -static -O3 && lurk ./app

得到的系统调用追踪结果：

execve("", "", "") = 0
arch_prctl(12289, 0x7FFFFFFFD430) = -22
brk(0x0) = 0x4C4000
brk(0x4C51C0) = 0x4C51C0
arch_prctl(4098, 0x4C4880) = 0
uname(0x7FFFFFFFD210) = 0
readlink("/proc/self/exe", ..., 4096) = 54
brk(0x4E61C0) = 0x4E61C0
brk(0x4E7000) = 0x4E7000
mprotect(0x4BD000, 12288, 1) = 0
exit_group(4200240) = ?

exit_group的核心特性：

该系统调用与exit(2)的区别在于，它不仅终止调用线程，还会终止调用进程线程组中的所有线程。

明明程序未启动新线程，为何GCC仍生成exit_group调用？

原因解析 #

• Linux线程组的本质：在Linux内核中，进程本身就是一个仅包含单一线程的线程组。exit_group是内核为线程组设计的标准终止接口，无论线程组内有多少线程，它都能彻底终止整个进程的所有执行单元，行为更统一。
• libc的统一实现：GCC默认链接的libc（包括静态编译时使用的版本），在处理程序退出逻辑时，统一选择exit_group而非exit。这是因为exit系统调用已被标记为过时，内核更推荐使用exit_group来保证行为一致性——哪怕当前程序是单线程，后续扩展为多线程时，退出逻辑也无需修改。
• 编译参数的影响：你使用了-static静态编译参数，静态链接的libc会直接调用exit_group系统调用，跳过了可能兼容exit的包装层；同时-O3优化等级下，编译器会生成最直接的退出指令，不会额外做兼容处理。

另外，追踪结果中exit_group的返回值4200240是未初始化的main函数返回值——你的main函数没有写return语句，C标准规定这种情况默认返回0，但静态编译加优化后，编译器可能直接使用栈上的随机值作为退出码，这和使用exit_group的原因无关。

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