fork()的一道题

今天看博客的时候发现了这篇文章，作为最近有意向的的Linux，还是看了下，发现自己对fork()的理解确实是汗颜，硬是没弄明白，如下：

自己的分析稍后给出。。。。

下边原文：链接

#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;

}

#include<stdio.h>

#include<sys/types.h>

#include<unistd.h>

int main(void)

{

    int i;

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

    {

        fork();

        printf("_\n");

    }

    return 0;

}

    fork()创建的新进程成为子进程。一次调用，两次返回，子进程的返回值是0，而父进程的返回值是新子进程的进程ID。

    C程序由正文段、初始化数据段、非初始化数据段、堆和栈组成。子进程获得父进程的数据段、堆和栈的副本，即复制而并非共享，并不包括正文段，但父子进程共享正文段。

    ！！！子进程和父进程继续执行fork()调用之后的指令。

    标准I/O库提供缓冲的目的是尽可能的减少使用read和write调用的次数。

    标准I/O缓冲有三种： 全缓冲、行缓冲和不带缓冲。行缓冲由换行符进行冲洗。

     

 

  第二层child执行时，复制父进程，此时 缓冲区内无数据；因为第二层左子树父进程的执行时，因为没有换行符冲洗缓冲区，缓冲区内有一个“_”，此时第三层的fork()调用时，会复制此缓冲区，当执行完程序返回时，会冲洗缓冲区，即第三层第 二个子进程会输出两个“_”；同理，第三层第 四个子进程也会输出两个“_”。加起来有8个“_”。

    其实上图分支是假象，因为没有冲洗过缓冲区，故8个“_”分四次打印出来：第三层， 第一个分支执行完打印2个“_”，因为其存入缓冲区2个“_”； 第二个打印2个“_”,因为其自身产生一个“_”，同时冲洗复制父进程缓冲区而产生一个“_”； 第三个分支执行完打印2个“_”，因为第二层child压入缓冲区1个“_”，其左子树parent压入缓冲区一个“_”； 第四个打印2个“_”,因为其自身产生一个“_”，同时冲洗复制父进程缓冲区而产生一个“_”。

      现在作假设：有第四层，将第三层分别编号为1、2、3、4，第四层第一个进程的左分支父进程为11，第一个进程的右分支子进程为12。11将压入缓冲区一个“_”，此时将打印三个“_”，12将复制之前的缓冲区，即复制两个“_”，加上自身产生一个“_”，也打印三个“_”。同理21也将压入缓冲区一个“_”，加上之前缓冲区的两个“_”，将打印三个；22将复制之前的缓冲区，即复制两个“_”，加上自身产生一个“_”，也打印三个“_”。加上31、32、41、42，一共8路，每路3个，将打印24个“_”。此节需认真领会。

 

    因为有换行符冲洗缓冲区，故每个进程打印一次“_”。即6个“_”。但是，若不是交互式，将其执行结果输入至一个文件，就没有换行符冲洗缓冲区，此时将打印8个“_”。