Linux之fork()函数进程笔记

Linux 线程学习笔记

一、什么是进程

一个可执行的完整的程序，包含有自己的代码正文区、数据存储区、进程执行过程中的上下文(程序计数器的值与寄存器内容)信息，总结来说就是由程序段、数据段、进程控制块三部分组成；
进程是系统进行资源分配和调度的基本单位，因此可以认为进程是活动的，它表示每一次调度执行后当前程序的一个活动，这个活动里包含了当前程序下一条要执行的指令、以及需要操作的数据；

二、进程怎么执行

进程是CPU调度的基本单元，所以CPU中是存在多个进程的，而某个进程在执行过程中并不会一直占据CPU资源，需要与其他进程听从调度，什么时候该执行，什么时候等待，如在单核CPU中，这些进程的执行方式是通过时间片轮询，每个单位时间只有一个执行。
而进程是如何管理的呢，是因为进程包含有一个进程控制块(PCB)，PCB是进程唯一标识，其主要包含有：
（1）进程状态；
（2）进程标识信息(uid、gid)；
（3）定时器；
（4）用户可见寄存器、控制状态寄存器、栈指针等；
PCB的通过链表来实现，目的应该是为了方便管理多个进程，方便删除、插入进程等；
假如在单核CPU中，当前进程调度结束，需要等待下一次调度，则此时会保存当前进程下一次需要执行的指令以及对应的寄存器数据，保存到该进程在进程表中对应的表项里面，完成之后才会执行上下文切换，从进程表中获取下一个进程的上下文信息，从保存的下一条指令处开始执行；

三、fork入门知识

一个进程，包括代码、数据和分配给进程的资源。fork（）函数通过系统调用创建一个与原来进程几乎完全相同的进程，也就是两个进程可以做完全相同的事，但如果初始参数或者传入的变量不同，两个进程也可以做不同的事。

一个进程调用fork（）函数后，系统先给新的进程分配资源，例如存储数据和代码的空间。然后把原来的进程的所有值都复制到新的新进程中，只有少数值与原来的进程的值不同。相当于克隆了一个自己。

我们来看一个例子：

#include <unistd.h>
#include <stdio.h>
 
int main ()
{
    pid_t fpid; //fpid表示fork函数返回的值
    int count = 0;
    fpid = fork();
    if (fpid < 0)
        printf("error in fork!");
    else if (fpid == 0)
    {
        printf("i am the child process, my process id is %d/n", getpid());
        printf("我是爹的儿子/n");//对某些人来说中文看着更直白。
        count++;
    }
    else
    {
        printf("i am the parent process, my process id is %d/n", getpid());
        printf("我是孩子他爹/n");
        count++;
    }
    printf("统计结果是: %d/n", count);
    return 0;
}

运行结果：

分析：

在语句fpid=fork()之前，只有一个进程在执行这段代码，但在这条语句之后，就变成两个进程在执行了，这两个进程的几乎完全相同，将要执行的下一条语句都是if(fpid<0)……

为什么两个进程的fpid不同呢，这与fork函数的特性有关。fork调用的一个奇妙之处就是它仅仅被调用一次，却能够返回两次，它可能有三种不同的返回值：
1）在父进程中，fork返回新创建子进程的进程ID；
2）在子进程中，fork返回0；
3）如果出现错误，fork返回一个负值；

在fork函数执行完毕后，如果创建新进程成功，则出现两个进程，一个是子进程，一个是父进程。在子进程中，fork函数返回0，在父进程中，fork返回新创建子进程的进程ID。我们可以通过fork返回的值来判断当前进程是子进程还是父进程。

fpid为什么在父子进程中不同？

来解释fpid的值为什么在父子进程中不同。“其实就相当于链表，进程形成了链表，父进程的fpid(p 意味point)指向子进程的进程id, 因为子进程没有子进程，所以其fpid为0.

fork出错的原因：

