8.1 在图8-3程序中,用exit调用替换 _exit ,是否可能使标准输出关闭,使printf返回-1?
#include "apue.h"
int globvar = 6; /* external variable in initialized data */
int
main(void)
{
int var; /* automatic variable on the stack */
pid_t pid;
var = 88;
printf("before vfork\n"); /* we don't flush stdio */
if ((pid = vfork()) < 0) {
err_sys("vfork error");
} else if (pid == 0) { /* child */
globvar++; /* modify parent's variables */
var++;
_exit(0); /* child terminates */
}
/* parent continues here */
printf("pid = %ld, glob = %d, var = %d\n", (long)getpid(), globvar,
var);
exit(0);
}
在ubuntu18中这样的改变似乎并不会影响输出,仍然能够正确的输出。
当在子进程exit(0)前加入fclose(stdout)后,再打印出printf的返回值,结果如下:
由结果可知,当模拟exit(0)关闭了标准输出流后,printf函数将会输出错误。
8.2 在子程序中调用vfork会发生什么?
- 调用前:主进程将main函数的一些信息压栈,并进入子程序执行,同时子程序数据开始入栈。
- 调用时:进程复制一个副本指针,其代表子进程的运行状况,其程序空间为父进程空间。此时子进程继续运行,父进程等待子进程结束。
- 子进程结束前:子进程运行完子程序,子程序代码和数据出栈,并返回main程序,此时属于父进程栈中信息已经发生了改变,即父进程压栈的子程序数据已经弹出。
- 子进程结束后:父进程在子程序中继续运行(能继续运行?,此时栈中数据已经发生改变)。
这里可以思考,如果我们在子进程运行时改变了父进程所属空间(入栈的数据),是否会导致父进程奔溃(父进程返回时栈空间数据对不上)?
试验代码如下:
#include"apue.h"
static void f1(void), f2(void);
int main(void)
{
f1();
f2();
_exit(0);
}
static void f1(void)
{
pid_t pid;
if((pid = vfork() < 0))
err_sys("vfork error!");
}
static void f2(void)
{
char buf[1000];
int i;
for(i=0; i<sizeof(buf); i++)
buf[i] = 0;
}
运行结果也如预期一样发生了错误:
8.4 多进程执行多次打印程序会出现数据混乱问题
这里的原因就是所谓的一个程序的生命周期:程序起始于父进程开始运行,结束于父进程终止。如果在多进程环境中父进程终止但子进程还在运行,系统会认为此程序已经完成。**但是,实际上子进程可能还未结束,仍在输出。**这时,就会出现输出混乱的问题。
8.6 僵尸进程
僵尸进程是指进程调用了exit函数,但父进程未对其进行终止处理,导致其占用一个进程项,虽然其没占任何资源也无法调度,但其实际存在于进程表中。