Linux操作系统进程管理.ppt

《Linux操作系统进程管理.ppt》由会员分享，可在线阅读，更多相关《Linux操作系统进程管理.ppt（30页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第第1010章章 Linux Linux操作系统操作系统本章内容：本章内容：进程管理进程管理,存储管理存储管理,文件系统，文件系统，设备管理，中断、异常及系统调设备管理，中断、异常及系统调 用，进程通信。用，进程通信。10.110.1 进程管理 内容内容 进程描述符；进程描述符；进程的调度时机及调度算法；进程的调度时机及调度算法；进程的创建与消亡。进程的创建与消亡。10.1.1 10.1.1 进程与进程描述符进程与进程描述符 1.1.进程概念进程概念 2.2.进程描述符进程描述符(进程控制块进程控制块)由一个由一个task_structtask_struct结构表示。结构表示。task_str

2、ucttask_struct结构是一个复杂的结构，占一千多字节，其各个结构是一个复杂的结构，占一千多字节，其各个成员用来准确描述进程在各方面的信息成员用来准确描述进程在各方面的信息.主要有以主要有以下几个部分：下几个部分：LinuxLinux进程与传统进程与传统UNIXUNIX进程的概念没有多进程的概念没有多大区别；大区别；没有真正意义上的线程概念。但没有真正意义上的线程概念。但LinuxLinux通通过过cloneclone（）（）系统调用支持轻权进程系统调用支持轻权进程;Linux Linux还支持内核线程的概念，内核线程还支持内核线程的概念，内核线程永远在核心态运行，没有用户空间。永远在

3、核心态运行，没有用户空间。(1)(1)进程标识进程标识 包包括括进进程程的的标标识识号号（pidpid）、进进程程的的用用户户标标识识、进程的组标识等。每个进程的标识号是惟一的。进程的组标识等。每个进程的标识号是惟一的。(2)(2)调度相关信息调度相关信息 这这部部分分内内容容与与进进程程调调度度有有关关,一一部部分分信信息息见见后后面面的的第第5 5节节。进进程程描描述述符符中中还还需需要要有有结结构构保保存存当当进进程程被被换换出出时时寄寄存存器器的的状状态态，该该进进程程恢恢复复运运行行时时便便可从正确的状态开始继续运行。可从正确的状态开始继续运行。(3)(3)进程虚拟空间信息进程虚拟空

4、间信息 LinuxLinux的的进进程程都都在在自自己己的的私私有有地地址址空空间间中中运运行行，task_structtask_struct的的成成员员mmmm指指向向一一个个mm_structmm_struct结结构构，该结构描述进程空间。该结构描述进程空间。(4)(4)信号处理信息信号处理信息 LinuxLinux支支持持传传统统的的UNIXUNIX信信号号语语义义。该该部部分分记记录录了信号的处理函数及信号掩码等信息。了信号的处理函数及信号掩码等信息。(5)(5)文件相关信息文件相关信息 包含进程与文件系统交互的信息。这里主要分包含进程与文件系统交互的信息。这里主要分为两部分，一部分描

5、述进程进行文件访问时用到为两部分，一部分描述进程进行文件访问时用到的当前目录、根目录信息。另一部分描述被进程的当前目录、根目录信息。另一部分描述被进程正在使用的文件信息，该部分主要有一个正在使用的文件信息，该部分主要有一个filefile结结构数组，数组中的有效项指向某个文件对象。构数组，数组中的有效项指向某个文件对象。(6)(6)记账信息及统计信息记账信息及统计信息 资资源源是是有有限限的的，每每个个进进程程对对每每种种资资源源的的使使用用都都有有一一个个限限值值。另另外外，还还有有统统计计信信息息来来记记录录系系统统需需要的信息，如页面异常次数、要的信息，如页面异常次数、CPUCPU使用时

6、间等。使用时间等。(7)描述进程间关系的指针描述进程间关系的指针 所所有有的的进进程程通通过过一一个个双双向向链链表表链链接接在在一一起起。通过宏通过宏for_each_taskfor_each_task可以对每个进程操作。可以对每个进程操作。指指向向其其父父进进程程、子子进进程程、兄兄弟弟进进程程描描述述符符的的指针。指针。需需要要根根据据pidpid号号能能够够快快速速找找到到进进程程，系系统统以以pidpid为为关关键键字字建建立立了了一一个个哈哈希希表表,哈哈希希函函数数值值相相同同的的进进程程通通过过进进程程描描述述符符的的pidhash_nextpidhash_next和和pidh

