Linux 孤兒進程組與終端會話機制深度解析

四、守護進程雙重 Fork 標準範式

void daemonize() {
    // 1. 第一次 fork：父進程退出，子進程成為背景進程（非組長）
    if (fork() != 0) _exit(0);

    // 2. setsid：成為新會話首進程、新進程組組長、無控制終端
    if (setsid() < 0) _exit(1);

    // 3. 第二次 fork：防止會話首進程重新獲得控制終端
    if (fork() != 0) _exit(0);

    // 4. 切換工作目錄、重設 umask、關閉所有 fd
    chdir("/");
    umask(0);
    for (int i = 0; i < maxfd; ++i) close(i);
    open("/dev/null", O_RDWR); // fd 0
    dup(0);                    // fd 1
    dup(0);                    // fd 2
}

為何雙重 Fork？

1. 首 Fork 確保子進程非進程組長，滿足 setsid() 前提。
2. setsid() 後進程成為會話首領，**理論上可重新打開控制終端**（若打開終端設備且無 O_NOCTTY）。
3. 二次 Fork 讓「真正的守護進程」非會話首領，**永久喪失獲得控制終端能力**，徹底脫離終端。

五、關鍵信號語意速查

六、內核關鍵代碼片段（tty_open）

if (!noctty && current->signal->leader && !current->signal->tty && tty->session == 0) {
    task_lock(current);
    current->signal->tty = tty;           // 綁定控制終端
    task_unlock(current);
    current->signal->tty_old_pgrp = 0;
    tty->session = current->signal->session;
    tty->pgrp = process_group(current);   // 設前台進程組
}

只有會話首領、無控制終端、終端無會話三條件滿足時，才能成為控制終端擁有者。

總結

Linux 作業控制以會話-進程組-前台/後台三層模型，配合控制終端唯一歸屬、孤兒進程組 SIGHUP/SIGCONT 機制、後台訪問終端停止信號，構建出完整的終端多路複用與斷開保護體系。
守護進程雙重 Fork + setsid() + 關閉 fd 是脫離終端的標準範式；理解孤兒進程組規則，能預測 SSH 斷開、screen/tmux 保活、systemd 管理服務等場景的進程生死走向。