【Linux】进程程序替换

思维导图

学习目标

       学习进程替换的原理，掌握一些exec*函数的用法。

一、进程的程序替换的原理

       用fork创建子进程后，子进程执行的是和父进程相同的程序（但有可能执行不同的代码分支），若想让子进程执行另一个程序，往往需要调用一种exec函数。

       当进程调用一种exec函数时，该进程的用户空间代码和数据完全被新程序替换，并从新程序的启动例程开始执行。这种替换类似于数据修改时的写时拷贝，不会将代码直接覆盖影响到父进程的后续代码。

       进程 = 内核数据结构 + 代码 + 数据，代码和数据是要被替换的，而内核数据结构基本不变，没有释放结构，没有创建新的进程。 我们可以通过代码来检验是否创建了子进程？

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/wait.h>
#include <sys/types.h>

int main()
{
  printf("taskexec.....begin\n");
  pid_t id = fork();

  if(id == 0)
  {
    printf("child pid : %d\n", getpid());
    sleep(2);
    execvpe("./pragma", argv, environ);
    exit(1);
  }
  int status = 0;
  pid_t rid = waitpid(id, &status, 0);
  if(rid > 0)
  {
    if(WIFEXITED(status))
    {
      printf("child quit success, child exit code: %d\n", WEXITSTATUS(status));
    }
    else{
      printf("child quit failed\n");
    }
  }
  printf("taskexec.....end\n");

  return 0;
}

       站在被替换的进程的角度来看，本质上就是这个程序被加载到内存中去的。怎么将程序加载到内存中？？在Linux系统中，exec*函数类似于加载函数。

       为什么我们要先将程序加载到内存中呢？？因为冯诺依曼体系结构要求，程序先放入内存中去，CPU只会去内存去寻找数据和代码。

二、替换函数

这些函数不是系统调用，而是一些封装函数。真正的系统调用函数是execve函数：

2.1 exec*系列函数

       加载过程中需要操作系统进行，这种函数底层包括系统调用，因为要将程序加载到内存中。exec*系列函数执行完毕之后，后续的代码不见是正常