Linux内核进程生命周期深度实战：从fork到exit全链路剖析（含写时复制/ELF加载/PID管理/cgroups容器隔离）

一、进程即一切：Linux的统一抽象

Linux内核秉持“一切皆文件”的设计哲学，而对于运行中的程序，内核的统一抽象是进程（Process）。每一个用户空间程序、每一个线程、甚至内核辅助任务，在内核中均以task_struct结构体表示。理解进程的生命周期，就是理解操作系统如何调度资源、隔离环境、回收废料的核心机制。本文将从fork()创建、execve()加载、exit()终止、wait4()收割四个核心系统调用切入，深入剖析Linux内核进程管理的完整链路。

二、task_struct：进程的“身份证档案”

每个进程/线程对应一个task_struct（定义于include/linux/sched.h），它是内核中最大的结构体之一，包含近400个字段，关键字段如下：

• pid_t pid：进程标识符，全局唯一（同一命名空间内）
• pid_t tgid：线程组ID，用户态看到的PID（主线程的pid）
• struct mm_struct *mm：内存描述符，管理虚拟地址空间
• struct files_struct *files：打开文件表
• struct signal_struct *signal：信号处理状态
• struct task_struct *parent / real_parent：父进程指针
• struct list_head children / sibling：子进程链表
• volatile long state：任务状态（RUNNING/INTERRUPTIBLE/STOPPED/ZOMBIE等）
• int prio / static_prio / normal_prio：调度优先级
• struct cgroup_link cg_links：cgroup关联

task_struct通过struct list_head tasks双向链表串联所有进程，同时通过PID哈希表（pid_hash）实现O(1)查找。内核通过current宏（读取栈指针偏移）快速获取当前进程的task_struct。

三、进程创建：fork()、vfork()、clone() 全解析

3.1 fork() —— 经典的写时复制

fork()是最传统的进程创建方式，其核心实现位于kernel/fork.c中的_do_fork() → copy_process()调用链。

传统fork()会完整复制父进程的整个地址空间，这在大型程序中极为低效。现代Linux引入写时复制（Copy-On-Write, COW）机制，fork()时不立即复制物理页，而是让父子进程共享相同的物理页框，仅当任一方尝试写入时才触发页面错误（page fault），由内核分配新页框、复制原有内容，然后允许写入。

关键路径如下：

1. 调用copy_mm()：创建新的mm_struct，复制父进程的VMA（Virtual Memory Area）结构，但不复制物理页，将PTE（页表项）标记为只读且COW。
2. 调用copy_files()：增加文件描述符引用计数（fget()），父子共享files_struct。
3. 调用copy_sighand()：共享信号处理函数表。
4. 调用copy_signal()：共享信号状态。
5. 调用copy_namespace()：若未指定CLONE_NEW*标志，共享命名空间。
6. 调用copy_io()：共享I/O上下文。
7. 调用alloc_pid()：分配新的PID命名空间中的PID。
8. 设置进程状态为TASK_RUNNING，并将新进程加入调度器运行队列。

父进程从fork()返回新进程的PID；子进程被调度执行时，从fork返回点开始运行，返回0。

3.2 vfork() —— 过时的轻量级创建

vfork()创建子进程时共享父进程的地址空间（不创建新的mm_struct），并挂起父进程直到子进程调用execve()或_exit()。这种设计早期用于避免COW前的全量复制开销。但COW普及后vfork()已几乎无用武之地，且极易因共享地址空间导致父进程栈被破坏，现代程序应避免使用。

3.3 clone() —— 灵活的现代接口

clone()是线程库（pthread）的底层实现。它通过标志位精细控制资源共享程度：