进程替换和exec函数族

fork 创建的子进程一般不会执行和父进程相同的代码段，而是调用 exec 相关函数，将该进程的用户空间代码和数据完全替换，子进程从替换的新程序启动执行。exec仅仅是替换代码和数据，并不会创建新进程，所以被替换的进程 id 和子进程 id 相等。

如下图：

新进程从调用进程继承了下列属性：

• 进程 ID 和父 ID，实际用户 ID 和实际组 ID
• 附属组 ID，进程组 ID，回话 ID
• 控制终端
• 闹钟尚预留的时间
• 当前工作目录
• 根目录
• 文件模式创建屏蔽字
• 文件锁
• 进程信号屏蔽字
• 未处理信号
• 资源限制
• nice值
• tms_utime, tms_stime, tms_cutime, tms_cstime

exec函数族

函数	参数格式	是否带路径	是否使用当前环境变量
int execl(const char * path,const char * arg, …);	list	不带	是
int execlp(const char * file,const char * arg, …);	list	带	是
int execle(const char * path,const char * arg, … char const *envp[]);	list	不带	需自己组装环境变量
int execv(const char * path,char* const argv[]);	array	不带	是
int execvp(const char * file,char* const argv[]);	array	带	是
int execve(const char * path,char* const argv[], char const *envp[]);	array	不带	需自己组装环境变量

参数：

• 根据命名可以看出，名字中的 l 表示新进程的参数通过exec可变参数列表传过去，因此带 l 的函数参数列表都有 ... 代表可变参数;
• 而带 v 的函数，新进程的参数则是通过 一个字符串数组传过去；
• 名字中带 p 的代表会自动到环境变量PATH 中搜索新进程，而不带 p 的，则第一个参数必须是相对路径或者绝对路径；
• 对于带 e 的代表可以自己组装一份环境变量，通过参数3传递给新进程。

返回值：

替换成功，则从新进程开始执行，不会返回，失败返回-1，；所以该函数只要返回，就说明进程替换失败。

事实上这些函数最终都调了系统调用 execve， 如下图：

看下面这个例子：
hello.c

#include <stdio.h>

int main(int argc, char *argv[], char *env[])
{
    int i = 0;
    for(; i < argc; i++){
        printf("argv[%d]: %s\n", i, argv[i]);
    }

    int j = 0;
    while(env[j]){
        printf("%s\n", env[j]);
        j++;
    }

    return 0;
}

exec.c

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

extern char **environ;

int main()
{
    const char *path= "./hello";
    char* const arg[] = {"aaa", "bbb", "ccc", NULL};
    char* const env[] = {"MYENV=myenv", NULL};
    execve(path, arg, env);

    return 0;
}

运行结果：

可以看到，打印出的参数正是我们传过去的参数，而环境变量也是如此。

——完！

---

【作者：果冻 http://blog.csdn.net/jelly_9】