强上Linux内核3--来说一下fork机制吧

来说一下fork机制吧

写时拷贝：实现fork()

Linux不复制整个进程地址空间，而是让父子进程共享一个只读拷贝。只有在需要写入的时候才复制数据让各个进程拥有自己的拷贝。

好处：fork()实际开销减少到只有父进程页表和子进程创建唯一进程描述符了，避免拷贝大量根本不会被使用的数据。

---

fork 是一个系统调用，根据系统调用的流程，流程的最后会在 sys_call_table 中找到相应的系统调用 sys_fork。

sys_fork 会调用 _do_fork

fork 的第一件大事：复制结构

_do_fork 里面做的第一件大事就是 copy_process，

• 首先复制task_struct ，创建内核栈，此时子父进程描述符完全相同。
• 检查用户资源限制，设置子进程权限，我能干谁，谁能干我。
• 重新设置进程运行的统计量，为的是和父进程区别开来。
• 设置调度相关变量。
• 设置文件和文件系统相关的变量。包括进程打开的文件信息、进程的目录信息。
• 开始初始化与信号相关的变量，维护接收信号的结构及信号处理函数。
• 复制进程内存空间。
• 建立进程之间的亲缘关系，分配有效PID。

fork 的第二件大事：唤醒新进程

_do_fork 做的第二件大事是 wake_up_new_task。新任务刚刚建立，有没有机会抢占别人，获得 CPU 呢？

• 首先，我们需要将进程的状态设置为 TASK_RUNNING 放进程到就绪队列头，并希望它快点执行，这样赶在父进程写之前执行exec()直接执行可执行文件并载入内存空间，两者执行的代码不同，子进程的代码段也会分配单独的物理空间。 这样就和父进程内存分开不用担心父进程写东西导致白白拷贝再白白清空了，就能避免写时拷贝额外开销。
• 父子进程统计量PK看是否能够抢占父进程。是就在fork系统调用返回时抢占

总结：fork就两件大事，一个是将 task_struct 结构复制一份并且初始化，另一个是试图唤醒新创建的子进程。

具体流程图