揭秘Linux进程创建与终止：从fork到exit的底层逻辑全解析（小白也能看懂的Linux系统编程指南）

上图展示了fork的写时拷贝机制。父子进程的虚拟内存映射到相同物理页，并标记为只读。当一方写入时，触发缺页异常，内核分配新页并复制数据。这种写时拷贝技术大大减少了fork开销，是Linux进程创建高效的秘诀。

二、深入fork底层逻辑

从内核视角看，fork调用最终执行do_fork函数，完成以下步骤：分配新的task_struct、拷贝父进程上下文、复制内存描述符、设置子进程状态等。其中内存管理是关键：通过dup_mm复制mm_struct，并通过页表复制或共享物理内存。由于写时拷贝，页表项被标记为只读，并记录为共享页。

三、进程映像替换——exec族函数

fork通常与exec配合使用。execve等系统调用会加载新程序，替换当前进程的映像，包括代码、数据、堆栈等。内核会释放旧资源，解析可执行文件，建立新内存映射。但进程PID保持不变，这为shell执行命令提供了基础。

四、进程终止——exit与_exit

进程终止可以通过进程终止exit函数完成。exit是标准C库函数，它会调用清理函数（如atexit注册的）、刷新缓冲区，最终调用_exit系统调用进入内核。_exit直接终止进程，关闭文件描述符，释放内存，并向父进程发送SIGCHLD信号。理解进程终止exit的流程有助于避免资源泄漏。

五、僵尸进程与孤儿进程

如果父进程未等待子进程终止，子进程结束后会变成僵尸进程，保留task_struct供父进程获取退出状态。孤儿进程则被init进程收养。父进程应使用wait/waitpid回收子进程，避免僵尸泛滥。这些机制确保了进程生命周期的完整管理。

六、总结

本文从Linux进程创建的fork开始，到进程终止的exit，全面解析了底层逻辑。掌握了fork系统调用的写时拷贝、exec的映像替换、exit的终止流程，以及僵尸进程处理，你就迈入了Linux系统编程的大门。希望这篇教程能帮助你建立坚实的进程管理知识体系。