Linux：创建进程 -- fork，到底是什么？

 相信大家在初学进程时，对fork函数创建进程一定会有很多的困惑，比如：

• 1.fork做了什么事情?? 
• 2.为什么fork函数会有两个返回值?
• 3.为什么fork的两个返回值，会给父进程谅回子进程pid，给子进程返回0?
• 4.fork之后:父子进程谁先运行??
• 5.如何理解同一个变量，会有不同的值??

本篇文章将来仔细回答一下这些问题。

目录

1.如何查看进程

2. 通过系统调用创建进程-fork

2.1 初识fork

2.2 fork原理

---

1.如何查看进程

1.1 进程的信息可以通过 /proc 系统文件夹查看

通过ls指令来查看所有的进程，proc是动态目录结构，用来存放所有的进程，目录的名称就是用进程的id命名的。

1.2 进程信息同样可以使用ps(process status)工具来获取

• 进程id（PID）通过getpid 系统调用获得
• 父进程id（PPID）通过getppid 系统调用获得

   #include<stdio.h>#include<sys/types.h>#include<unistd.h>int main(){while(1){printf("I am a process! myid:%d parentid:%d\n",getpid(),getppid())    ;sleep(1);}return 0;}

 我们可以使用shell再开一个窗口登录一次进行查看。

"aux" 是 "ps" 命令的选项之一，表示显示所有用户的所有进程，通过查询，可以看到你自己 ./ 启动的进程，最后一个进程是当前的grep的查找进程。

关于当前工作目录

我们在C语言学习文件操作是会提到当前目录，我们以 "w" 方式读取文件时，如果文件不存在，那么文件会在当前工作目录cwd下创建。那么一个进程是如何找到当前目录的呢？

我们让下面代码运行起来

  1 #include<stdio.h>2 #include<sys/types.h>3 #include<unistd.h>4 int main()5 {6     //更改当前工作目录7     chdir("./wdz");//没有这个目录不会更改，我这里是创建好了这个目录                                                       8 9     // cwd/hello.txt  10     FILE* file = fopen("hello.txt","w");//文件不存在会在当前工作目录下创建11     if(file==NULL)12     {13         return 1;14     }15     fclose(file);16 17 18     while(1)19     {20         printf("I am a process! myid:%d parentid:%d\n",getpid(),getppid());21         sleep(1);22     }23     return 0;24 }

  这里通过修改当前目录已经对将文件创建在更改的目录下：

  可以发现：

• 默认情况下，进程所处的目录就是当前工作目录 
• 一个进程可以找到自己的可执行程序
• 每一个进程都有自己的工作目录

2. 通过系统调用创建进程-fork

2.1 初识fork

首先使用fork创建一个进程 

    #include<stdio.h>#include<unistd.h>#include<sys/types.h>int main(){printf("我是一个父进程我的pid:%d\n",getpid());//创建一个子进程！ pid_t id = fork();//fork之前只有父进程会执行fork之前的代码，fork之后父子进程都要执行后面的代码while(1){printf("我是一个进程,pid:%d,ppid%d,fork return:%d\n",getpid(),getppid(),id);//这个printf函数在代码这里只调用一次，但在运行时调用了两次sleep(1);//for test}return 0;}

 运行结果：

看到这里大家的疑惑就出来了

目前可以发现：只有父进程执行fork之前的代码，fork之后，父子进程都要执行后续的代码!

一个函数竟然会有两个返回值???fork成功的时候，会有两个不同的返回值,给子进程返回0;
给父进程返回子进程的pid

fork代码的一般写法:

1.我们为什么要创建子进程？

        我们想让子进程协作父进程完成一些工作，这些工作是单进程解决不了的

2.我们创建子进程是为了让子进程和父进程做一样的事情吗？？

        我们创建子进程，就是为了让子进程和父进程做不一样的事情，执行不一样的代码

3. 应该如何保证父子进程做不一样的事情呢?

        可以通过判断fork的返回值，判断谁是父，谁是子，然后让他们执行不同的代码片段!!

使用 if 对父子进程分流：

#include<stdio.h>
#include<unistd.h>
#include<sys/types.h>int main()
{printf("我是一个父进程我的pid:%d\n",getpid());//创建一个子进程！ //bash也是用C语言写的，命令行启动的进程，都是bash的子进程，所以bash源代码中创建子进程也是用的forkpid_t id = fork();  //fork()之后，用if进行分流    if(id<0) return 1; //进程创建失败                                                                                                          else if(id == 0)      {                  //子进程       while(1)       {              printf("我是子进程,pid:%d,ppid%d,ret:%d,正在执行下载\n",getpid(),getppid(),id); sleep(1);//for test      }              }                  else               {                  //父进程       while(1)       {              printf("我是父进程,pid:%d,ppid%d,ret:%d,正在执行播放任务\n",getpid(),getppid(),id);   sleep(1);//for test    }}return 0;
}

执行结果

可以发现通过 if 对fork函数返回值进行判断，实现了父子进程可以执行不同的任务。

2.2 fork原理

对于上面的现象，我们来解答一下疑惑

• 1.fork做了什么事情?? 
• 2.为什么fork函数会有两个返回值?
• 3.为什么fork的两个返回值，会给父进程谅回子进程pid，给子进程返回0?
• 4.fork之后:父子进程谁先运行??
• 5.如何理解同一个变量，会有不同的值??

---

1. fork做了什么事情?? 

       用于创建一个进程，在内核中操作系统重新为其申请了一个PCB，并使用父进程的PCB进行初始化，且子进程与父进程同时指向相同的代码。所以fork之前的代码子进程也是可以看到的。

那为什么子进程不从头开始执行呢?

        因为有程序计数器pc，会使代码一句一句执行，子进程在创建时和继承父进程的pc。所以说也会继续向下执行。

---

2.为什么fork函数会有两个返回值? 

        首先fork是一个函数，如果一个函数return时，说明一个函数的核心工作已经做完。我们知道fork之后代码会共享，所以是fork函数做完核心工作后就会共享，return也会父子进程共享，所以会有两个返回值。

---

3.为什么fork的两个返回值，会给父进程谅回子进程pid，给子进程返回0?

        因为一个父进程可以有多个子进程，父进程信息中只有pid 和 ppid，为了唯一确定子进程，所以返回子进程的pid，而子进程中由于有父进程ppid，所以返回0可以用来判断。

---

4.fork之后:父子进程谁先运行??

        不确定。创建完成子进程，只是一个开始。创建完成子进程之后，系统的其他进程，父进程，和子进程，接下来要被调度执行的，当父子进程的PCB都被创建并在运行队列中排队的时候，哪一个进程的PCB先被选择调度，那个进程就先运行，由操作系统自主决定！！由各自PCB中的调度信息(时间片，优先级等)+调度器算法共同决定。

---

 5.如何理解同一个变量，会有不同的值??

        进程的独立性，首先是表现在有各自的PCB，进行之间不会互相影响！代码本身是只读的，不会影响！但是数据父子是会修改的，所以代码共享，但是数据各个进程必须想办法各自私有一份！！

这个怎么做到的？通过写时拷贝。这样做的好处就是不用将所有的数据都进行拷贝，当数据需要修改时才做拷贝，可以提高效率。

本篇结束！