当fork()遇上了printf()

题目：请问下面程序一共输出多少个“-”？

#include <stdio.h>

#include <sys/types.h>

#include <unistd.h>

 

int main( void )

{

    int i;

    for (i=0; i<2; i++){

       fork();

       printf ( "-" );

    }

 

    return 0;

}

对fork()比较熟悉的人可能会很容的看出来输出是六个“-”，但是该程序实际输出是八个“-”。

首先说一下fork()的特性：

      1：fork()是Unix下自身进程创建子进程的系统调用，调用后子进程得到的返回值为0，父进程得到子进程的pid。

      2：在fork()调用处父进程空间会复制到子进程，包括：指令、调用值、栈、环境变量、缓冲区等。

该程序会输出8个“-”正是因为printf()有缓冲区，printf(“-”)把“-”放到缓存中并没有真正的输出，在fork()的时候缓存区被复制到子进程中，所以就多了两个变成了8个而不是6个。

众所周知，Unix的设备有块设备和字符设备之分，块设备是一块一块数据存储的设备，字符设备是一个字符一个字符数据存储的设备，磁盘、内存都是块设备，而键盘、串口等是字符设备。块设备一般都有缓存，字符设备一般都没有缓存。stdout是块设备，stderr则不是。

如果将上面那条printf()语句改为printf("-\n");

或者是

printf("-");

fflush(stdout);

结果就是6个而不是8个了。

因为程序遇到“\n”，或是EOF，或是缓中区满，或是文件描述符关闭，或是主动flush，或是程序退出，就会把数据刷出缓冲区。需要注意的是，标准输出是行缓冲，所以遇到“\n”的时候会刷出缓冲区，但对于磁盘这个块设备来说，“\n”并不会引起缓冲区刷出的动作，那是全缓冲，你可以使用setvbuf来设置缓冲区大小，或是用fflush刷缓存。

我们将程序改写一下可以看的更清楚一些：

#include <stdio.h>

#include <sys/types.h>

#include <unistd.h>

int main( void )

{

    int i;

    for (i=0; i<2; i++){

       fork();

       printf ( "ppid=%d, pid=%d, i=%d \n" , getppid(), getpid(), i);

    }

    sleep(10);

    return 0;

}




输出如下：

ppid=7723, pid=6318, i=0

ppid=7723, pid=6318, i=1

ppid=6318, pid=6319, i=0

ppid=6318, pid=6319, i=1

ppid=6318, pid=6320, i=1

ppid=6319, pid=6321, i=1

示意图如下：（颜色相同的为同一进程）




 

 

对于printf(“-”);这个语句，我们就可以很清楚的知道，哪个子进程复制了父进程标准输出缓中区里的的内容，而导致了多次输出了。如下图所示，就是黑边框那两个子进程。

那么，如果将printf()和fork()这两句顺序调换会怎样呢？

对于printf("-")的情况，由于“-”在缓冲区中没有实际输出所以printf()和fork()的顺序调换没有影响，都是8个。

对于printf("-\n")的情况，因为有实际输出调换顺序printf()在前，fork()在后输出为3个“-”。

 如果语句为 printf("-\n")，并且重定向到文件则输出为8个“-”，这是因为：

输出到文件时标准I/O的stdout是完全缓冲的，也就是换行不会引起flush，只有显示的调用fflush()或者exit()时才会flush缓冲。如果用stderr（默认不缓冲）或者用setvbuf令stdout变为不缓冲，或者调用write，加不加\n，是否重定向到文件得到结果都一样。