Linux 進程退出機制深度解析：exit() 與 _exit() 的關鍵差異與緩衝區行為

核心差異一覽

代碼驗證實驗

exit1.c - 使用 exit()

#include <stdio.h>
#include <stdlib.h>

int main() {
    printf("output begin\n");
    printf("content in buffer");  // 無換行，留在緩衝區
    exit(0);
}

輸出：

output begin
content in buffer

exit2.c - 使用 _exit()

#include <stdio.h>
#include <unistd.h>

int main() {
    printf("output begin\n");
    printf("content in buffer");  // 無換行
    _exit(0);
}

輸出：

output begin

解釋：_exit() 直接觸發 exit_group 系統調用，標準輸出緩衝區未刷新，"content in buffer" 丟失。

內部執行流程

exit() 完整流程

1. 執行 atexit() 註冊的函數（後進先出）
2. 執行 on_exit() 註冊的函數
3. 刷新所有輸出串流（fflush(NULL)）
4. 關閉所有打開的串流（fcloseall()）
5. 刪除 tmpfile() 建立的臨時檔
6. 調用 _exit() 進入內核

_exit() 內核動作

1. 釋放進程佔用的所有記憶體（頁表、VMA）
2. 關閉所有檔案描述符
3. 釋放鎖、信號量、共享記憶體等 IPC 資源
4. 發送 SIGCHLD 給父進程
5. 若為進程組領頭，發送 SIGHUP 給前台進程組
6. 將進程狀態設為 EXIT_ZOMBIE，等待父進程 wait()

實戰決策指南

必須用 exit() 的場景

• main() 函數返回（編譯器隱式插入）
• 正常業務邏輯結束
• 需確保日誌、資料完整寫入磁碟

必須用 _exit() 的場景

• fork() 後子進程 在執行 exec() 前發生錯誤（避免雙重刷新緩衝區、雙重執行 atexit）
• 信號處理函數中終止進程（非 async-signal-safe 函數不可在信號處理程式中調用）
• 嚴重錯誤（如記憶體損壞）需立即終止，不執行任何清理
• 守護進程雙重 fork 第二階段

經典錯誤案例

// 錯誤：子進程用 exit()
pid = fork();
if (pid == 0) {
    if (setup_failed) exit(1);  // 危險！雙重刷新父進程緩衝區
    exec(...);
}

// 正確：子進程用 _exit()
pid = fork();
if (pid == 0) {
    if (setup_failed) _exit(1);  // 安全，直接進內核
    exec(...);
}

相關函數族

• exit(int status)：標準 C
• _Exit(int status)：C99 標準，行為同 _exit()，不保證系統調用名稱
• _exit(int status)：POSIX，直接系統調用
• abort()：產生 SIGABRT，生成 core dump，不執行清理
• quick_exit()：C11，執行 at_quick_exit() 註冊函數，再 _Exit()