exec函数族

函数族说明

fork() 函数用于创建一个新的子进程，该子进程几乎复制了父进程的全部内容，但是，这个新创建的子进程如何执行呢？exec 函数族就提供了一个在进程中启动另一个程序执行的方法。它可以根据指定的文件名或目录名找到可执行文件，并用它来取代原调用进程的数据段、代码段和堆栈段，在执行完之后，原调用进程的内容除了进程号外，其他全部被新的进程替换了。另外，这里的可执行文件既可以是二进制文件，也可以是Linux下任何可执行的脚本文件。

在 Linux 中使用exec函数族主要有两种情况：

●  当进程认为自己不能再为系统和用户做出任何贡献时，就可以调用 exec 函数族中的任意一个函数让自己重生。

●  如果一个进程想执行另一个程序，那么它就可以调用 fork() 函数新建一个进程，然后调用 exec 函数族中的任意一个函数，这样看起来就像通过执行应用程序而产生了一个新进程（这种情况非常普遍）。

函数族语法

实际上，在Linux中并没有exec()函数，而是由6个以 exec 开头的函数，它们之间的语法有细微差别。下表列出了 exec 函数族的6个成员函数的语法：

这6个函数在函数名和使用语法的规则上都有细微的区别，下面就从可执行文件查找方式、参数传递方式和环境变量这几个方面进行比较。

●  查找方式：表1中的前4个函数的查找方式都是完整的文件目录路径，而最后两个函数（也就是以 p 结尾的两个函数）可以只给出文件名，系统就会自动按照环境变量“$PATH” 所指定的路径进行查找。

●   参数传递方式：exec函数族的参数传递有两种：一种是逐个列举的方式，而另一种则是将所有参数整体构造指针数组传递。在这里是以函数名的第5位字母来区分的，字母为 "l"(list)的表示逐个列举参数的方式，其语法为const char *arg;字母为“v”(vector)的表示将所有参数整体构造指针数组传递，其语法为 char *const argv[]。这里的参数实际上就是用户在使用这个可执行文件时所需的全部命令选项字符串（包括该可执行程序命令本身）。要注意的是，这些参数必须以NULL结束。

●   环境变量： exec函数族可以默认系统的环境变量，也可以传入指定的环境变量。这里以 “e”(environment)结尾的两个函数 execle()和 execve()就可以在 envp[]中指定当前进程所使用的环境变量。

表2再对这6个函数中的函数名和对应语法做了一个小结，主要指出了函数名中每一位对应所表明的含义，以此表加以记住这6个函数。

事实上，这6个函数中真正的系统调用只有execve()，其他5个都是库函数，它们最终都会调用execve()这个系统调用。在使用exec函数族时，一定要加上错误判断语句。exec 很容易执行失败，其中最常见的原因有：

①  找不到文件或路径，此时 errno 被设置为 ENOENT。

②  数组argv 和envp  忘记用NULL结束，此时，errno被设置为 EFAUL。

③  没有对应可执行文件的运行权限，此时 errno 被设置为EACCES。

基础实验

实验1

本实验是为了说明如何使用文件名来查找可执行文件，同时使用参数列表的方式。这里用的函数是 execlp()。程序代码如下：

在该程序中，首先使用 fork()函数创建一个子进程，然后在子进程中使用 execlp()函数。可以看到，这里的参数列表列出了在 shell 中使用的命令名和选项，并且当使用文件名进行查找时，系统会在默认的环境变量PATH中寻找该可执行文件。

使用命令：gcc execlp.c -o execlp编译后，然后再执行，结果如下图：

使用env命令，可以查看到环境变量的路径名

此程序的执行结果与在shell中直接输入命令“ps -ef”是一样的，当然，在不同系统的不同时刻可能会有不同的结果。

实验2

本实验实现的功能和实验1的一样，不同的是使用的函数不同。本实验将使用完整的文件目录来查找对应的可执行文件。注意，目录必须以“/”开头，否则将其视为文件名。程序代码如下：

编写保存源文件，然后使用命令：gcc execl.c -o execl编译，接着执行命令：./execl，可以看到实验结果和实验1一样

实验3

本实验是利用execle()函数将环境变量添加到新建的子进程中，这里的“env”是查看当前进程环境变量的命令，实验代码如下：

编写保存源文件后，使用命令:gcc execle.c -o execle，再执行命令：./execle，执行结果如下图

实验4

本实验实现功能和实验3一样，不同的是使用的execve()函数，通过构造指针数组的方式来传递参数，注意参数列表一定要以NULL作为结尾标识符，实验代码如下：

编写保存源文件，使用命令:gcc execve.c -o execve,再执行命令：./execve，结果如下：

到此关于进程的执行实验完毕，下一节学习进程的终止