片来源于网络

在之前我们已经学习了什么是进程的创建退出等待以及有关进程地址空间的问题。

接下来的进程程序替换依然是属于进程控制的范畴但是在实际应用中是非常重要的一种技术。

本文不直接像书本上一样一开始就说一大堆概念让人摸不清头脑而是现观察进程程序替换的现象然后再从现象中在进一步了解进程程序替换。

进程程序替换有一些专门对口的函数我们可以通过man手册查到其中的一个函数

接下来我们直接看一段代码用一用这个函数

begin...\n);execl(/usr/bin/ls,ls,-a,-l,NULL);printf(process

end...\n);return

两个打印语句分别标识进程开始与结束话不多说直接开始运行结果如下

begin

为什么会发生这样的情况呢别急这就需要深入了解调用execl函数这一动作背后到底发生了什么——于是我们需要谈一谈进程替换的原理。

包括我们自己写的mytest或者是系统上已经装好的ls等指令都是一个独立的可执行程序。

execl

这类函数的功能就是把一个新的独立的可执行程序覆盖式的加载到原来的运行起来的进程中从而实现程序替换。

一个进程包括内核数据结构

代码和数据这里的程序替换替换的不仅仅是数据还要替换代码这也就意味着原来的代码和数据就被覆盖了于是进程会从执行execl函数这一行开始直接执行新加载的代码和数据。

原来的数据自然就丢失了这也就解释了

execl

1执行execl之后ls的代码和数据被加载的内存中覆盖替换了原来的代码和数据

“process

3最终的返回值是ls指令的返回值而不再是原来被覆盖的进程的返回值。

我们可以通过进程程序替换的函数名称来略知一二但是在那样通过函数名称来快速记忆之前我们还是需要先一个一个了解进程程序替换的函数们

list初始化列类型:

就像我们之前演示的那样其实就是execl函数使用方法接下来需要对这个函数的传参细节做一些深入理解

参数列表

需要替换的可执行程序的位置需要指明具体的位置既可以使用绝对路径也可以使用相对路径。

比如想要替换ls命令ls命令本质是一个可执行程序位于/usr/bin/ls于是我们第一个参数需要这样传递“/usr/bin/ls”

*arg:

类似于printf的参数列表不限制打印的参数的个数一样我们在命令行上想要使用不同的命令传递的参数的个数是不同的于是通过参数列表我们可以传递不同的参数个数来达到正确执行不同指令的目的

实例一

begin...\n);execl(/usr/bin/ls,ls,-a,-l,NULL);printf(process

end...\n);return

{coutC进程开始运行endl;execl(./mytest,./mytest,NULL);coutC进程结束运行endl;return

由于我们已经编写了makefile所以只需要make就可以生成两个可执行程序。

运行结果

execl可以替换任何语言的可执行程序。

包括javapythonshell脚本语言等唯一不同的是通过execl调用的时候传递的参数不同。

接下来的介绍只给出具体函数的使用实例不再重复介绍同样性质的参数。

2.execlp

带p的可以使用环境变量PATH无需写全路径execlp(ps,

ps,

带p的可以使用环境变量PATH无需写全路径execvp(ps,

argv);exit(0);

这些函数如果调用成功则加载新的程序从启动代码开始执行,不再返回。

如果调用出错则返回-1

因为execve是一个系统调用函数本质上底层调用的都是相同的形式调用的execve只不过是上层的封装转换的参数传递的方式。

在我们的项目中我们的父进程一直是运行的不能说父进程执行了想要执行ls命令在执行了之后自己却退出了。

所以我们在一般情况下一定不能让父进程发生程序替换不然父进程的代码和数据被子进程替换之后代码和数据就丢失了

所以我们需要fork创建子进程让子进程来代替父进程来执行exec*这一类的函数让子进程来发生程序替换让子进程的代码和数据被替换掉这样父进程就可以保留

用fork创建子进程后执行的是和父进程相同的程序(但有可能执行不同的代码分支),子进程往往要调用一种exec函数以执行另一个程序。

当进程调用一种exec函数时,该进程的用户空间代码和数据完全被新程序替换,从新程序的启动例程开始执行。

调用exec并不创建新进程,所以调用exec前后该进程的id并未改变。

未经作者同意禁止转载