Linux 进程创建与终止：fork 原理与退出机制实战

输出结果示例

子进程：pid=12345，g_val=20，地址=0x80497e8
父进程：pid=12344，g_val=10，地址=0x80497e8

现象与结论

• 现象：父子进程中 g_val 地址相同（虚拟地址），但值不同；
• 结论：写时拷贝触发后，子进程获得独立的数据副本，实现进程分离。

1.4 fork 的常见用法与失败场景

典型用法

• 父子进程执行不同代码段（如父进程创建数据，子进程进行备份）；
• 子进程通过 exec 函数替换为新程序。

调用失败原因

• 系统进程数达到上限（可通过 ulimit -u 查看进程数限制）；
• 实际用户的进程数超过系统配置上限。

实际场景演示（备份）

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>
#include <unistd.h>

#define NUM 10

int data[NUM] = {0};

void Backup() {
    pid_t id = fork();
    if (id == 0) {
        // child
        int i = 0;
        printf("Backup: ");
        for (i = 0; i < NUM; i++) {
            printf("%d ", data[i]);
        }
        printf("\n");
        sleep(10);
        exit(0); // 进程结束
    }
}

void ChangeData() {
    int i = 0;
    for (; i < NUM; i++) {
        data[i] = i + rand();
    }
    printf("origin data: ");
    for (i = 0; i < NUM; i++) {
        printf("%d ", data[i]);
    }
    printf("\n");
}

int main() {
    srand(time(NULL));
    while (1) {
        // 修改
        ChangeData();
        // 备份
        Backup();
        sleep(5);
    }
}

核心逻辑

1. 父子进程数据隔离：fork() 创建子进程时，子进程会复制父进程的全部内存（包括 data 数组）；
2. 备份原理：父进程修改数据前创建子进程，子进程看到的就是修改前的数据；
3. 独立运行：子进程打印数据后退出，父子进程互不影响。

注意：这个程序会不断创建子进程但从不回收，可能导致僵尸进程累积，我们后面会讲进程等待的，这里先不管它。

二、进程终止：资源释放与退出机制

进程终止的本质是释放进程占用的系统资源（内核数据结构、内存、文件描述符等），并将退出状态反馈给父进程。

2.1 进程退出的三种场景

• 正常终止：代码运行完毕，结果正确（如 main 函数返回 0）；
• 正常终止但结果错误：代码运行完毕，但逻辑错误（如 main 函数返回 1）；
• 异常终止：代码运行中遇到错误（如除零、段错误、信号终止）。

2.2 进程终止的三种方法

（1）从 main 函数返回（最常用）

return n 等同于调用 exit(n)，n 为进程退出码（0 表示成功，非 0 表示失败）。

// 正常退出，退出码 0
int main() {
    printf("程序正常执行完毕\n");
    return 0;
}

正常退出，可以使用 echo $? 查看进程退出码。

（2）调用 exit 函数（标准库函数）

exit 会在终止进程前执行清理工作，最终调用 _exit 系统调用（_exit 不会主动刷新缓冲区）。

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

int main() {
    printf("执行 exit 退出\n");
    exit(1); // 退出码 1，标识执行失败，也可以使用其他的退出码
}

（3）调用_exit 函数（系统调用）

_exit 直接终止进程，不执行任何清理工作，速度更快。

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

// exit 会冲刷缓存，输出"hello"
void TestExit() {
    printf("hello");
    exit(0);
}

// _exit 不冲刷缓存，无输出
void Test_Exit() {
    printf("hello");
    _exit(0);
}

int main() {
    // 分别调用一下进行测试看看输出结果
    TestExit();
    // Test_Exit();
    return 0;
}

（4）异常终止（信号触发）

通过 Ctrl+C（SIGINT 信号）、kill -9 进程 PID（SIGKILL 信号）等方式终止进程，属于异常退出。

2.3 退出码：进程的'执行结果报告'

退出码是进程终止时反馈给父进程的'状态信息'，核心规则：

• 退出码 0：执行成功；
• 退出码 1~255：执行失败（不同数值可标识不同错误类型）；
• 父进程可通过 wait/waitpid 获取子进程退出码；
• 终端中通过 echo $? 查看最近一次执行程序的退出码。

常见误区澄清

• fork 后父子进程共享所有数据：错误！代码段共享，但数据段采用写时拷贝，写入时自动分离；
• exit 和_exit 完全一致：错误！exit 会冲刷缓存、执行清理函数，_exit 直接终止；
• 退出码可以是任意整数：错误！仅低 8 位有效，超过 255 会自动取模（如 exit(300) 等价于 exit(44)）；
• 子进程退出后资源会自动释放：错误！需父进程调用 wait/waitpid 回收，否则会变成僵尸进程。

结语

进程创建（fork）和终止是 Linux 进程管理的基础，核心要点：fork 通过写时拷贝实现高效创建，进程终止需关注资源释放和退出码传递。理解这些逻辑，能帮你规避僵尸进程、资源泄漏等问题，为后续学习进程等待、程序替换打下基础。