本文为原创,转载请注明:http://www.cnblogs.com/tolimit/

引言

  前一篇关于linux系统如何实现fork的研究(一)通过代码已经说明了从用户态怎么通过软中断实现调用系统调用clone函数,而clone函数的精华copy_process函数就在此篇文章中进行分析。我们知道,在linux系统中,应用层可以创建子进程和子线程(轻量级进程)两种程序分支结构。而对于linux内核而且,并不详细区分子进程和子线程(轻量级进程)的区别,他们都使用的是task_struct结构(此结构极其复杂,包含非常多的数据结构),而不同的是子进程和子线程的task_struct初始化结果不同。task_struct结构是一个进程或线程的标识和存在的凭证,调度程序就是通过task_struct结构来区分不同的进程(线程)。里面包含了进程(线程)所有需要用到的结构(内存描述符,文件描述符,信号描述符,信号处理函数,调度优先级等)。而我们知道,一个进程(线程)不止有自己的task_struck结构,还必须有一个自己的内核栈,当执行进程切换时,部分进程上下文会保存于其进程的内核栈中,而中断发生时的中断上下文也会保存于正在持续的进程内核栈中。在copy_process函数中内核栈的初始化导致了fork()的两次返回值不同(之后会说明)。当然,copy_process还涉及到许多操作,比如新进程(线程)的安全检测,pid的分配,关系调整(父子进程、进程组关系,命名空间关系等),内存结构的初始化等等,这些我们在之后的代码中慢慢道来。

