linux下的多进程程序的简单剖析

最近在看csapp3e，看到第8章异常控制流。这章会简单的介绍多进程程序，介绍最好的工具就是那个进程图，对于初学有很大的帮助。以下内容为读书心得。

 

• 理解linux多进程程序的关键在于书中强调的那4点，需要结合所有的4条内容才能准确理解多进程。

第1条：fork()函数调用1次，返回两次。一次返回给父进程（调用进程），一次返回给子进程。

以书中的一个例子解释（图8-15）

//图8-15
#include "csapp.h"

/* $begin fork */
/* $begin wasidefork */
int main() 
{
    pid_t pid;
    int x = 1;

    pid = Fork(); //line:ecf:forkreturn
    if (pid == 0) {  /* Child */
        printf("child : x=%d\n", ++x); //line:ecf:childprint
        exit(0);//两段代码唯一的区别
    }

    /* Parent */
    printf("parent: x=%d\n", --x); //line:ecf:parentprint
    exit(0);
}
/* $end fork */
/* $end wasidefork */

运行结果是

 

用户代码不能保证并发的执行顺序（在我的机器中是先执行父进程，再执行子进程）。

得到的进程图是这样的

wait a minute，为什么是这样的，关键还在于那句话，fork()函数调用1次，返回两次。

从fork()函数执行之后，我们就拥有了两个进程，跑的是相同的代码，但是操作的是不同的地址空间。

（这个例子中if条件分支利用返回给父进程和子进程的值不同的特点，让两个进程的逻辑流流向了不同的方向）

还有第3条，相同但是独立的地址空间。

子进程会复制一套父进程的地址空间，二者在内容上是一样的，但是，是各自独立的私有地址空间。

两者拥有完全一致的用户栈、本地变量、堆、全局变量、代码，但是两者是独立的，没有联系，只是内容一样。

所以，再fork之后，两个进程是独立运行（也就是操作系统完成用户模式和内核模式的上下文切换的并发），全局变量和局部变量是独立的，但是跑的代码内容是一样（也就是说，两个进程使用相同的代码操作着各自的私有地址空间）。

 

考虑书中的另一个例子（练习题8.2）。在C代码看来，两者唯一的区别就是在if代码块中一个有exit(0)，另一个没有。

但是这足以改变代码的运行逻辑。

//练习题8.2
#include "csapp.h"

/* $begin fork */
/* $begin wasidefork */
int main() 
{
    pid_t pid;
    int x = 1;

    pid = Fork(); //line:ecf:forkreturn
    if (pid == 0) {  /* Child */
        printf("child : x=%d\n", ++x); //line:ecf:childprint
    }

    /* Parent */
    printf("parent: x=%d\n", --x); //line:ecf:parentprint
    exit(0);
}
/* $end fork */
/* $end wasidefork */

运行结果为

 

对比图8-15的运行结果，我们会发现输出结果中好像父进程的代码多执行了一次。实际上，这条代码是子进程运行的结果。

绘制练习题8.2的进程图就一目了然了。

 

结合两段代码和对应的进程图，可以看出

1、fork函数的给父进程和子进程的返回值的不同改变了父子进程的代码起点。

2、exit(0)完成了进程的终止任务，进而影响了父子进程运行的代码终止位置。