【Linux】进程程序替换

替换原理：

用fork创建子进程后执行的是和父进程相同的程序(但有可能执行不同的代码分支),子进程往往要调用一种exec函数以执行另一个程序。当进程调用一种exec函数时,该进程的用户空间代码和数据完全被新程序替换,从新程序的启动例程开始执行。调用exec并不创建新进程,所以调用exec前后该进程的id并未改变。

• 重新加载一个新的程序到物理内存中，对一个进程的代码通过页表在物理内存中的地址进行修改映射关系，让程序的代码段经过页表转换后，指向了新的程序位置。
• 让一个进程pcb通过页表转换映射到物理内存上另一个程序的地址，进程将运行另一个程序，以前的数据和代码都失效了，因此需要更新初始化页表以及虚拟地址空间的代码段和数据段。
  

替换函数

其中有六种以exec开头的函数,统称exec函数:

#include <unistd.h>

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[]);

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

事实上,只有execve是真正的系统调用,其它五个函数最终都调用 execve,所以execve在man手册 第2节,其它函数在man手册第3节。这些函数之间的关系如下图所示：

命名解释：

名字中字母的理解：
  l(list) : 表示参数采用列表
  v(vector) : 参数用数组
  p(path) : 有p自动搜索环境变量PATH
  e(env) : 表示自己维护环境变量

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

int main() {
	char *const argv[] = {"ps", "-ef", NULL};
	char *const envp[] = {"PATH=/bin:/usr/bin", "TERM=console", NULL};
	
	execl("/bin/ps", "ps", "-ef", NULL);
	
	//带p的，可以使用环境变量PATH，无需写全路径
	execlp("ps", "ps", "-ef", NULL);
	
	//带e的，需要自己组装环境变量
	execle("ps", "ps", "-ef", NULL, envp);
	
	execv("/bin/ps", argv);
	
	//带p的，可以使用环境变量PATH，无需写全路径
	execvp("ps", argv);
	
	//带e的，需要自己组装环境变量
	execve("/bin/ps", argv, envp);
	
	exit(0);
}