Linux exit vs _exit 系統調用差異全解析：緩衝區清理、atexit 與進程終止機制

C 語言程式結束時，呼叫 exit() 還是 _exit()？兩者最終都會終止進程，但清理工作截然不同。搞錯可能導致資料遺失（緩衝區未刷新）、資源洩漏（鎖未釋放）、或僵屍進程處理異常。本文從原始碼、POSIX 標準、實際行為三個維度徹底釐清差異。

函數原型與標頭檔

核心差異：exit() 多做了什麼？

exit(status) 等價於：
1. 呼叫所有經 atexit()/on_exit() 登記的「出口函數」（逆序執行）
2. 刷新所有 stdio 緩衝區（fflush(NULL)），關閉所有開啟的串流
3. 刪除 tmpfile() 建立的臨時檔案
4. 呼叫 _exit(status) 進入內核真正終止進程

_exit() 直接進入內核，不執行上述任何用戶空間清理。

內核層面 _exit() 做的三件事（man 2 _exit）

1. 關閉進程持有的所有檔案描述符（file descriptors）
2. 將子進程「過繼」給 init (PID 1) 或 child_subreaper 進程
3. 向父進程發送 SIGCHLD 信號

共同點：無論呼叫哪個，內核最終都會回收記憶體、釋放鎖、關閉檔案描述符（步驟 1）。差異在於用戶空間緩衝區與註冊清理函數是否執行。

實際影響場景對照

關鍵規則：fork() 後的子進程必須用 _exit()

pid_t pid = fork();
if (pid == 0) {
    // 子進程
    if (execve(...) == -1) {
        perror("execve");
        _exit(EXIT_FAILURE);   // 絕不可用 exit()！
    }
}
// 父進程繼續...

原因：子進程繼承父進程的 stdio 緩衝區與 atexit 清單。若用 exit()，會雙重刷新緩衝區（資料重複/亂序）、雙重執行清理函數（釋放同一把鎖兩次 → 崩潰）。

原始碼層面驗證（glibc 2.38）

/* stdlib/exit.c 簡化版 */
void exit(int status) {
    __run_exit_handlers(status, &__exit_funcs, true, true);
}

/* sysdeps/unix/sysv/linux/_exit.c */
void _exit(int status) {
    INLINE_SYSCALL(exit_group, 1, status);  // 直接系統調用
}

內核入口同樣是 exit_group（現代 Linux 以線程組為單位終止），差異純在用戶空間封裝層。

Windows 對照：ExitProcess vs TerminateProcess

總結：何時用哪個？

• 正常程式結束（main return、正常錯誤處理） → exit(status) 或直接 return status（main 中）。
• fork() 子進程 exec 失敗 → _exit(status)。
• 嚴重錯誤、必須立即終止、不想執行任何清理（如安全敏感場景） → _exit(status)。
• 守護進程重新載入配置前分叉子進程 → 子進程用 _exit()，父進程正常 exit()。

記住：exit() 是「體面離場」（清理完再走），_exit() 是「拍拍屁股走人」。選對地方用對函數，才能避免資料遺失與資源洩漏的隱形坑。