7、ash_pprevpidhash_pprev成员链在一起。成员链在一起。10.1.2 10.1.2 核心态与核心栈核心态与核心栈union task_union union task_union struct task_struct task;struct task_struct task;unsigned long stack2048;unsigned long stack2048;LinuxLinux的运行分为两种模式的运行分为两种模式核心态和用核心态和用户态。内核总在核心态下运行，而普通进程户态。内核总在核心态下运行，而普通进程通常在用户模式下运行，只有通过系统调用通常在用户模式下运行，

8、只有通过系统调用才能切换到核心态运行。才能切换到核心态运行。进程拥有两个栈，用户模式栈与核心模式进程拥有两个栈，用户模式栈与核心模式栈，分别在相应模式下使用。进程描述符和栈，分别在相应模式下使用。进程描述符和进程核心栈的空间分配在一起，内核为它们进程核心栈的空间分配在一起，内核为它们分配两个连续的物理页面。分配两个连续的物理页面。因因为为进进程程描描述述符符已已经经占占用用了了1KB1KB多多的的空空间间，所所以以核核心心栈栈的的有有效效空空间间是是6KB6KB多多一一点点，合合理理的的设设计计使使得得这这个个容容量量已已经经足足够够了了。核核心心栈栈与与进进程程描描述述符符如如图图10101

9、 1所示。所示。两个物理页帧两个物理页帧 8KB 8KB进程描述符进程描述符核心模式栈核心模式栈图图10101 1 核心栈与进程描述符核心栈与进程描述符栈自顶向下增长栈自顶向下增长 进程状态及状态转换图进程状态及状态转换图 LinuxLinux的进程状态有五种，它们分别是：的进程状态有五种，它们分别是：TASK_RUNNINGTASK_RUNNING：表表示示进进程程具具备备运运行行的的资资格格，要要么么正正在在运运行行，要要么么就就是是等等待待被被调调度度执执行行。进进程程描描述述符符有有一一个个run_listrun_list成成员员，所所有有处处于于TASK_RUNNINGTASK_RU

10、NNING状状态态的的进进程程都都通通过过该该成成员员链在一起，称之为链在一起，称之为可运行队列可运行队列。TASK_INTERRUPTIBLETASK_INTERRUPTIBLE和和TASK_UNINTERRUP-TASK_UNINTERRUP-TIBLETIBLE：这这两两种种状状态态均均表表示示进进程程处处于于睡睡眠眠状状态态。TASK_INTERRUPTIBLETASK_INTERRUPTIBLE除除了了资资源源满满足足时时可可以以被被唤唤醒醒外外，还还可可以以被被信信号号唤唤醒醒，而而TASK_UNINTERRUPTIBLETASK_UNINTERRUPTIBLE就不行。就不行。TA

11、SK_STOPPEDTASK_STOPPED：进进程程处处于于暂暂停停状状态态，主主要要用用于于调调试试目目的的。如如正正在在运运行行的的进进程程收收到到SIGSTOPSIGSTOP信号将进入信号将进入TASK_STOPPEDTASK_STOPPED状态。状态。TASK_ZOMBIETASK_ZOMBIE：表表示示进进程程已已经经结结束束运运行行并并释释放放了了大大部部分分占占用用的的资资源源，但但task_structtask_struct结构还未被释放。结构还未被释放。10.1.4 10.1.4 进程的切换时机进程的切换时机当前进程放弃当前进程放弃CPUCPU的情况可以分为两种。的情况可以

12、分为两种。一、进程主动地放弃一、进程主动地放弃CPUCPU 这种情况这种情况大体可以分为两类：大体可以分为两类：1.1.隐式地主动放弃隐式地主动放弃CPUCPU。往往是因为需要的资往往是因为需要的资源目前不能获取，如执行源目前不能获取，如执行read(),select()read(),select()等系等系统调用的过程中统调用的过程中,这种情况下的处理过程如下：这种情况下的处理过程如下：1)1)将进程加入合适的等待队列。将进程加入合适的等待队列。2)2)把当前进程的状态改为把当前进程的状态改为TASK_INTERRUTIBLETASK_INTERRUTIBLE或或TASK_UNINTERRU

