A pessimist sees the difficulty in every opportunity; an optimist sees the oppertunity in every difficulty.--------悲观主义者在每个机会里都看到困难; 乐观主义者在每次困难里都看到机会。
1, 正常进程
-
正常情况下,子进程是通过父进程创建的,子进程再创建新的进程。
-
子进程的结束和父进程的运行是一个异步过程,即父进程永远无法预测子进程到底什么时候结束。 当一个进程完成它的工作终止之后,它的父进程需要调用wait()或者waitpid()系统调用取得子进程的终止状态。
unix提供了一种机制可以保证只要父进程想知道子进程结束时的状态信息, 就可以得到:在每个进程退出的时候,内核释放该进程所有的资源,包括打开的文件,占用的内存等。 但是仍然为其保留一定的信息,直到父进程通过wait / waitpid来取时才释放。
保存信息包括
:
1, 进程号 the process ID
2, 退出状态 the termination status of the process
3, 运行时间 the amount of CPU time taken by the process等
2, 孤儿进程
一个父进程退出,而它的一个或多个子进程还在运行,那么那些子进程将成为孤儿进程。孤儿进程将被init进程(进程号为1)所收养,并由init进程对它们完成状态收集工作。
2.1 慈父init进程的出现
每一个进程都应该有一个独一无二的父进程,init进程就是这样的一个“慈父”,Linux内核中所有的子进程在变成孤儿进程之后都会被init进程“领养”,这也意味着孤 儿进程的父进程终会变成init进程。
-
init将会以父进程的身份对僵尸状态的子进程进行处理。
Linux内核在启动的后阶段会创建init进程来执行程序/sbin/init,该进程是系统运行的第一个进程,进程号为 1,称为 Linux 系统的初始化进程,该进程会创建其他子进程来启动不同写系统服务,而每个服务又可能创建不同的子进程来执行不同的 程序。所以init进程是所有其他进程的“祖先”,并且它是由Linux内核创建并以root的权限运行,并不能被杀死。Linux 中维护 着一个数据结构叫做 进程表,保存当前加载在内存中的所有进程的有关信息,其中包括进程的 PID(Process ID)、进程的状态、 命令字符串等,操作系统通过进程的 PID 对它们进行管理,这些 PID 是进程表的索引
。 -
下图中的第一个进程就是init进程
3, 僵尸进程
一个进程使用fork创建子进程,如果子进程退出,而父进程并没有调用wait或waitpid获取子进程的状态信息,那么子进程的进程描述符仍然保存在系统中。这种进程称之为僵尸进程。
注意
:
- 1, 僵尸进程是一个进程必然会经过的过程:这是每个子进程在结束时都要经过的阶段。
- 2, 如果子进程在exit()之后,父进程没有来得及处理,这时用ps命令就能看到子进程的状态是“Z”。如果父进程能及时 处理,可能用ps命令就来不及看到子进程的僵尸状态,但这并不等于子进程不经过僵尸状态。
- 3, ps命令将僵死 进程的状态打印为Z。
3.1 僵尸进程的危害:
如果进程不调用wait / waitpid的话, 那么保留的那段信息就不会释放,其进程号就会一直被占用,但是系统所能使用的进程号是有限的,如果大量的产生僵死进程,将因为没有可用的进程号而导致系统不能产生新的进程。
3.2 解决方法
-
外部消灭:
通过kill发送SIGTERM或者SIGKILL信号消灭产生僵尸进程的进程,它产生的僵死进程就变成了孤儿进程,这些孤儿进程会被init进程接管,init进程会wait()这些孤儿进程,释放它们占用的系统进程表中的资源 -
内部解决:
1、
当一个进程正常或异常退出时,内核就会向其父进程发送SIGCHLD信号。因为子进程退出是一个异步事件,所以这种信号也 是内核向父进程发送的一个异步通知。
父进程可以选择忽略该信号,
或者提供一个该信号发生时即将被执行的函数,在信号处理函数中调用wait进行处理僵尸进程。
2、
fork两次,原理是将子进程成为孤儿进程,从而其的父进程变为init进程,通过init进程可以处理僵尸进程。
4, wait()和waitpid()
pid_t wait(int *status);
pid_t waitpid(pid_t pid, int *status, int options);
如果子进程已经终止,并且是一个僵死进程,则wait立即返回该子进程的状态。
在一个子进程终止前,wait使其调用者阻塞,而waitpid有一选项可使调用者不用阻塞。
wait函数只是waitpid函数的一个特例。
waitpid并不等待在其调用的之后的第一个终止进程,他有若干个选项,可以控制他所等待的进程。
- 我们在编写多进程程序时,调用wait()或waitpid()来解决僵尸进程的问题。