fork出错可能有两种原因：
1）当前的进程数已经达到了系统规定的上限，这时errno的值被设置为EAGAIN。
2）系统内存不足，这时errno的值被设置为ENOMEM。

进程执行的先后顺序？

创建新进程成功后，系统中出现两个基本完全相同的进程，这两个进程执行没有固定的先后顺序，哪个进程先执行要看系统的进程调度策略。

怎么区分进程？

每个进程都有一个独特（互不相同）的进程标识符（process ID），可以通过getpid（）函数获得，还有一个记录父进程pid的变量，可以通过getppid（）函数获得变量的值。
fork执行完毕后，出现两个进程，

执行完fork()后，父子进程的具体流程

有人说两个进程的内容完全一样啊，怎么打印的结果不一样啊，那是因为判断条件的原因，上面列举的只是进程的代码和指令，还有变量啊。
执行完fork后，进程1的变量为count=0，fpid！=0（父进程）。进程2的变量为count=0，fpid=0（子进程），这两个进程的变量都是独立的，存在不同的地址中，不是共用的，这点要注意。可以说，我们就是通过fpid来识别和操作父子进程的。
还有人可能疑惑为什么不是从#include处开始复制代码的，这是因为fork是把进程当前的情况拷贝一份，执行fork时，进程已经执行完了int count=0;fork只拷贝下一个要执行的代码到新的进程。

这里附上一张神图，清楚的解释了父进程和子进程执行的流程：

四、fork进阶知识

先来看一段代码：

#include<unistd.h>
#include <stdio.h>
int main(void)
{
   int i=0;
   printf("i son/pa ppid pid  fpid\n");
   //ppid指当前进程的父进程pid 
   // pid指当前进程的pid, 
   // fpid指fork返回给当前进程的值 
   for(i=0;i<2;i++){
         pid_t fpid=fork();
         if(fpid==0)
             printf("%d child  %4d %4d %4d\n",i,getppid(),getpid(),fpid);
         else{
             printf("%d parent %4d %4d %4d\n",i,getppid(),getpid(),fpid);
                if(i==0){
                        wait();
                }
        }
   }

   return 0;
}

执行结果

结果分析

第一步：i=0 , 链表表示：p13994 -> p15535 -> p15536 

第二步：假设父进程 p15535先执行，当进入下一个循环时，i=1，接着执行fork，系统中又新增一个进程p15538，对于此时的父进程，p13994->p15535（当前进程）->p15538（被创建的子进程）。 

对于子进程p15536 ，执行完第一次循环后，i=1，接着执行fork，系统中新增一个进程p15537 ，对于此进程，p15535->p15536 （当前进程）->p15537 （被创建的子进程）。从输出可以看到p15536 原来是p15535的子进程，现在变成p15537 的父进程。父子是相对的，这个大家应该容易理解。只要当前进程执行了fork，该进程就变成了父进程了，就打印出了parent。

第三步：第二步创建了两个进程p15538，p15537 ，这两个进程执行完printf函数后就结束了，因为这两个进程无法进入第三次循环，无法fork，该执行return 0;了，其他进程也是如此。 细心的可能注意到p15538，p15537 的父进程难道不该是p15535和p15536 吗，怎么会是1呢？这里得讲到进程的创建和死亡的过程，在p15535和p15536 执行完第二个循环后，main函数就该退出了，也即进程该死亡了，因为它已经做完所有事情了。p15535和p15536 死亡后，p15538，p15537 就没有父进程了，这在操作系统是不被允许的，所以p15538，p15537的父进程就被置为p1了，p1是永远不会死亡的

操作系统实训内容

实验一 (3)

代码：

#include<stdio.h>
#include<unistd.h>
#include<stdlib.h>

int main(){

        fork();
        fork();
        fork();
        printf("PID=%d PPID=%d\n",getpid(),getppid());
        sleep(3);
}

执行结果

结果分析

参考资料：
https://www.cnblogs.com/dongguolei/p/8086346.html