13、TIBLETASK_UNINTERRUTIBLE。3)3)调用调用schedule()schedule()函数，该函数的执行结果函数，该函数的执行结果往往是当前进程放弃往往是当前进程放弃CPUCPU。4)4)检查资源是否可用，如果不可用，则跳转到检查资源是否可用，如果不可用，则跳转到第第步步.5)5)资源已可用，将该进程从等待队列中移去。资源已可用，将该进程从等待队列中移去。2.2.进进程程显显式式地地主主动动放放弃弃CPUCPU，如如系系统统调调用用sched_yieldsched_yield(),sched_setscheduler(),(),sched_setscheduler(),pa

14、use(pause()及及nanosleepnanosleep（）均均会会导导致致当当前前进进程程让让出出CPUCPU。二、进程被动放弃二、进程被动放弃CPUCPU 两种情形均会导致当前进程描述符的两种情形均会导致当前进程描述符的need_re-need_re-schedsched被置被置1 1。当前进程的时间片已经用完；当前进程的时间片已经用完；刚被唤醒进程的优先级别高于当前进程。刚被唤醒进程的优先级别高于当前进程。进程的调度时机进程的调度时机 进程的调度时机分成两种情形：进程的调度时机分成两种情形：例如，进程被动放弃例如，进程被动放弃CPUCPU的情形。当进程的情形。当进程描述符的描述符的

15、need_reschedneed_resched被置被置1 1时，并不立即时，并不立即直接调用直接调用scheduleschedule（）（）调度函数。而是在随调度函数。而是在随后的某个时刻，当进程从内核态返回用户态后的某个时刻，当进程从内核态返回用户态之前检查之前检查need_reschedneed_resched是否为是否为1 1，如果为，如果为1 1，则调用则调用scheduleschedule（）（）调度函数。调度函数。直接调用直接调用scheduleschedule（）（）调度函数，调度函数，例如进程主动放弃例如进程主动放弃CPUCPU的第一类情形；的第一类情形；间接调用间接调用sc

16、heduleschedule（）。（）。10.1.5 10.1.5 进程的调度算法进程的调度算法 核核心心函函数数是是schedule(schedule(),),该该函函数数的的任任务务是选出一个可运行的进程。是选出一个可运行的进程。1.1.进程描述符有如下成员与调度有关：进程描述符有如下成员与调度有关：1)policy 1)policy 标识进程的调度策略。标识进程的调度策略。SCHED_OTHER SCHED_OTHER 普通进程；普通进程；SCHED_FIFO SCHED_FIFO 实时进程，采用先进先实时进程，采用先进先 出的调度算法；出的调度算法；SCHED_RR SCHED_RR

17、实时进程，采用轮转法实时进程，采用轮转法。2)rt_priority 2)rt_priority 实时进程的优先级实时进程的优先级,普通进普通进 程不使用这个成员程不使用这个成员;3)nice 3)nice 普通进程的优先级普通进程的优先级;4)counter 4)counter 进程目前的进程目前的CPUCPU时间配额。时间配额。2.2.对于普通进程来讲对于普通进程来讲CPUCPU时间的分配是典时间的分配是典型的时分策略。型的时分策略。在某个时刻，运行队列中的每个进程都有一个在某个时刻，运行队列中的每个进程都有一个countercounter值，当所有运行队列中的值，当所有运行队列中的cou

18、ntercounter值都变为值都变为0 0以后，表明一轮已经结束，每个进程的以后，表明一轮已经结束，每个进程的countercounter根根据其据其nicenice重新赋值，开始新的一轮执行过程。拥有重新赋值，开始新的一轮执行过程。拥有CPUCPU的进程每次时钟中断的进程每次时钟中断countercounter值减一。值减一。（）函数执行过程：（）函数执行过程：1)1)检查是否有软中断服务请求，如果有，检查是否有软中断服务请求，如果有，则先执行这些请求。则先执行这些请求。2)2)若当前进程调度策略是若当前进程调度策略是SCHED_RRSCHED_RR，且且 countercounter为为

19、0 0，则将该进程移到可执行进程队列，则将该进程移到可执行进程队列的尾部并对的尾部并对countercounter重新赋值。重新赋值。3)3)检查当前进程的状态，如为检查当前进程的状态，如为 TASK_INTERRUPTIBLETASK_INTERRUPTIBLE，且该进程有信号接收，且该进程有信号接收，则将进程状态置为则将进程状态置为 TASK_RUNNING TASK_RUNNING。4)4)当前进程的状态不是当前进程的状态不是TASK_RUNNINGTASK_RUNNING，则，则将其从可执行进程队列中移出，然后将当前进将其从可执行进程队列中移出，然后将当前进程描述符的程描述符的need