copy_process

  1. /* 代码目录:linux源码/kernel/Fork.c */
  2.  
  3. static struct task_struct *copy_process(unsigned long clone_flags,
  4. unsigned long stack_start,
  5. unsigned long stack_size,
  6. int __user *child_tidptr,
  7. struct pid *pid,
  8. int trace)
  9. {
  10. int retval;
  11. struct task_struct *p;
  12.  
  13. /* CLONE_FS 不能与 CLONE_NEWNS 或 CLONE_NEWUSER 同时设置 */
  14. if ((clone_flags & (CLONE_NEWNS|CLONE_FS)) == (CLONE_NEWNS|CLONE_FS))
  15. return ERR_PTR(-EINVAL);
  16.  
  17. if ((clone_flags & (CLONE_NEWUSER|CLONE_FS)) == (CLONE_NEWUSER|CLONE_FS))
  18. return ERR_PTR(-EINVAL);
  19.  
  20. /* 创建线程时线程之间要共享信号处理函数 */
  21. if ((clone_flags & CLONE_THREAD) && !(clone_flags & CLONE_SIGHAND))
  22. return ERR_PTR(-EINVAL);
  23.  
  24. /*
  25. * 父子进程共享信号处理函数时必须共享内存地址空间
  26. * 这就是为什么书上写的fork出来的父子进程有其独立的信号处理函数,因为他们的内存地址空间不同
  27. */
  28. if ((clone_flags & CLONE_SIGHAND) && !(clone_flags & CLONE_VM))
  29. return ERR_PTR(-EINVAL);
  30.  
  31. /*
  32. * 防止参数init进程的兄弟进程
  33. * 只有init进程的 signal->flags & SIGNAL_UNKILLABLE 为真
  34. * 因为当进程退出时实际上是成为了僵尸进程(zombie),而要通过init进程将它回收,而如果此进程为init的兄弟进程,则没办法将其回收
  35. */
  36. if ((clone_flags & CLONE_PARENT) &&
  37. current->signal->flags & SIGNAL_UNKILLABLE)
  38. return ERR_PTR(-EINVAL);
  39.  
  40. /* 如果新的进程将会有新的用户空间或者pid,则不能让它共享父进程的线程组或者信号处理或者父进程 */
  41. if (clone_flags & CLONE_SIGHAND) {
  42. if ((clone_flags & (CLONE_NEWUSER | CLONE_NEWPID)) ||
  43. (task_active_pid_ns(current) !=
  44. current->nsproxy->pid_ns_for_children))
  45. return ERR_PTR(-EINVAL);
  46. }
  47.  
  48. /* 附加安全检查 */
  49. retval = security_task_create(clone_flags);
  50. if (retval)
  51. goto fork_out;
  52.  
  53. retval = -ENOMEM;
  54. /* 为新进程分配struct task_struct内存和内核栈内存 */
  55. p = dup_task_struct(current);
  56. if (!p)
  57. goto fork_out;
  58.  
  59. /* ftrace是用于内核性能分析和跟踪的 */
  60. ftrace_graph_init_task(p);
  61.  
  62. /* futex初始化,其用于SYSTEM V IPC,具体可见 http://blog.chinaunix.net/uid-7295895-id-3011238.html */
  63. rt_mutex_init_task(p);
  64.  
  65. #ifdef CONFIG_PROVE_LOCKING
  66. DEBUG_LOCKS_WARN_ON(!p->hardirqs_enabled);
  67. DEBUG_LOCKS_WARN_ON(!p->softirqs_enabled);
  68. #endif
  69. retval = -EAGAIN;
  70. /* 检查 tsk->signal->rlim[RLIMIT_NPROC].rlim_cur是否小于等于用户所拥有的进程数,rlim结构体表示相关资源的最大值 */
  71. if (atomic_read(&p->real_cred->user->processes) >= task_rlimit(p, RLIMIT_NPROC)) {
  72. /* INIT_USER是root权限。检查父进程是否有root权限 */
  73. if (p->real_cred->user != INIT_USER && !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN))
  74. goto bad_fork_free;
  75. }
  76. current->flags &= ~PF_NPROC_EXCEEDED;
  77.  
  78. /* 将父进程的cred复制到子进程的real_cred和cred。struct cred用于安全操作的结构 */
  79. retval = copy_creds(p, clone_flags);
  80. if (retval < )
  81. goto bad_fork_free;
  82.  
  83. retval = -EAGAIN;
  84. /* 进程数量是否超出系统允许最大进程数量,最大进程数量跟内存有关,一般原则是所有的进程内核栈(默认8K)加起来不超过总内存的1/8,可通过/proc/sys/kernel/threads-max改写此值 */
  85. if (nr_threads >= max_threads)
  86. goto bad_fork_cleanup_count;
  87.  
  88. /* 如果实现新进程的执行域和可执行格式的内核函数都包含在内核模块中,则递增其使用计数 */
  89. if (!try_module_get(task_thread_info(p)->exec_domain->module))
  90. goto bad_fork_cleanup_count;
  91.  
  92. delayacct_tsk_init(p); /* Must remain after dup_task_struct() */
  93.  
  94. /* 清除 PF_SUPERPRIV(表示进程使用了超级用户权限) 和 PF_WQ_WORKER(使用了工作队列) */
  95. p->flags &= ~(PF_SUPERPRIV | PF_WQ_WORKER);
  96. /* 设置 PF_FORKNOEXEC 表明此子进程还没有进行 execve() 系统调用 */
  97. p->flags |= PF_FORKNOEXEC;
  98.  
  99. /* 初始化子进程的子进程链表和兄弟进程链表为空 */
  100. INIT_LIST_HEAD(&p->children);
  101. INIT_LIST_HEAD(&p->sibling);
  102. /* 见 http://www.ibm.com/developerworks/cn/linux/l-rcu/ */
  103. rcu_copy_process(p);
  104. p->vfork_done = NULL;
  105. /* 初始化分配锁,此锁用于保护分配内存,文件,文件系统等操作 */
  106. spin_lock_init(&p->alloc_lock);
  107.  
  108. /* 信号列表初始化,此列表保存被挂起的信号 */
  109. init_sigpending(&p->pending);
  110.  
  111. /* 代码执行时间变量都置为0 */
  112. p->utime = p->stime = p->gtime = ;
  113. p->utimescaled = p->stimescaled = ;
  114. #ifndef CONFIG_VIRT_CPU_ACCOUNTING_NATIVE
  115. p->prev_cputime.utime = p->prev_cputime.stime = ;
  116. #endif
  117. #ifdef CONFIG_VIRT_CPU_ACCOUNTING_GEN
  118. seqlock_init(&p->vtime_seqlock);
  119. p->vtime_snap = ;
  120. p->vtime_snap_whence = VTIME_SLEEPING;
  121. #endif
  122.  
  123. #if defined(SPLIT_RSS_COUNTING)
  124. memset(&p->rss_stat, , sizeof(p->rss_stat));
  125. #endif
  126. /* 此变量一般用于epoll和select,从父进程复制过来 */
  127. p->default_timer_slack_ns = current->timer_slack_ns;
  128.  
  129. /* 初始化进程IO计数结构 */
  130. task_io_accounting_init(&p->ioac);
  131. acct_clear_integrals(p);
  132.  
  133. /* 初始化cputime_expires结构 */
  134. posix_cpu_timers_init(p);
  135.  
  136. /* 设置进程创建时间 */
  137. p->start_time = ktime_get_ns();
  138. p->real_start_time = ktime_get_boot_ns();
  139.  
  140. /* io_context 和 audit_context 置空 */
  141. p->io_context = NULL;
  142. p->audit_context = NULL;
  143. /* 如果创建的是线程,因为需要修改到当前进程的描述符,会先上锁 */
  144. if (clone_flags & CLONE_THREAD)
  145. threadgroup_change_begin(current);
  146. cgroup_fork(p);
  147. #ifdef CONFIG_NUMA
  148. p->mempolicy = mpol_dup(p->mempolicy);
  149. if (IS_ERR(p->mempolicy)) {
  150. retval = PTR_ERR(p->mempolicy);
  151. p->mempolicy = NULL;
  152. goto bad_fork_cleanup_threadgroup_lock;
  153. }
  154. #endif
  155. #ifdef CONFIG_CPUSETS
  156. p->cpuset_mem_spread_rotor = NUMA_NO_NODE;
  157. p->cpuset_slab_spread_rotor = NUMA_NO_NODE;
  158. seqcount_init(&p->mems_allowed_seq);
  159. #endif
  160. #ifdef CONFIG_TRACE_IRQFLAGS
  161. p->irq_events = ;
  162. p->hardirqs_enabled = ;
  163. p->hardirq_enable_ip = ;
  164. p->hardirq_enable_event = ;
  165. p->hardirq_disable_ip = _THIS_IP_;
  166. p->hardirq_disable_event = ;
  167. p->softirqs_enabled = ;
  168. p->softirq_enable_ip = _THIS_IP_;
  169. p->softirq_enable_event = ;
  170. p->softirq_disable_ip = ;
  171. p->softirq_disable_event = ;
  172. p->hardirq_context = ;
  173. p->softirq_context = ;
  174. #endif
  175. #ifdef CONFIG_LOCKDEP
  176. p->lockdep_depth = ; /* no locks held yet */
  177. p->curr_chain_key = ;
  178. p->lockdep_recursion = ;
  179. #endif
  180.  
  181. #ifdef CONFIG_DEBUG_MUTEXES
  182. p->blocked_on = NULL; /* not blocked yet */
  183. #endif
  184. #ifdef CONFIG_BCACHE
  185. p->sequential_io = ;
  186. p->sequential_io_avg = ;
  187. #endif
  188.  
  189. /* 初始化子进程的调度优先级和策略,在此并没有将此进程加入到运行队列,在copy_process返回之后加入 */
  190. retval = sched_fork(clone_flags, p);
  191. if (retval)
  192. goto bad_fork_cleanup_policy;
  193.  
  194. /* perf event是一个性能调优工具,具体见 http://blog.sina.com.cn/s/blog_98822316010122ex.html */
  195. retval = perf_event_init_task(p);
  196. if (retval)
  197. goto bad_fork_cleanup_policy;
  198. retval = audit_alloc(p);
  199. if (retval)
  200. goto bad_fork_cleanup_perf;
  201. /* 初始化 p->sysvshm.shm_clist 链表头 */
  202. shm_init_task(p);
  203.  
  204. /* copy_semundo, copy_files, copy_fs, copy_sighand, copy_signal, copy_mm, copy_namespaces, copy_io都是根据clone_flags从父进程做相应的复制 */
  205. retval = copy_semundo(clone_flags, p);
  206. if (retval)
  207. goto bad_fork_cleanup_audit;
  208. retval = copy_files(clone_flags, p);
  209. if (retval)
  210. goto bad_fork_cleanup_semundo;
  211. retval = copy_fs(clone_flags, p);
  212. if (retval)
  213. goto bad_fork_cleanup_files;
  214. /* 判断是否设置 CLONE_SIGHAND ,如果是(线程必须为是),增加父进行的sighand引用计数,如果否(创建的必定是子进程),将父线程的sighand_struct复制到子进程中 */
  215. retval = copy_sighand(clone_flags, p);
  216. if (retval)
  217. goto bad_fork_cleanup_fs;
  218. /* 如果创建的是线程,直接返回0,如果创建的是进程,则会将父进程的信号屏蔽和安排复制到子进程中 */
  219. retval = copy_signal(clone_flags, p);
  220. if (retval)
  221. goto bad_fork_cleanup_sighand;
  222. /*
  223. * 如果是进程,则将父进程的mm_struct结构复制到子进程中,然后修改当中属于子进程有别于父进程的信息(如页目录)
  224. * 如果是线程,则将子线程的mm指针和active_mm指针都指向父进程的mm指针所指结构。
  225. */
  226. retval = copy_mm(clone_flags, p);
  227. if (retval)
  228. goto bad_fork_cleanup_signal;
  229. retval = copy_namespaces(clone_flags, p);
  230. if (retval)
  231. goto bad_fork_cleanup_mm;
  232. retval = copy_io(clone_flags, p);
  233. if (retval)
  234. goto bad_fork_cleanup_namespaces;
  235.  
  236. /*
  237. * 初始化子进程内核栈和thread_struct结构体
  238. * 当进程切换时,进程的硬件上下文一般保存于三个地方: tss_struct(保存进程内核栈地址,I/O许可权限位),thread_struct(大部分非通用寄存器),进程内核栈(通用寄存器)
  239. * copy_thread函数会将父进程的thread_struct和内核栈数据复制到子进程中,并将子进程的返回值置为0(x86返回值保存在eax中,arm保存在r0中,即把eax或者r0所在的内核栈数据置为0)
  240. * copy_thread函数还会将子进程的eip寄存器值设置为ret_from_fork()的地址,即当子进程首次被调用就立即执行系统调用clone返回。
  241. * 所以应用层调用fork()函数后,子进程返回0,父进程返回子进程ID(返回子进程ID在之后代码中会实现)
  242. */
  243. retval = copy_thread(clone_flags, stack_start, stack_size, p);
  244. if (retval)
  245. goto bad_fork_cleanup_io;
  246.  
  247. /* 判断是不是init进程 */
  248. if (pid != &init_struct_pid) {
  249. retval = -ENOMEM;
  250. /* 分配pid */
  251. pid = alloc_pid(p->nsproxy->pid_ns_for_children);
  252. if (!pid)
  253. goto bad_fork_cleanup_io;
  254. }
  255.  
  256. /* 如果设置了CLONE_CHILD_SETTID则将task_struct中的set_child_tid指向用户空间的child_tidptr,否则置空 */
  257. p->set_child_tid = (clone_flags & CLONE_CHILD_SETTID) ? child_tidptr : NULL;
  258. /* 如果设置了CLONE_CHILD_CLEARTID则将task_struct中的clear_child_tid指向用户空间的child_tidptr,否则置空 */
  259. p->clear_child_tid = (clone_flags & CLONE_CHILD_CLEARTID) ? child_tidptr : NULL;
  260.  
  261. #ifdef CONFIG_BLOCK
  262. p->plug = NULL;
  263. #endif
  264. #ifdef CONFIG_FUTEX
  265. p->robust_list = NULL;
  266. #ifdef CONFIG_COMPAT
  267. p->compat_robust_list = NULL;
  268. #endif
  269. INIT_LIST_HEAD(&p->pi_state_list);
  270. p->pi_state_cache = NULL;
  271. #endif
  272. /*
  273. * 如果共享VM或者vfork创建,信号栈清空
  274. */
  275. if ((clone_flags & (CLONE_VM|CLONE_VFORK)) == CLONE_VM)
  276. p->sas_ss_sp = p->sas_ss_size = ;
  277.  
  278. /*
  279. * 系统调用跟踪时应该禁止单步执行
  280. */
  281. user_disable_single_step(p);
  282. clear_tsk_thread_flag(p, TIF_SYSCALL_TRACE);
  283. #ifdef TIF_SYSCALL_EMU
  284. clear_tsk_thread_flag(p, TIF_SYSCALL_EMU);
  285. #endif
  286. clear_all_latency_tracing(p);
  287.  
  288. /* 将子进程的PID设置为分配的PID在全局namespace中分配的值,在不同namespace中进程的PID不同,而p->pid保存的是全局的namespace中所分配的PID */
  289. p->pid = pid_nr(pid);
  290. if (clone_flags & CLONE_THREAD) {
  291. /* 创建的是线程 */
  292. p->exit_signal = -;
  293. /* 线程组的所有线程的group_leader都一致 */
  294. p->group_leader = current->group_leader;
  295. /* 线程组的所有线程的tgid都一致,使用getpid返回的就是tgid */
  296. p->tgid = current->tgid;
  297. } else {
  298. /* 创建的是子进程 */
  299. if (clone_flags & CLONE_PARENT)
  300. p->exit_signal = current->group_leader->exit_signal;
  301. else
  302. p->exit_signal = (clone_flags & CSIGNAL);
  303. p->group_leader = p;
  304. /* tgid与pid一致,所以当创建子线程时,tgid与主线程的一致 */
  305. p->tgid = p->pid;
  306. }
  307.  
  308. /* 初始化页框中脏页数量为0 */
  309. p->nr_dirtied = ;
  310. /* 初始化脏页数量临界值,当脏页数量到达临界值时,会调用balance_dirty_pages()将脏页写入磁盘 */
  311. p->nr_dirtied_pause = >> (PAGE_SHIFT - );
  312. /* 将脏页写入磁盘的开始时间 */
  313. p->dirty_paused_when = ;
  314.  
  315. p->pdeath_signal = ;
  316. /* 初始化线程组链表为空 */
  317. INIT_LIST_HEAD(&p->thread_group);
  318. p->task_works = NULL;
  319.  
  320. /* 到此系统中已经存在此进程(线程),但是它还不能够执行,需要等待父进程对其处理,这里会上锁 */
  321. write_lock_irq(&tasklist_lock);
  322.  
  323. if (clone_flags & (CLONE_PARENT|CLONE_THREAD)) {
  324. /* 创建的是兄弟进程或者相同线程组线程 */
  325. /* 其父进程为父进程的父进程 */
  326. p->real_parent = current->real_parent;
  327. /* 其父进程执行域为父进程的父进程执行域 */
  328. p->parent_exec_id = current->parent_exec_id;
  329. } else {
  330. /* 创建的是子进程 */
  331. /* 父进程为父进程 */
  332. p->real_parent = current;
  333. /* 父进程的执行域为父进程的执行域 */
  334. p->parent_exec_id = current->self_exec_id;
  335. }
  336.  
  337. /* 当前进程信号处理上锁,这里应该是禁止了信号处理 */
  338. spin_lock(&current->sighand->siglock);
  339.  
  340. /*
  341. * seccomp与系统安全有关,具体见 http://note.sdo.com/u/634687868481358385/NoteContent/M5cEN~kkf9BFnM4og00239
  342. */
  343. copy_seccomp(p);
  344.  
  345. /*
  346. * 在fork之前,进程组和会话信号都需要送到父亲结点,而在fork之后,这些信号需要送到父亲和孩子结点。
  347. * 如果我们在将新进程添加到进程组的过程中出现一个信号,而这个挂起信号会导致当前进程退出(current),我们的子进程就不能够被kill或者退出了
  348. * 所以这里要检测父进程有没有信号被挂起。
  349. */
  350. recalc_sigpending();
  351. if (signal_pending(current)) {
  352. /* 包含有挂起进程,错误 */
  353. spin_unlock(&current->sighand->siglock);
  354. write_unlock_irq(&tasklist_lock);
  355. retval = -ERESTARTNOINTR;
  356. goto bad_fork_free_pid;
  357. }
  358.  
  359. if (likely(p->pid)) {
  360. /* 如果子进程需要跟踪,就将 current->parent 赋值给 tsk->parent ,并将子进程插入调试程序的跟踪链表中 */
  361. ptrace_init_task(p, (clone_flags & CLONE_PTRACE) || trace);
  362.  
  363. /* p->pids[PIDTYPE_PID].pid = pid; */
  364. init_task_pid(p, PIDTYPE_PID, pid);
  365.  
  366. /* 如果是子进程(其实就是判断 p->exit_signal 是否大于等于0,创建的是线程的话,exit_signal的值为-1) */
  367. if (thread_group_leader(p)) {
  368. /* p->pids[PIDTYPE_PGID].pid = current->group_leader->pids[PIDTYPE_PGID].pid; PGID为进程组ID,所以直接复制父进程的pgid */
  369. init_task_pid(p, PIDTYPE_PGID, task_pgrp(current));
  370. /* p->pids[PIDTYPE_SID].pid = current->group_leader->pids[PIDTYPE_SID].pid; SID为会话组ID,当没有使用setsid()时,子进程的sid与父进程一致 */
  371. init_task_pid(p, PIDTYPE_SID, task_session(current));
  372.  
  373. /* return pid->numbers[pid->level].nr == 1; 判断新进程是否处于一个新创建的namespace中(新进程所在的新namespace中的pid会为1,以此判断) */
  374. if (is_child_reaper(pid)) {
  375. /* 将当前namespace的init进程设置为此新进程 */
  376. ns_of_pid(pid)->child_reaper = p;
  377. p->signal->flags |= SIGNAL_UNKILLABLE;
  378. }
  379.  
  380. p->signal->leader_pid = pid;
  381. p->signal->tty = tty_kref_get(current->signal->tty);
  382.  
  383. /* 将此进程添加到父进程的子进程链表 */
  384. list_add_tail(&p->sibling, &p->real_parent->children);
  385. /* 将此进程task_struct加入到task链表中 */
  386. list_add_tail_rcu(&p->tasks, &init_task.tasks);
  387. /* 将新进程描述符的pgid结构插入pgid_hash */
  388. attach_pid(p, PIDTYPE_PGID);
  389. /* 将新进程描述符的sid结构插入sid_hash */
  390. attach_pid(p, PIDTYPE_SID);
  391. /* 当前cpu进程数量加1 */
  392. __this_cpu_inc(process_counts);
  393. } else {
  394. /* 创建的是线程,这里的处理导致了线程会共享信号 */
  395. current->signal->nr_threads++;
  396. atomic_inc(&current->signal->live);
  397. atomic_inc(&current->signal->sigcnt);
  398. /* 将新线程的thread_group结点加入到线程组的领头线程的thread_group链表中 */
  399. list_add_tail_rcu(&p->thread_group,
  400. &p->group_leader->thread_group);
  401. /* 将新线程的thread_node结点加入的新线程的signal->thread_head中 */
  402. list_add_tail_rcu(&p->thread_node,
  403. &p->signal->thread_head);
  404. }
  405. /* 将新进程描述符的pid结构插入pid_hash */
  406. attach_pid(p, PIDTYPE_PID);
  407. /* 当前系统进程数加1 */
  408. nr_threads++;
  409. }
  410.  
  411. /* 已创建的进程数量加1 */
  412. total_forks++;
  413. /* 释放当前进程信号处理锁 */
  414. spin_unlock(&current->sighand->siglock);
  415. syscall_tracepoint_update(p);
  416. /* 释放tasklist_lock锁 */
  417. write_unlock_irq(&tasklist_lock);
  418.  
  419. /* 将新进程与proc文件系统进行关联 */
  420. proc_fork_connector(p);
  421. cgroup_post_fork(p);
  422. /* 如果创建的是线程,释放此锁 */
  423. if (clone_flags & CLONE_THREAD)
  424. threadgroup_change_end(current);
  425. perf_event_fork(p);
  426.  
  427. trace_task_newtask(p, clone_flags);
  428. uprobe_copy_process(p, clone_flags);
  429.  
  430. /* 返回新进程的task_struct结构 */
  431. return p;
  432.  
  433. /* 以下为执行期间的错误处理 */
  434. bad_fork_free_pid:
  435. if (pid != &init_struct_pid)
  436. free_pid(pid);
  437. bad_fork_cleanup_io:
  438. if (p->io_context)
  439. exit_io_context(p);
  440. bad_fork_cleanup_namespaces:
  441. exit_task_namespaces(p);
  442. bad_fork_cleanup_mm:
  443. if (p->mm)
  444. mmput(p->mm);
  445. bad_fork_cleanup_signal:
  446. if (!(clone_flags & CLONE_THREAD))
  447. free_signal_struct(p->signal);
  448. bad_fork_cleanup_sighand:
  449. __cleanup_sighand(p->sighand);
  450. bad_fork_cleanup_fs:
  451. exit_fs(p); /* blocking */
  452. bad_fork_cleanup_files:
  453. exit_files(p); /* blocking */
  454. bad_fork_cleanup_semundo:
  455. exit_sem(p);
  456. bad_fork_cleanup_audit:
  457. audit_free(p);
  458. bad_fork_cleanup_perf:
  459. perf_event_free_task(p);
  460. bad_fork_cleanup_policy:
  461. #ifdef CONFIG_NUMA
  462. mpol_put(p->mempolicy);
  463. bad_fork_cleanup_threadgroup_lock:
  464. #endif
  465. if (clone_flags & CLONE_THREAD)
  466. threadgroup_change_end(current);
  467. delayacct_tsk_free(p);
  468. module_put(task_thread_info(p)->exec_domain->module);
  469. bad_fork_cleanup_count:
  470. atomic_dec(&p->cred->user->processes);
  471. exit_creds(p);
  472. bad_fork_free:
  473. free_task(p);
  474. fork_out:
  475. return ERR_PTR(retval);
  476. }

