Linux exec 函數族深度解析：進程替換機制、八大變體差異與實戰陷阱

exec 函數族是 Linux 進程控制的核心：它**不創建新進程**，而是將調用進程的地址空間（代碼、數據、堆、棧）完全替換為新程序，**保持 PID 不變**。本文深度剖析八大變體差異、參數傳遞機制、環境變量處理、錯誤碼與典型誤區。

核心特性

• PID 不變：調用 exec 前後進程 ID 相同，但內存映射、文件描述符表（受 FD_CLOEXEC 影響）、信號處理函數（恢復默認）重置。
• 不返回（成功時）：新程序從 main 開始運行，原代碼不再執行。僅出錯返回 -1（errno 指示原因）。
• 繼承屬性：進程 ID、父進程 ID、進程組 ID、會話 ID、控制終端、實時用戶/組 ID、補充組 ID、當前工作目錄、根目錄、文件模式創建掩碼、信號掩碼、未決信號集、資源限制、CPU 時間計數器、打開文件描述符（無 FD_CLOEXEC）、環境變量（無 envp 參數時）。

八大變體語法與差異對照

關鍵差異總結

1. 路徑：帶 p 者搜索 PATH 環境變量（如 execlp("ls", ...)），不帶 p 需完整路徑（execl("/bin/ls", ...)）。
2. 參數形式：l 為可變參數（適合固定參數），v 為數組（適合動態構造參數，如 Shell 解析後的命令行）。
3. 環境變量：帶 e 者接受 envp[] 顯式指定新進程環境，**不繼承**調用者 environ**；不帶 e 者繼承**。
4. 底層實現：execve 是系統調用入口，其餘均為 glibc 封裝，最終調用 execve。

實戰代碼模式

模式 1：固定參數啟動子程序

// 以當前環境運行 /usr/bin/python3 script.py arg1 arg2
execl("/usr/bin/python3", "python3", "script.py", "arg1", "arg2", (char *)NULL);
// 等價數組形式
char *argv[] = {"python3", "script.py", "arg1", "arg2", NULL};
execv("/usr/bin/python3", argv);

模式 2：搜索 PATH 執行命令（Shell 風格）

// 用戶輸入 "ls -l /tmp"，解析後動態構造 argv
char *argv[] = {"ls", "-l", "/tmp", NULL};
execvp("ls", argv);  // 自動搜索 /bin/ls, /usr/bin/ls 等

模式 3：自定義環境變量啟動

char *new_env[] = {
    "PATH=/usr/local/bin:/usr/bin:/bin",
    "LANG=en_US.UTF-8",
    "MY_APP_CONFIG=/etc/myapp/prod.conf",
    NULL
};
char *argv[] = {"./myapp", "--daemon", NULL};
execve("./myapp", argv, new_env);  // 完全隔離環境，安全部署首選

模式 4：調用 Shell 執行腳本/管道/重定向

// 等價 system("cmd") 但可控環境、參數
execlp("sh", "sh", "-c", "cmd1 | cmd2 > /tmp/out.log 2>&1", (char *)NULL);
// 或帶環境
char *env[] = {"PATH=/usr/bin:/bin", NULL};
execle("/bin/sh", "sh", "-c", "cmd", (char *)NULL, env);

常見錯誤碼與排查

進階陷阱與最佳實踐

1. 文件描述符洩漏：默認繼承所有打開 FD。必須對**非標準 FD** 設置 FD_CLOEXEC（fcntl(fd, F_SETFD, FD_CLOEXEC)）或用 open(O_CLOEXEC)、pipe2(O_CLOEXEC)、socket(SOCK_CLOEXEC) 創建。exec 前關閉無關 FD，防止子進程持有敏感句柄（數據庫連接、監聽套接字）。
2. 參數/環境總大小限制：Linux MAX_ARG_STRLEN (128KB/字符串)、MAX_ARG_STRINGS (0x7FFFFFFF)、棧大小 RLIMIT_STACK (默認 8MB)。超長參數用文件/管道傳遞。
3. Shebang 解析：腳本首行 #!interpreter [arg] 由內核解析，execve 實際執行 interpreter 並將腳本路徑作參數。interpreter 必須是二進制可執行文件（不能是腳本），參數最多 1 個（Linux 限制）。
4. 信號處理重置：exec 將所有信號處理函數恢復為 SIG_DFL（忽略的保持忽略）。子進程需自行建立信號處理邏輯。
5. 線程安全：多線程進程調用 exec 會**終止所有其他線程**，僅保留調用線程。調用前務必確保無關鍵線程運行（或用 pthread_atfork 協調）。
6. 避免 system()：system() = fork() + execl("/bin/sh", ...) + waitpid()，效率低、引入 Shell 注入風險、阻塞調用者。優先用 execve + pipe + waitpid 實現進程間通信。

總結選型指南

精通 exec 族函數，是編寫高性能、安全、可控的 Linux 多進程程序（Shell、容器運行時、任務調度器、守護進程管理器）的關鍵鑰匙。