20、_reschedneed_resched恢复成恢复成0 0。5)5)现在进入了函数的核心部分。可运行现在进入了函数的核心部分。可运行进程队列的每个进程都将被计算出一个权值，进程队列的每个进程都将被计算出一个权值，主要是利用主要是利用goodnessgoodness（）函数，讨论见后。（）函数，讨论见后。最终最大的权值保存在变量最终最大的权值保存在变量c c中，与之对应中，与之对应的进程描述符保存在变量的进程描述符保存在变量nextnext中。中。6)6)检查检查c c是否为是否为0 0。若为。若为0 0则表明所有可执则表明所有可执行进程的时间配额都已用完，因而对所有进行进程的时间配额都已用完，

21、因而对所有进程的程的countercounter重新重新“充电充电”，然后重新执行，然后重新执行第第5)5)步。步。7)7)如如果果nextnext进进程程就就是是当当前前进进程程,则则结结束束sheduleshedule()的的运运行行。否否则则进进行行进进程程切切换换，CPUCPU改改由由nextnext进程占据。进程占据。4.goodness（）函数（）函数 goodnessgoodness（）函数计算进程的当前权值。（）函数计算进程的当前权值。该函数的第一个参数是待估进程的描述符。该函数的第一个参数是待估进程的描述符。如果该进程是实时进程，它的权值为如果该进程是实时进程，它的权值为 1

22、0001000rt_priorityrt_priority，10001000是普通进程权值是普通进程权值无法到达的数字，因而实时进程总可以优无法到达的数字，因而实时进程总可以优先得到执行。先得到执行。对于普通进程，它的权值为对于普通进程，它的权值为countercounter20-nice20-nice，如果其又是内核线程，由于无需如果其又是内核线程，由于无需切换用户空间，则将权值加一作为奖励。切换用户空间，则将权值加一作为奖励。10.1.6 10.1.6 进程的创建进程的创建 1.1.进程的起源进程的起源 LinuxLinux最最早早产产生生的的进进程程是是启启动动过过程程中中创创建建出出i

23、dleidle进进程程（不不是是通通过过forkfork（），而而是是编编码码制制作作出出来来)，pidpid号号为为0 0。它它是是创创建建一一个个内内核核线线程程，该该线线程程进进行行一一系系列列初初始始化化动动作作后后最最终终会会执执行行/sbin/init/sbin/init文文件件，执执行行该该文文件件的的结结果果是是运运行行模模式式从从核核心心态态切切换换到到了了用用户户态态，该该线线程程演演变变成成了了用用户户进进程程initinit，pidpid号号为为1 1。initinit进进程程是是一一个个非非常常重重要要的的进进程程，一一切切用用户户态进程都是它的后代进程。态进程都是它

24、的后代进程。新进程的产生模式新进程的产生模式 通通常常forkfork（）创创建建一一个个新新进进程程，然然后后新新进程通过调用进程通过调用execexec系列函数执行真正的任务。系列函数执行真正的任务。函函数数forkfork（）调调用用成成功功的的话话，当当前前进进程程就就拥拥有有了了一一个个子子进进程程。该该函函数数返返回回两两个个值值，其其中中子子进进程程返返回回0 0，父父进进程程返返回回的的是是子子进进程程的的pidpid值。下面是一段示例代码。值。下面是一段示例代码。int main(void)int main(void)pid_t pid;pid_t pid;if(pid=fo

25、rk()0)if(pid=fork()0)printf(fork failedn);printf(fork failedn);exit(1);exit(1);else if(pid=0)/*else if(pid=0)/*子进程执行进入此部分子进程执行进入此部分*/*/execlp(echoall,echoall,(char*)0);execlp(echoall,echoall,(char*)0);else /*else /*父进程父进程*/*/printf(fork successn);printf(fork successn);exit(0);exit(0);3.sys_clone(),s

