fork出来的子进程最好总是用_exit退出

摘要

fork家族函数（fork, vfork）所创建的子进程最好用_exit()退出，不管是通过 man vfork还是通过看相关网站都能得到这一结论。本文主要介绍一些案例来说明使用 exit()函数退出进程会引起弊病。

正文

linux下man vfork可以看到这样一句话:

The child must not return from the current function or call exit(), but may call _exit().

下面举几个因使用exit从fork出来的子进程退出而导致各种蛋疼的例子

atexit()掉包返回值

    #include <stdio.h>
    #include <stdlib.h>
    void end(void)
    {
        exit(-1);
    }
    int main()
    {
        int pid = 0;
        atexit(end);
        pid = fork();
        if (pid == 0) {
            exit(0);
        } else if (pid > 0) {
            int status = 0;
            wait(&status);
            printf("%d\n", status);
        }

        return 0;
    }

大家猜它输出什么？有的同学可能一下子就看出应该输出0，headool曾经也这么相信爱卿。实际上它输出为65280((unsigned char)-1 * 256）。现在headool带你走进科学: 

1. main函数进来不久，程序用atexit将end设置成收尾函数（headool自创名词， 它在main函数return或exit()之后被调用）；
2. 接着fork，进程一分为二；
3. 父进程 等待的子进程退出。子进程exit()退出后调用收尾函数end()，再次调用exit(-1)（ 不会再递归调用end()）。

退出码本来是妥妥的0，现在被调包成-1。

这样的exit，能靠谱吗？把它换成_exit(头文件unistd.h)或_Exit(头文件 stdlib.h)试试。

不要以为只有C语言有这问题，python有这问题，perl估计也有（这个headool没试过）。 python中解决此问题有对应的os._exit，perl中有对应的POSIX::_exit。

伤不起的printf

下面的程序输出什么？

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int pid = 0;
    printf("headool");
    pid = fork();
    if (pid == 0) {
        exit(0);
    } else if (pid > 0) {
        int status = 0;
        wait(&status);
    }
    return 0;
}

和直觉相反，它输出为： headoolheadool（没有回车）

理解上一结果需要知道以下几个unix的事实：

• fork是父子进程间的全拷贝（写时才复制），包括io缓存数据。
• printf所打印的数据会经过行缓冲，只有在遇到\n时才会真正刷到文件(stdout)。
• exit时进程所有文件将关闭，所有缓存数据会因此刷到文件。

明白上一例子到底怎么回事了吧。怎么办？将exit换成_exit!

最后说一个看上去更离奇的例子，它stdout的结果和重定向到文件里的不一样，但exit 换成_exit后天下又重新太平。

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int pid = 0;
    printf("headool\n");//较上个示例程序仅仅加了一个\n
    pid = fork();
    if (pid == 0) {
        exit(0);
    } else if (pid > 0) {
        int status = 0;
        wait(&status);
    }
    return 0;
}

其中的原因以后再细说，查查setvbuf函数吧。 headool提醒你：用fork，记得_exit。