流程图

小结

  copy_process作为do_fork的主心骨,其流程并不复杂,只是每一步调用的初始化函数都非常精妙,涉及到大量的内知识和代码,这里为了篇幅着想就不继续往细节分析了,会在之后的文章中慢慢补全其中的知识和自己的理解。整篇文章读下来,其实copy_process的核心就是初始化task_struct结构体供新进程(线程)使用,并为其分配独有的pid,最后将其加入到运行队列中。而至于为什么应用层调用fork()会进行两次返回,原理就是在内核栈中,在copy_thread函数中父进程将其内核栈复制到子进程中,把子进程被调度后执行的第一条语句设置为do_fork()返回,并把保存返回值的寄存器值(一般返回值保存在eax(ARM是r0),而这些通用寄存器值保存在内核栈中,当父进程调用后copy_thread函数会进行进程切换,会把这些保存于内核栈的寄存器值还原到寄存器中)置为0,所以子进程的返回值为0,而父进程会继续执行copy_thread函数之后的初始化,最后返回子进程的pid(实际上是tgid)。

线程独占和共享的资源

线程独有的内容包括:

  • PID(进程的所有子线程的tgid是一样的)
  • 寄存器组的值
  • 线程的栈(包括内核栈)
  • 错误返回码
  • 线程的信号屏蔽码