26、ys_vfork(),sys_fork()3.sys_clone(),sys_vfork(),sys_fork()三个系统调用可以实现创建子进程，这三三个系统调用可以实现创建子进程，这三个系统调用最终都会调用个系统调用最终都会调用do_forkdo_fork（）（）函数完函数完成主要工作。成主要工作。该函数的第一个参数该函数的第一个参数clone_flagsclone_flags可由多可由多个标志位组成，常见的标志位有：个标志位组成，常见的标志位有：CLONE_VM CLONE_VM 子进程父进程共享进程空间子进程父进程共享进程空间;CLONE_FS CLONE_FS 子进程父进程共享文件系统

27、信息子进程父进程共享文件系统信息;CLONE_FILESCLONE_FILES 子进程父进程共享打开的文件子进程父进程共享打开的文件;CLONE_VFORKCLONE_VFORK 如果父进程想使子进程释放空如果父进程想使子进程释放空 间时唤醒它，则置该位。间时唤醒它，则置该位。sys_clonesys_clone（）对对应应的的clone_flagsclone_flags可可能能是是多多个标志位的组合，取决于具体情况。个标志位的组合，取决于具体情况。sys_forksys_fork（）对对 应应 的的 clone_flagsclone_flags值值 是是SIGCHILDSIGCHILD。SI

28、GCHILDSIGCHILD的的作作用用是是子子进进程程终终结结或或暂暂停时给父进程发信号。停时给父进程发信号。sys_vforksys_vfork（）对对 应应 的的 clone_flagsclone_flags值值 是是CLONE_VFORK|CLONE_VM|SIGCHILDCLONE_VFORK|CLONE_VM|SIGCHILD。vforkvfork（）是是一一个个老老的的函函数数调调用用，子子进进程程共共享享父父进进程程的的空空间间，包包括括页页表表，父父进进程程被被挂挂起起直直到到子子进进程程执执行行execexec系系列列函函数数或或子子进进程程退退出出时时。在在合合适适的的场

29、场合合，较较之之forkfork（）时时的的“写写时时拷拷贝贝”策略策略vforkvfork（）（）无疑开销更小。无疑开销更小。4.do_fork()4.do_fork()的执行过程的执行过程 1)1)调调用用alloc_task_structalloc_task_struct（）为为子子进进程程描描述述符符分分配配空空间间。严严格格地地讲讲，此此时时子子进进程程还还未生成。未生成。2)2)把把父父进进程程描描述述符符的的值值全全部部赋赋给给子子进进程程描述符。描述符。3)3)检检查查是是否否超超过过了了资资源源限限制制，如如果果是是，则则结结束束并并返返回回出出错错信信息息。更更改改一一些些

30、统统计计量量的的信息。信息。4)4)修修改改子子进进程程描描述述符符的的某某些些成成员员的的值值使使其其正正确确反反映映子子进进程程的的状状况况，如如进进程程状状态态被被置置成成TASK_UNINTERRUPTIBLETASK_UNINTERRUPTIBLE。5)5)调用调用get_pid()get_pid()函数为子进程得到一个函数为子进程得到一个pidpid号。号。6)6)依次调用依次调用copy_files(),copy_fs(),copycopy_files(),copy_fs(),copy_sighand(),copy_mm()_sighand(),copy_mm()分别复制父进程文

31、件处分别复制父进程文件处理、信号处理及进程空间的信息。以上函数的具理、信号处理及进程空间的信息。以上函数的具体行为取决体行为取决clone_flagsclone_flags参数，例如参数，例如,copy_mm(),copy_mm()时时,如果如果clone_flagsclone_flags包含有包含有CLONE_VM CLONE_VM 标志，则标志，则子进程共享父进程的空间，不会进行复制。子进程共享父进程的空间，不会进行复制。7)7)调用调用copy_thread()copy_thread()初始化子进程的核心初始化子进程的核心模式栈时模式栈时,核心栈保存了进程返回用户空间的上核心栈保存了进程

32、返回用户空间的上文。此处与平台相关，以文。此处与平台相关，以i386i386为例，其中很重要为例，其中很重要的一点是存储寄存器的一点是存储寄存器eaxeax值的位置被置值的位置被置0,0,这个值这个值就执行系统调用后子进程的返回值。就执行系统调用后子进程的返回值。8)8)将将父父进进程程的的当当前前的的时时间间配配额额countercounter分分一一半半给子进程。给子进程。9)9)利用宏利用宏SET_LINKSSET_LINKS将子进程插入所有进程都将子进程插入所有进程都在其中的双向链表。调用在其中的双向链表。调用hash_pidhash_pid（）（）,将子进程将子进程加入相应的加入相应

