[Linux]进程程序替换
文章目录
- [Linux]进程程序替换
- 进程程序替换的意义
- 见一见进程程序替换
- 进程程序替换的原理
- 进程程序替换中的写时拷贝
- 介绍进程程序替换接口
进程程序替换的意义
Linux系统下使用fork系统函数创建子进程后,子进程只能执行继承的部分父进程代码,如果要想让子进程执行一份单独的代码就要进行进程程序替换。
见一见进程程序替换
进程程序替换的头文件和函数如下:
编写如下代码来见一见进程程序替换:
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");printf("进程程序替换前\n");printf("进程程序替换前\n");execl("/bin/ls", "ls", "-a", "-l", NULL);printf("进程程序替换后\n");printf("进程程序替换后\n");printf("进程程序替换后\n");return 0;
}
编译代码并运行查看结果:
可以看出,进程程序替换后,进程不再执行原有的代码而是转而执行替换后的代码。进程替换函数后的代码不再被执行,因此可以看出程序替换是整体替换,替换后原有的代码和数据都不存在了。
进程程序替换的原理
进程程序替换是在不修改进程pcb中的id的情况下,将磁盘中的可执行程序的代码和数据传送到内存中,替换进程原有的代码和数据,并且修改页表映射,完成进程程序的替换,示意图如下:
- 从进程的角度看:代码和数据被操作系统替换了。
- 从程序的角度看:自身的代码和数据被加载到了内存中。
程序加载的原理: 在Linux操作系统下,启动的任何一个进程都是shell进程的子进程,启动进程的就是先让shell进程创建一个子进程的pcb,然后用我们编写好的进程的代码和数据替换这个shell进程的子进程的,从而完成进程的加载启动。
进程程序替换中的写时拷贝
为了体会进程程序替换中的写时拷贝,编写如下代码:
#include <stdio.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>int main()
{pid_t id = fork();if (id == 0){//子进程printf("我是子进程,我的pid:%d\n", getpid());execl("/bin/ls", "ls", "-a", "-l", NULL);}waitpid(id, NULL, 0);printf("我是父进程,我的pid:%d\n", getpid());return 0;
}
编译代码运行并且查看结果:
可以看出进程程序替换是不影响父进程的代码和数据的,因为在替换子进程的代码和数据时,发生了写时拷贝,另外可以看出实际上代码区的数据是可以修改的。
介绍进程程序替换接口
返回值
进程程序替换函数只有在执行失败时才会有返回值,如果进程程序替换失败了会返回-1,并且设置错误码。由于进程程序替换函数的替换成功后,该函数内部的返回代码也被替换了,因此一旦执行成功是不会有返回值的。一旦替换失败了,由于进程程序替换不会修改pcb,因此也不影响父进程接收子进程的退出码。
编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <stdlib.h>int main()
{pid_t id = fork();if (id == 0){//子进程int n = execl("/bin/lsss", "lsss", "-a", "-l", NULL);printf("我是子进程,我的id:%d, 程序替换失败,n: %d\n", getpid(), n);exit(1);}int status = 0;waitpid(id, &status, 0);printf("我是父进程,子进程退出码:%d\n", WEXITSTATUS(status));return 0;
}
编译代码运行并查看结果:
由于我们传入的替换程序是错误的,进程程序替换失败了,接收到了返回值-1,父进程也正常接收到了退出码-1。
再编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <stdlib.h>int main()
{pid_t id = fork();if (id == 0){//子进程int n = execl("/bin/ls", "ls", "hello.txt", NULL);//该文件不存在printf("我是子进程,我的id:%d, 程序替换失败,n: %d\n", getpid(), n);exit(1);}int status = 0;waitpid(id, &status, 0);printf("我是父进程,子进程退出码:%d\n", WEXITSTATUS(status));return 0;
}
编译代码运行并查看结果:
可以看出即使程序替换成功了,也不影响子进程退出码的接收。
execl函数
//execl函数声明
int execl(const char *path, const char *arg, ...);
- path参数 – 要替换的程序的路径
- arg参数 – 可变参数,接收替换程序的命令行参数,以NULL结尾
编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");execl("/bin/ls", "ls", "-a", "-l", NULL);printf("进程程序替换失败\n");return 0;
}
编译代码运行并查看结果:
execv函数
//execv函数声明
int execv(const char *path, char *const argv[]);
- path参数 – 要替换的程序的路径
- argv参数 – 接收要替换程序的命令行参数,以NULL结尾
编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");//execl("/bin/ls", "ls", "-a", "-l", NULL);char * const argv[] = {"ls","-a","-l","-n",NULL};execv("/bin/ls", argv);printf("进程程序替换失败\n");return 0;
}
编译代码运行并查看结果:
execlp函数
//execlp函数声明
int execlp(const char *file, const char *arg, ...);
- file参数 – 要替换的程序名,会自动去环境变量的路径中查找该程序
- arg参数 – 可变参数,接收替换程序的命令行参数,以NULL结尾
编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");execlp("ls", "ls", "-l", "-n", NULL);printf("进程程序替换失败\n");return 0;
}
编译代码运行并查看结果:
execvp函数
//execvp函数声明
int execvp(const char *file, char *const argv[]);
- file参数 – 要替换的程序名,会自动去环境变量的路径中查找该程序
- argv参数 – 接收要替换程序的命令行参数,以NULL结尾
编写如下代码进行测试:
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");char * const argv[] = {"ls","-l","-n",NULL};execvp("ls", argv);printf("进程程序替换失败\n");return 0;
}
编译代码运行并查看结果:
execle函数
//execle函数声明
int execle(const char *path, const char *arg, ..., char * const envp[]);
- path参数 – 要替换的程序的路径
- arg参数 – 可变参数,接收替换程序的命令行参数,以NULL结尾
- envp参数 – 接收传给替换程序的环境变量,以NULL结尾,覆盖式传入,接收的进程中只会有传入的环境变量
编写如下文件目录结构:
使用myproc程序和otherproc程序进行测试,其代码内容如下
//myproc
#include <stdio.h>
#include <unistd.h>int main()
{printf("进程程序替换前\n");char * const envp[] = {"MYENV=YOUCANSEEME",NULL };execle("../otherproc/otherproc", "otherproc", NULL, envp);printf("进程程序替换失败\n");return 0;
}
//otherproc
#include <iostream>
#include <stdlib.h>using namespace std;int main()
{cout << " MYENV: " << (getenv("MYENV")==NULL?"NULL":getenv("MYENV")) << endl;cout << " PATH: " << (getenv("PATH")==NULL?"NULL":getenv("PATH")) << endl;return 0;
}
使用otherproc程序替换myproc程序,并且只传入只含有一个环境变量的参数envp。
编译代码运行并查看结果:
由于execle函数传入环境变量采用的是覆盖式传入,因此替换程序只有传入的一个环境变量。
补充:
- 可以使用全局变量
environ
让替换程序获取父进程的全部环境变量。 - shell进程创建子进程时也是调用这样的系统接口将环境变量传入。
execvpe函数
int execvpe(const char *file, char *const argv[], char *const envp[]);
- file参数 – 要替换的程序名,会自动去环境变量的路径中查找该程序
- argv参数 – 接收要替换程序的命令行参数,以NULL结尾
- envp参数 – 接收传给替换程序的环境变量,以NULL结尾,覆盖式传入,接收的进程中只会有传入的环境变量
补充知识
程序替换函数的命名规律:
- l后缀 – 以可变参数形式接收替换程序的命令行参数
- v后缀 – 以指针数组的形式接收替换程序的命令行参数
- p后缀 – 传入替换程序的程序名,会自动在环境变量的路径中查找
- e后缀 – 以指针数组的形式接收替换程序的环境变量
以上所有的进程程序替换系统调用都是对execve
系统调用函数的封装,不同的封装是为了更适合不同的应用场景。