读核日记fork

1. 作者：handi
2. 星期四, 十月 28, 2004
4. 读核日记fork上篇
8. 中间会参考到一些资料和文章，我也会在日记头一一列出
9. 1. lion's unix 源代码分析
10. 2. kernel 2.6.8 /kernel/fork.c
11. 3. kernel 2.4.18 /kernel/fork.c
12. 4. linux情景分析(上、下)
18. 基本上没有找到以fork命名的函数，而且还符合
19. match case and match whold word only
21. 于是sys_fork --> do_fork，就像socket一样只有sys_socket
22. 至于为什么系统调用的时候是fork()和socket()，我想可能是函数map的
23. 原因吧
25. 先说大体流程，之后再解说代码
26. first，检查一些状态，获取一些必要的信息
27. --> 进入copy_process实体，复制进程(中间有一个很重要的一点，就是
28. 为什么子进程返回值是0)
29. --> 设置一些信息
30. --> 让进程开始run
32. 比较于unix的实现，我只能说linux真复杂和罗嗦，lion's unix
33. 中的实现很简单清晰，如果只是要了解原理的，那份fork就足够了，而且
34. 很老实的，没有sys_fork, v_fork, do_fork之类的嵌套，就一个fork
36. 当然不清楚目前unix的版本中这是怎样实现的，所以过些天会找些minix
37. 或bsd中实现的代码来参考，然后补充到日记中来
40. 前面罗嗦了这么多，还是来分析一下源代码吧.
41. /kernel/fork.c
43. kernel_thread()，sys_fork()，sys_clone()，sys_vfork()
44. 这几个函数都是调用do_fork()函数，主要参数区别都是集中在
45. clone_flags上面，在/arch/i386/kernel/process.c
48. /*
49.  *  Ok, this is the main fork-routine.
50.  *
51.  * It copies the process, and if successful kick-starts
52.  * it and waits for it to finish using the VM if required.
53.  */
54. long do_fork(unsigned long clone_flags,         /* 克隆标识 */
55.        unsigned long stack_start,        /* 栈起始位置 - 怎么不用指针? */
56.        struct pt_regs *regs,             /* 寄存器 */
57.        unsigned long stack_size,         /* 栈大小 */
58.        int __user *parent_tidptr,        /* 父进程的什么指针 */
59.        int __user *child_tidptr)         /* 子进程的什么指针， 这两个指针用来指什么? */
60. {
61.  struct task_struct *p;  /* PCB结构 */
62.  int trace = 0;
63.  long pid;
65.         /* CLONE_PTRACE 这个宏表示什么意思[set if we want to let tracing continue on the child too]
66.          * 翻译过来的意思是如果想跟踪子进程的信息，就设置这一位
67.          * 是否跟踪由do_fork的参数clone_flags确定的 
68.          * 也就是说是否跟踪子进程的信息是由我们在调用的时候确定 */
70.         /* current这个是指当前的父进程吗? 
71.          * unlikely原型:
72.          * #include <linux/compiler.h> */
73.  if (unlikely(current->ptrace)) 
74. {/* unlikely(x)，对x两次取反，具体实现取决于gcc的版本，gcc 2.9.6是界点，其实就是 取x的值 */
75.   trace = fork_traceflag (clone_flags);/* fork_traceflag inline在文件fork.c中，2.4.18版本没有独立出去 */
76.   if (trace)
77.    clone_flags |= CLONE_PTRACE;
78.  }
80.         /* 检查clone_flags，创建一个新的进程，拷贝由clone_flags指定的信息，但新进程不运行 */
82.  p = copy_process(clone_flags, stack_start, regs, stack_size, parent_tidptr, child_tidptr);
84.         /*
85.   * Do this prior waking up the new thread - the thread pointer
86.   * might get invalid after that point, if the thread exits quickly.
87.   */
88.  pid = IS_ERR(p) ? PTR_ERR(p) : p->pid;
90.         /* 进程复制成功 */
91.  if (!IS_ERR(p)) 
92. {
93.   struct completion vfork;
95.   if (clone_flags & CLONE_VFORK) 
96. {
97.    p->vfork_done = &vfork;
98.    init_completion(&vfork);
99.   }
101.   if ((p->ptrace & PT_PTRACED) || (clone_flags & CLONE_STOPPED)) 
102. {
103.    /*
104.     * We'll start up with an immediate SIGSTOP.
105.     */
106.    sigaddset(&p->pending.signal, SIGSTOP);
107.    set_tsk_thread_flag(p, TIF_SIGPENDING);
108.   }
110.   if (!(clone_flags & CLONE_STOPPED)) 
111. {
112.    /*
113.     * Do the wakeup last. On SMP we treat fork() and
114.     * CLONE_VM separately, because fork() has already
115.     * created cache footprint on this CPU (due to
116.     * copying the pagetables), hence migration would
117.     * probably be costy. Threads on the other hand
118.     * have less traction to the current CPU, and if
119.     * there's an imbalance then the scheduler can
120.     * migrate this fresh thread now, before it
121.     * accumulates a larger cache footprint:
122.     */
123.    /* 唤醒新fork的进程 */
124.    if (clone_flags & CLONE_VM)
125.     wake_up_forked_thread(p);
126.    else
127.     wake_up_forked_process(p);
128.   } 
129. else 
130. {
131.    int cpu = get_cpu();
133.    p->state = TASK_STOPPED;
134.    if (cpu_is_offline(task_cpu(p)))
135.     set_task_cpu(p, cpu);
137.    put_cpu();
138.   }
139.   ++total_forks;
141.   if (unlikely (trace)) 
142. {
143.    current->ptrace_message = pid;
144.    ptrace_notify ((trace << 8) | SIGTRAP);
145. }
147.   if (clone_flags & CLONE_VFORK) 
148. {
149.    wait_for_completion(&vfork);
150.    if (unlikely (current->ptrace & PT_TRACE_VFORK_DONE))
151.     ptrace_notify ((PTRACE_EVENT_VFORK_DONE << 8) | SIGTRAP);
152. } 
153. else
154.    /*
155.     * Let the child process run first, to avoid most of the
156.     * COW overhead when the child exec()s afterwards.
157.     */
158.    /* 让fork的子进程先运行 */
159.    set_need_resched();
160.  }
161.  return pid;
162. }