33、的hashhash队列。队列。10)10)调用调用wake_up_process(),wake_up_process(),将该子进程插入将该子进程插入可运行队列。至此，子进程创建完毕可运行队列。至此，子进程创建完毕,并在可运行并在可运行队列中等待被调度运行。队列中等待被调度运行。11)11)如果如果clone_flagsclone_flags包含有包含有CLONE_VFORK CLONE_VFORK 标志，标志，则将父进程挂起直到子进程释放进程空间。进程则将父进程挂起直到子进程释放进程空间。进程描述符中有一个信号量描述符中有一个信号量vfork_semvfork_sem可以起到将进程可以起到将

34、进程挂起的作用。挂起的作用。12)12)返返回回子子进进程程的的pidpid值值，该该值值就就是是系系统统调调用用后后父进程的返回值。父进程的返回值。10.1.7 10.1.7 进程的销毁进程的销毁1.时机时机 进程运行结束后被销毁最普遍的情况是进程运行结束后被销毁最普遍的情况是,进程进程正常运行结束后显式或隐式调用正常运行结束后显式或隐式调用exitexit（）（）函数。函数。当进程收到某种信号时当进程收到某种信号时，该信号的处理函数该信号的处理函数式结束进程运行并将其销毁。式结束进程运行并将其销毁。例例1 1：kill kill 在不指定信号的情况下，默认信在不指定信号的情况下，默认信号号

35、SIGTERMSIGTERM将发给进程，导致进程结束将发给进程，导致进程结束 例例2 2：用户程序访问了非法空间导致内核向进：用户程序访问了非法空间导致内核向进程发送程发送SIGSEGVSIGSEGV信号，从而导致进程结束运行。信号，从而导致进程结束运行。2.do_exit()2.do_exit()的执行过程的执行过程 进程销毁的最终动作是调用函数进程销毁的最终动作是调用函数do_exit()do_exit()完成完成的。的。1)1)设置标志表明进程正在被销毁。设置标志表明进程正在被销毁。2)2)如果进程在定时器队列或信号量队列中等待，如果进程在定时器队列或信号量队列中等待，则将其移出。则将其

36、移出。3)3)调用调用_exit_mm(),_exit_files(),_exit_mm(),_exit_files(),_exit_fs()_exit_fs()和和exit_sighand()exit_sighand()释放进程所占用的释放进程所占用的各种资源。释放资源的一般先将其共享计数器减一，各种资源。释放资源的一般先将其共享计数器减一，如果此时还有别的进程使用该资源，则将共享计数如果此时还有别的进程使用该资源，则将共享计数器不置为器不置为0 0，此时直接返回。如果为，此时直接返回。如果为0 0才真正释放资才真正释放资源。源。_exit_mm()_exit_mm()的动作是释放进程空间，

37、过程中的动作是释放进程空间，过程中会检测该进程是否由会检测该进程是否由vfork()vfork()创建，如果是，则唤创建，如果是，则唤醒父进程。醒父进程。4)4)设置进程的退出状态，调用设置进程的退出状态，调用exit_notifyexit_notify()()处理处理该进程与其父进程和子进程的各种关系。该进程与其父进程和子进程的各种关系。在该函数中会在该函数中会将该进程状态置为将该进程状态置为TASK_ZOMBIETASK_ZOMBIE。5)5)调用调用scheduleschedule（）调度函数切换到别的（）调度函数切换到别的进程。进程。进程进程 在在do_exitdo_exit（）（）执

38、行后进程处于执行后进程处于TASK_ ZOMBIETASK_ ZOMBIE状态只留下了一个状态只留下了一个task_structtask_struct结构，之所以不结构，之所以不立即释放该结构是因为父进程往往要通过立即释放该结构是因为父进程往往要通过wait(wait()之类的系统调用来检查子进程是否结束，而调之类的系统调用来检查子进程是否结束，而调用之前显然不能让子进程消失得无影无踪。用之前显然不能让子进程消失得无影无踪。父进程通过调用父进程通过调用waitwait（）（）回收回收TASK_ ZOMBIETASK_ ZOMBIE状态子进程的状态子进程的task_structtask_struct结构及结构及pidpid号。号。如果父进程可能先于子进程结束，这时如果父进程可能先于子进程结束，这时initinit进程就变成了子进程的父进程，从而保证进程就变成了子进程的父进程，从而保证task_structtask_struct结构总能得到回收。结构总能得到回收。