linux内核设计与实现 LINUX内核源代码情景分析( 二 ) _生活百科

3. 进程创建3.1 基本概念

3.2 写时拷贝（COW）

3.3 fork函数

linux通过clone()系统调用实现fork(), 这个调用通过参数标识（很多种类型）指明需要共享的资源
clone内部调用do_fork完成主要工作(kernel/fork.c)
do_fork内部调用copy_process，然后让进程运行
copy_process调用过程：调用dup_task_struct为新进程创建内核栈，thread_info结构和task_struct，这些值与当前进程相同，此时描述符完全相同检查系统拥有的进程数是否超过限制将很多成员重置设置状态为TASK_UNINTERRUPTIBLE保证不会被运行调用copy_flags以更新task_struct的flags成员调用get_pid获取新的pid 根据参数标识，拷贝或共享打开的文件，文件系统信息，信号处理函数，进程地址空间，命名空间等。一般情况下，这些资源是线程共享的父子进程平分时间片扫尾工作，并返回指向子进程的指针
新创建的进程被唤醒并让其投入运行，一般优先子进程首先执行

3.4 vfork函数

4. 线程在linux中的实现4.1 liunx线程概述

4.2 linux线程创建

线程的创建和普通进程创建类型，只不过调用clone时需要传递一些参数标志，指明需要共享的资源
参数标志说明： CLONE_VM：父子进程共享地址空间 CLONE_SIGHAND：父子进程共享信号处理函数 CLONE_THREAD：父子进程放入相同线程组 CLONE_FS：父子进程共享文件系统信息 CLONE_FILES：共享打开的文件 …

4.3 内核线程

4.4 进程终结释放资源

进程终结时，内核必须释放它所占有的资源，并通知父进程
结束可以是正常，异常，还可以注册终止清理函数
最终结束会调用do_exit（kenel/exit.c），完成的工作包括：将task_struct的标志成员设置为PF_EXITING 如果进程会计功能开启，会调用acct_process输出统计信息调用_exit_mm函数放弃进程占用的mm_struct，如果没有被共享就彻底释放调用sem_exit 。如果排队等待IPC信号，则离开队列调用__exit_files:递减文件描述符；__exit_fs:递减文件系统数据；exit_namespace：名字空间引用计数；exit_sighand：信号处理函数引用计数，如果某个降为0，则可释放 task_struct的exit_code设置退出代码调用exit_notify向进程发送信号，父进程修改为其他线程或init进程，进程状态设置为TASK_ZOMBLE（僵死，不被调度）最后，调用schedule切换到其他进程
调用完do_exit，与进程相关的所有资源都被释放了，它所占有的资源只剩报错thread_info的内核栈和保存task_struct的那一小片slab，存在的唯一目的就是向父进程提供信息。

删除进程描述符