从fork到进程终止：写时拷贝细节与常见退出方式 (Linux进程生命周期详解)

具体实现上，Linux进程的页表项会被标记为只读，并标记为COW。当进程尝试写入时，CPU触发缺页异常，异常处理程序发现该页是COW页，于是分配新页，复制原页内容，更新页表项为可写，然后重新执行写入指令。此后，两个进程各自拥有独立的物理页，互不影响。这种机制避免了不必要的内存拷贝，尤其适合那些fork后立即执行exec的场景。

三、进程的终点：常见退出方式

进程的生命周期必须有一个终点。Linux提供了多种终止进程的方式，主要分为正常退出和异常退出。

1. 正常退出

• main函数中执行return：这是最常见的退出方式。return语句会将返回值传递给启动例程，最终调用exit()。
• 调用exit()函数：属于C库函数，会执行清理动作（如刷新缓冲区、调用atexit注册的函数），然后进入内核的_exit()。
• 调用_exit()或_Exit()系统调用：立即进入内核，不做任何清理，直接终止进程。

2. 异常退出

• 接收到信号：例如按下Ctrl+C发送SIGINT，或者程序自身出错（如段错误SIGSEGV）导致进程终止。
• 调用abort()：产生SIGABRT信号，通常用于异常退出。

四、进程终止时的内核动作

无论哪种退出方式，最终都会陷入内核，调用do_exit()。内核会释放进程占用的资源（如内存页、文件描述符等），并将进程状态置为僵尸状态（TASK_ZOMBIE），保留task_struct结构体，等待父进程通过wait()系统调用来获取退出状态。如果父进程先于子进程结束，子进程会被托管给init进程（PID=1），由init负责回收。

五、总结

从fork创建进程，到写时拷贝优化内存，再到进程通过各种方式退出，Linux对进程的管理既高效又健壮。理解这些细节有助于编写更可靠的程序，并排查内存相关的问题。希望本文能帮你理清Linux进程的来龙去脉。

—— 本文关键词：Linux进程、写时拷贝、fork、进程退出 ——