linux进程控制——进程替换——exec函数接口

最新推荐文章于 2024-09-06 18:06:22 发布

打鱼又晒网

最新推荐文章于 2024-09-06 18:06:22 发布

阅读量1.2k

点赞数 125

分类专栏： Linux 文章标签： linux 运维服务器

本文链接：https://blog.csdn.net/strive_mianyang/article/details/140878889

版权

Linux 专栏收录该内容

25 篇文章 6 订阅

订阅专栏

前言： 本节内容进入linux进程控制板块的最后一个知识点——进程替换。通过本板块的学习，我们了解了进程的基本控制方法——进程创建，进程退出，进程终止，进程替换。

进程控制章节和上一节进程概念板块都是在谈进程，也就是说，进程的相关内容博主整整通过两个大章，一共12篇文章进行讲解，并且几乎每一篇的字数都达到了纯论述五千字左右，少的也有3500字以上，多的甚至将近破7000。由此可以看到进程非常重要以及学习难度大。其中进程概念是一个大难点，里面知识点多，晦涩难懂，博主足足讲解了9篇，并且文章很长。而进程控制有了前面进程概念的基础，在理解起来就相对轻松一些，并且内容较少，论述性文字可能少一些，博主通过包括本篇在内的3篇文章就可以完成讲解。总之，进程很重要，希望友友们耐心学习。下面，进入本节的学习吧。

ps：本节适合了解进程概念，以及进程的创建，退出，终止和等待的友友们进行观看。

exec执行用户写的程序——含execle讲解

putenv

execle

什么是进程替换

linux下有一种接口可以进行进程替换工作——exec

使用man手册，然后就可以观察到详细内容：

上面的这些接口，他们的工作都是一样的——把一个文件（可执行程序）替换程当前进程。

单进程的进程替换

我们先以单进程，也就是没有创建子进程为例，来使用一下，试验一下进程替换函数——exec，我们这里使用的是execl函数，因为它是最简单的一个进程替换函数。

execl的参数是可变参数，最后一个参数一定是NULL。如下图：

运行结果如下：

运行后我们就发现我们自己写的程序竟然能够将系统命令封装起来进行执行——这个过程，就叫做程序替换。而程序替换的现象就是把别人的程序替换一下，在执行替换函数的之前逻辑的代码会跑，但是之后逻辑的代码就不会跑了。

进程替换的原理

程序替换我们从上面的实验就能看到，其实就是调用一下系统里面的其他程序，生成一个新的进程。这个新的进程会生成一个PCB。

首先，会生成如下图：

然后调用ls，那么就会又将ls的代码数据加载到物理内存，拷贝一份PCB、虚拟地址空间和页表。 ——这是我们以前对于创建子进程的理解。但是对于execl， execl执行的程序不会执行上面的操作。而是直接将execl里面的程序的代码替换给物理内存里面原本进程加载的位置。 ——这，就是程序替换。

多进程的程序替换

然后再看一下多进程的程序替换是什么样子的。多进程的程序替换，我们就是要创建一个子进程，然后再执行一次程序替换。现在我们就来实验一下：

首先，创建一个父进程：

然后，根据父进程，创建，拷贝出子进程。

然后程序替换子进程：

在没有运行程序前，什么都不会打印。

开始运行程序后，父子进程都会被打印。

5秒后子进程被替换，执行ls。同时执行完毕被等待，资源被回收，我们就能看到只会打印父进程了！！

程序替换有没有创建新的进程

刚开始运行的时候，父子进程的PID一直没有变。我们知道，创建新进程需要创建新的PCB和地址空间以及页表。然后拷贝所有的数据，当涉及物理内存的修改时发生写时拷贝。而父子进程的PID没有变，也就是说， 程序替换不创建新进程，只进行进程的代码和数据的替换工作！！

那么，为什么execl之后的代码没有被执行呢？因为对于execl之后的代码来说，这些代码的本质上也是属于原本的进程的。但是当这个execl被执行，这个进程的代码和数据就被替换了。原本的代码和数据当然就没有用了！！

CPU是如何获取程序的入口地址的

我们的CPU是如何获取程序的入口地址的呢？这是因为， linux中形成的可执行程序，是有格式的——ELF。也就是可执行程序的表头，这个表描述了可执行程序的段，比如代码段，数据段等等。同时也有一个可执行程序的入口地址。

详解exec接口

现在重新看一下这些exec接口

execl

现在看博主写的这个程序:

上面的程序调用了execl。首先我们思考一下，执行一个程序的第一件事是什么？是不是要找到这个程序？所以， execl函数里面的第一个参数就是一个路径，是我们要执行的程序的绝对路径（相对路径也可，但是执行命令的地方会被限制）。然后找到这个程序后，我们是不是还要看看执行什么选项？要以什么方式打开这个程序？所以， 第二个参数以后的参数，都是一些选项，并且这些选项的最后一个必须是NULL，就相当于一个链表。链表里面存的是这些选项！！！为了区分表尾，就必须把最后一个选项弄成NULL。

execlp

这个函数名比execl多了一个p，这个p就叫做PATH路径。代表execlp自己会在默认的PATH环境变量中查找。 ——也就是说，我们传参时不需要传路径。只需要传执行的文件名就行了！

就比如下图：

而之所以还要加上ls，是因为PATH中只有路径，没有文件名。

PATH中的路劲，加上ls文件名。就能解决第一个——如何找到这个程序的问题。

execv

现在看一下execv， v就是数组，第一个参数还是路径加文件名。大师第二个参数是一个字符串指针数组。

这个数组就是将原本的ls -al变成ls， -a， -l。这三个字符串分别作为字符串元素让这个指针数组指向他们。

下面是实验代码：

exec加载器

那么，现在问题来了。请问ls是程序吗？是程序，那么是程序， ls就有main，是不是也有命令行参数？有了命令行参数， ls的命令行参数是从哪里来的呢？ ——是从execv系统调用，或者execl， execlp里面的参数里面获得的。 execl系列函数作为系统调用，会把第二个参数的选项作为命令行参数传给第一个参数指向的可执行性程序。

在linux中，所有进程都是别人的子进程，在命令行当中，所有的进程都是bash子进程。所以，所有进程在启动的时候，都是使用exec系列函数启动执行的。程序替换的本质就是将要替换的进程的数据和代码加载到内存当中。所以， exec系列函数起到的就是加载器的效果。