exec函数族

1.exec函数说明

fork()函数通过系统调用创建一个与原来进程（父进程）几乎完全相同的进程（子进程是父进程的副本，它将获得父进程数据空间、堆、栈等资源的副本。注意，子进程持有的是上述存储空间的“副本”，这意味着父子进程不共享这些存储空间。linux将复制父进程的地址空间内容给子进程，因此，子进程有了独立的地址空间。），也就是这两个进程做完全相同的事。

在fork后的子进程中使用exec函数族，可以装入和运行其它程序（子进程替换原有进程，和父进程做不同的事）。

exec函数族可以根据指定的文件名或目录名找到可执行文件，并用它来取代原调用进程的数据段、代码段和堆栈段。在执行完后，原调用进程的内容除了进程号外，其它全部被新程序的内容替换了。另外，这里的可执行文件既可以是二进制文件，也可以是Linux下任何可执行脚本文件。

2.在Linux中使用exec函数族主要有一下两种情况

• 当进程认为自己不能再为系统和用户做出任何贡献时，就可以调用任何exec函数族让自己重生；
• 如果一个进程想执行另外一个程序，那么它就可以调用fork函数新建一个进程，然后调用任何一个exec函数使子进程重生；

3.exec函数族语法

实际上，在Linux中并没有exec函数，而是有6个以exec开头的函数族，下表列举了exec函数族的6个成员函数的语法。

int execl(const char *path, const char *arg, …); 
int execlp(const char *file, const char *arg, …); 
int execle(const char *path, const char *arg, …, char *const envp[]); 
int execv(const char *path, char *const argv[]); 
int execvp(const char *file, char *const argv[]); 
int execve(const char *path, char *const argv[], char *const envp[]); 

4.函数解释

• 这些函数如果调用成功则加载新的程序从启动代码开始执行，不在返回。
• 如果调用出错则返回-1
• 所以exec函数只有出错的返回值二没有成功的返回值。

5.命名理解
这些函数原型看起很容易混淆，但只要掌握了规律就很好记
l(list)：表示参数采用列表；v(vector)：参数用数组；p(path)：有p自动搜索环境变量PATH；e(env)：表示自己维护环境变量

• 前三个含有字母l，后三个含有字母v，带有l的代表参数列表一一列举在函数的参数中，并要求以NULL结尾；带有v的代表参数列表放在一个以NULL结尾的指针数组之中（即第二个参数）。
• 带有字母p的代表2个以p结尾的函数execlp和execvp，看起来，和execl与execv的差别很小，事实也如此，它们的区别从第一个参数名可以看出：除 execlp和execvp之外的4个函数都要求，它们的第1个参数path必须是一个完整的路径，如”/bin/ls”；而execlp和execvp 的第1个参数file可以仅仅只是一个文件名，如”ls”，这两个函数可以自动到环境变量PATH指定的目录里去查找。
• 带有字母e的是指给可执行文件指定环境变量。在全部6个函数中，只有execle和execve使用了char *envp[]传递环境变量，其它的4个函数都没有这个参数，这并不意味着它们不传递环境变量，这4个函数将把默认的环境变量不做任何修改地传给被执行的应用程序。而execle和execve用指定的环境变量去替代默认的那些。

函数名	参数格式	是否带路径	是否使用当前环境变量
execl	列表	不是	是
execlp	列表	是	是
execle	列表	不是	不是，须自己组装环境变量
execv	数组	不是	是
execvp	数组	是	是
execve	数组	不是	不是，须自己组装环境变量

   #ifdef HAVE_CONFIG_H
   #include <config.h>
   #endif
   
   #include <stdio.h>
   #include <stdlib.h>
   #include <unistd.h>
   #include <string.h>
   #include <errno.h>
  
   int main(int argc, char *argv[])
   {
   	 //以NULL结尾的字符串数组的指针，适合包含v的exec函数参数
     char *arg[] = {"ls", "-a", NULL};
    
    /**
     * 创建子进程并调用函数execl
     * execl 中希望接收以逗号分隔的参数列表，并以NULL指针为结束标志
     */
     if( fork() == 0 )
     {
       // in clild 
       printf( "1------------execl------------\n" );
       if( execl( "/bin/ls", "ls","-a", NULL ) == -1 )
       {
         perror( "execl error " );
         exit(1);
       }
     }
    
    /**
     *创建子进程并调用函数execv
     *execv中希望接收一个以NULL结尾的字符串数组的指针
     */
     if( fork() == 0 )
     {
       // in child 
       printf("2------------execv------------\n");
       if( execv( "/bin/ls",arg) < 0)
       {
         perror("execv error ");
        exit(1);
        }
      }
    
     /**
      *创建子进程并调用 execlp
 
      *l希望接收以逗号分隔的参数列表，列表以NULL指针作为结束标志
      *p是一个以NULL结尾的字符串数组指针，函数可以DOS的PATH变量查找子程序文件
      */
      if( fork() == 0 )
      {
        // in clhild 
        printf("3------------execlp------------\n");
        if( execlp( "ls", "ls", "-a", NULL ) < 0 )
        {
          perror( "execlp error " );
          exit(1);
        }
      }
    
     /**
       *创建子里程并调用execvp
       *v 望接收到一个以NULL结尾的字符串数组的指针
       *p 是一个以NULL结尾的字符串数组指针，函数可以DOS的PATH变量查找子程序文件
       */
      if( fork() == 0 )
      {
        printf("4------------execvp------------\n");
        if( execvp( "ls", arg ) < 0 )
        {
          perror( "execvp error " );
          exit( 1 );
        }
      }
    
      /**
       *创建子进程并调用execle
       *l 希望接收以逗号分隔的参数列表，列表以NULL指针作为结束标志
       *e 函数传递指定参数envp，允许改变子进程的环境，无后缀e时，子进程使用当前程序的环境
       */
      if( fork() == 0 )
      {
        printf("5------------execle------------\n");
        if( execle("/bin/ls", "ls", "-a", NULL, NULL) == -1 )
        {
          perror("execle error ");
          exit(1);
        }
      }
      
      /**
       *创建子进程并调用execve
       * v 希望接收到一个以NULL结尾的字符串数组的指针
       * e 函数传递指定参数envp，允许改变子进程的环境，无后缀e时，子进程使用当前程序的环境
       */
      if( fork() == 0 )
      {
        printf("6------------execve-----------\n");
        if( execve( "/bin/ls", arg, NULL ) == 0)
        {
          perror("execve error ");
          exit(1);
        }
      }
     return EXIT_SUCCESS;
    }

运行结果：

1------------execl------------
.  ..  .deps  exec  exec.o  .libs  Makefile
2------------execv------------
.  ..  .deps  exec  exec.o  .libs  Makefile
3------------execlp------------
.  ..  .deps  exec  exec.o  .libs  Makefile
4------------execvp------------
.  ..  .deps  exec  exec.o  .libs  Makefile
5------------execle------------
.  ..  .deps  .libs  Makefile  exec  exec.o
6------------execve-----------
.  ..  .deps  .libs  Makefile  exec  exec.o

注意：与其他系统调用比起来，exec很容易失败，被执行文件的位置，权限等很多因素都能导致调用失败。因此，使用exec函数族时，一定要加错误判断语句。
exec函数族的函数执行成功后不会返回，因为调用进程的实体，包括代码段，数据段和堆栈等都已经被新的内容取代，只有进程ID等一些表面上的信息仍保持原样。调用失败时，会设置errno并返回-1，然后从原程序的调用点接着往下执行。

---