线程与父进程共享的内容包括:

  • 代码段(用户线程的整个mm_struct指向父进程的mm_struct, 而内核线程的mm_struct为NULL, 会使用run_queue->prev_mm, 也就是前一个切换出去的进程的mm_struct, 所以也有了lazy_tlb, 也就不需要使tlb无效)
  • 进程的公有数据(利用这些共享的数据,线程很容易的实现相互之间的通讯)
  • 打开的文件描述符
  • 信号的处理函数
  • 进程的当前目录
  • 进程用户 ID 与进程组 ID

关于linux系统如何实现fork的研究(二)的更多相关文章

  1. 关于linux系统如何实现fork的研究(二)【转】

    转自:http://www.aichengxu.com/linux/7166015.htm 本文为原创,转载请注明:http://www.cnblogs.com/tolimit/ 引言 前一篇关于li ...

  2. 关于linux系统如何实现fork的研究(一)

    引言     fork函数是用于在linux系统中创建进程所使用,而最近看了看一个fork()调用是怎么从应用到glibc,最后到内核中实现的,这片文章就聊聊最近对这方面研究的收获吧.我们主要聊聊从g ...

  3. 关于linux系统如何实现fork的研究(一)【转】

    转自:http://www.aichengxu.com/linux/4157180.htm 引言 fork函数是用于在linux系统中创建进程所使用,而最近看了看一个fork()调用是怎么从应用到gl ...

  4. 基于Linux系统WINE虚拟机技术的研究

    650) this.width=650;" onclick="window.open("http://blog.51cto.com/viewpic.php?refimg= ...

  5. Linux系统编程-----进程fork()

    在开始之前,我们先来了解一些基本的概念: 1. 程序, 没有在运行的可执行文件 进程, 运行中的程序 2. 进程调度的方法: 按时间片轮转 先来先服务 短时间优先 按优先级别 3. 进程的状态: 就绪 ...

  6. 【转】LINUX系统I/O复用技术之二:poll() -- 不错

    原文网址:http://www.cnblogs.com/alyssaCui/archive/2013/04/01/2993886.html poll poll或select为大部分Unix/Linux ...

  7. Linux From Scratch(从零开始构建Linux系统,简称LFS)(二)

    七. 构建临时系统 1. 通用编译指南 a. 确认是否正确设置了 LFS 环境变量 echo $LFS b. 假定你已经正确地设置了宿主系统需求和符号链接 c. 对于每个软件包: (1). 确保解压软 ...

  8. linux系统编程之文件与io(二)

    今天继续学习文件与io,话不多说,开始进入正题: 文件的read和write系统调用: 说明:函数中出现在size_t和ssize_t是针对系统定制的数据类型:     下面以一个实现文件简单拷贝的示 ...

  9. Linux系统调优——Memory内存(二)

    (1).查看Memory(内存)运行状态相关工具 1)free命令查看内存使用情况 [root@youxi1 ~]# free -m //-m选项,以MB为单位显示 total used free s ...

