c++并发编程之进程创建(给那些想知道细节的人)

关于多进程创建,此处只讲解一个函数fork().

1.进程创建

先上代码:

  #include"iostream"
  #include<unistd.h> //unix标准文件
    int main()
    {
        using namespace std;
        pid_t pid;
       cout<<"parent have!"<<endl;
            pid = fork();//执行fork的时候到底发生了什么?
        if(pid == -)//错误创建
        {
            perror("fork error");
              _exit();
        }
        else if(pid == )//子进程
        {

            cout<<"i am child,pid = "<<getpid()<<" my parent is:"<<getppid()<<endl;
        }
        else//父进程
        {
           // sleep(1);
            cout<<"i am parent,pid = "<<getpid()<<" my parent is:"<<getppid()<<endl;
        }
        cout<<"both have!"<<endl;
        return ;
    }

运行结果:

 程序及结果分析:

 程序分析:

pid = fork();//执行fork的时候到底发生了什么?

这行代码到底发生了什么?我们需要清楚:在这行代码执行之前,如果不考虑系统调用这个层次的进程,那么就只有一个进程,就是main函数所在的进程.,程序的逻辑是顺序逻辑.那么这行代码执行后,将会发生什么?

"main"进程将会创建一个子进程,确切的讲是复制一个子进程,也就是fork创建子进程,是基于当前进程,复制了其父进程的用户空间(也就是你所看见的上面的代码全部都会被复制).也就是,此刻,存在了两个并行的进程(这个很重要.并不是我们认为的父进程执行完毕了再执行子进程).更确切的讲,下一个时刻,父进程要执行上述代码中的8行以后的代码,子进程也要执行8行以后的代码,究竟谁先执行,看谁抢到了CPU.

上述程序中,根据fork的返回值,来确定即将要执行什么.从形式上看,明显感觉到fork()的返回值并不是一个值,而是>0的值和等于0的值?难道一个函数可以返回两个返回值?也显然不是,是因为父进程创建了子进程,子进程既然复制了父进程的用户空间,自然来看,有两个pid.执行fork()函数后,父进程的pid为子进程的ID端口号,子进程的pid是0.所以才会根据pid的差异执行不同的动作.

 结果分析:

从结果可以看到,"parent have!"仅仅打印了一次,而"both have!"执行了两次.这是因为,fork创建的子进程不会执行在此之前的程序,只会执行fork()之后的,而"both have!"并没有限定其为子进程还是父进程需要执行的.

从结果中可以看出:父进程的部分先得到执行,表明父进程可能先得到返回值,先抢占到cpu(注意这里只是说可能).而且,父进程和子进程的内容均得到了显示(如果是我们单进程的程序,if 和else if 不可能同时执行).

2.创建多个子进程

  #include"iostream"
  #include<unistd.h>
    int main()
    {
        using namespace std;
        pid_t pid;
       cout<<"parent have!"<<endl;
       for(int i = ;i < ;i++)
       {
             pid = fork();//执行fork的时候到底发生了什么?
             if(pid == )
             {
                // cout<<"the ID of son "<<i+1<<":"<<getpid()<<endl;
                  break;//这个很重要,思考为什么
             }
       }

        if(pid == -)//错误创建
        {
            perror("fork error");
              _exit();
        }
        else if(pid == )//子进程
        {
            //sleep(1);
            cout<<"i am child,pid = "<<getpid()<<" my parent is:"<<getppid()<<endl;
        }
        else//父进程
        {
            sleep();
            cout<<"i am parent,pid = "<<getpid()<<" my parent is:"<<getppid()<<endl;
        }
        cout<<"both have!"<<endl;
        return ;
    }

程序运行结果:

 程序及结果分析:

 程序分析:

假如我们现在想一个父进程创建多个子进程,比如创建5个子进程.我们应该怎么做?

     for(int i = ;i < ;i++)
      {
            pid = fork();//执行fork的时候到底发生了什么?
            if(pid == )
            {
               // cout<<"the ID of son "<<i+1<<":"<<getpid()<<endl;
                 break;//结束该子进程
            }
      }

注意:为什么要在for循环里加了条件判断和break,不加会发生什么?

我们需要注意的是:我们的父进程创建了子进程之后,子进程和父进程拥有完全一样的用户代码,也就意味着,如果我们不加if判断,那么我们的子进程也将成为新的父进程,创建新的子进程,也就是,每执行一次循环,之前创建的子进程都会成为子进程,也就会会造成指数级增长,最终进程会变成2^5-1个,共31个.当加了break之后呢?当父进程创建完子进程之后,我们说过子进程返回的pid为0,此时,会跳出循环体,阻止了fork()的执行,也就阻止了子进程创建新的子进程(但并不影响子进程执行下面的内容,只是不执行fork而已).而父进程由于得到的是子进程的ID,从而可以继续执行循环体.而新创建的子进程自然也不能执行循环体,这样下来,一个父进程创建了5个等级一样的子进程.

父子进程共享

共享遵循的原则:读时共享写时复制原则.

针对前文中:父进程创建子进程的例子,我们会产生这样的疑问?子进程是完完全全copy父进程的内容吗?  至少现在的Linux系统不是.如果某个变量在子进程是被读的,而不是写的,那么这个变量物理地址空间就是被共享的(注意并不是逻辑空间).如果在子进程中要被修改,那么就会产生一般性的复制行为.

我们还是需要清楚:父子进程的用户空间基本是完全一样的,但是关于PCB这一块的内核空间并不相同,毕竟每个进程的ID都不同.