进程的定义
要理解fork()函数首先要明白进程的定义,进程的经典定义就是**一个执行中程序的实例**,我理解的为:**正在执行的程序**
(在现代系统上运行一个程序时,我们会得到一个假象,就好像我们的程序是系统中当前运行的唯一的程序一样。我们的程序好像是独占地使用处理器和内存。处理器就好像是无间断地一条接一条地执行我们程序中的指令。最后,我们程序中的代码和数据好像是系统内存中唯一的对象。这些假象都是通过进程的概念提供给我们的)
获取进程ID
每一个进程都有一个唯一的正数(非零)进程ID(PID),getpid函数返回调用进程的PID。getppid函数返回它的父进程的PID(创建调用进程的进程)。
对于fork()函数理解
- 父进程通过调用fork函数创建一个新的运行的子进程,fork函数调用一次却会返回两次,在我上课所记的笔记中,《深入理解计算机系统》卡内基梅隆大学的相关课件中这样描述fork函数的返回“return
0 to the child process,child’s pid to parent
process”,很好理解,另外当返回值小于0时表示创建失败 - 重点理解(第二点的理解对于解答fork函数相关题目非常重要):新创建的子进程几乎但不完全与父进程相同。子进程得到与父进程用户级虚拟地址空间相同的(但是独立的)一份副本,包括代码和数据段、堆、共享库以及用户栈。同时子进程还获得与父进程任何打开文件描述符相同的副本。子进程和父进程最大的区别在于它们有不同的pid,并且子进程副本的地址空间是独立的。
实例解析
下面以题目实战来加深对fork函数的理解,注意:做fork函数的题目时一定要勤于画图,这样对于题目的理解将更加清晰不易出错
题目解析:在该题中,进程理解图画在了右边,首先x=1,接着执行了fork函数创建了子进程,当Fork()==0时,也就是对于子进程,执行x++后x=2,打印p1:x=2,再执行–x后x=1并打印p2:x=1,最后对于子进程exit(0)正常退出;而对于父进程,由于其虚拟地址空间与子进程独立,所以对于父进程来说x的值一直没变过,直接执行x–后x的值为0并打印p2:x=0,随之exit(0)正常结束父进程
总结:总之,对于fork函数相关题目,一定要明白子进程与父进程初始获得的数据是相同的,但是其虚拟地址空间是独立的,即当在父进程中改变一个变量的值时,子进程中的改变量不会受影响,此外多做题、多画图也能促进更好的理解fork函数