随机推荐

  1. 基于devkit8600的2011.04版uboot启动代码Start.s分析

    /* * armboot - Startup Code for OMAP3530/ARM Cortex CPU-core * * Copyright (c) 2004 Texas Instrument ...

  2. Python学习教程(learning Python)--1.1Python程序设计流程

    Python程序设计与其他高级语言程序设计流程基本一致     step1 程序设计     step2 编写Python代码     setp3 Python语句语法纠错     step4 测试程 ...

  3. 文件系统 第八次迭代 VFS相关说明

    麻烦访问evernote链接 http://www.evernote.com/shard/s133/sh/53e5b5ac-1192-4910-8bd5-6886218562af/59516c32a5 ...

  4. 微信支付开发h5发起支付再次签名,返回给h5前端

    注意:参数区分大小写.

  5. ios中如何计算(页数,行数,等等的算法)

    页数 = (总个数 + 每页最大显示个数 - 1) / 每页显示最大的个数

  6. shell 编程基础

    1 创建shell脚本文件 要创建一个shell脚本文件,必须在第一行指定要使用的shell,其格式为: #! /bin/bash 接着加上该shell文件的注释,说明该脚本文件用来干什么,有谁创建, ...

  7. ASP.NET Web API 2 对 CORS 的支持

    CORS概念 跨域资源共享 (CORS) 是一种万维网联合会 (W3C) 规范(通常被认为是 HTML5 的一部分),它可让 JavaScript 克服由浏览器施加的同域策略安全限制. 所谓同域策略, ...

  8. ggplot2 学习笔记 (持续更新.....)

    1. 目前有四种主题 theme_gray(), theme_bw() , theme_minimal(),theme_classic() 2. X轴设置刻度 scale_x_continuous(l ...

  9. 第2章 HelloWorld

    ----------------------------------------- 2-2   在设置应用图标的时候,一定要注意添加的图片一定是.ico 的要求格式(32*32像素). 可以在网上下载 ...

  10. 28335 sci fifo send

    #include "DSP2833x_Device.h"#include "DSP2833x_Examples.h"char buf[]={0x30,0x32, ...