【Linux】进程控制3——进程程序替换

一，前言

        创建子进程的目的之一就是为了代劳父进程执行父进程的部分代码，也就是说本质上来说父子进程都是执行的同一个代码段的数据，在子进程修改数据的时候进行写时拷贝修改数据段的部分数据。

        但是还有一个目的——将子进程在运行时指向一个全新的程序代码，也就是我们的进程程序替换。

        一般情况下，对应的语言写的程序只能调用对应的语言的接口，而不能调用其他语言的接口，如C++不能调用Java或者Python或者Shell等语言的接口，那么如果我们想要调用别人写的程序应该怎么办呢？

        那么进程程序替换就能够很好地帮助我们解决这个问题，这在很大程度上减少了我们编程的成本，学会进程程序替换，在很多时候，如果有现成的程序，那么我们不需要自己再去写一个，是不是方便很多了？

二、什么是进程程序替换？

        所谓进程程序替换，顾名思义，就是使用一个新的程序替换原有的程序，进程将执行新程序的代码，而不再执行原有程序的代码，前面我们已经学习了如何创建一个进程，一般情况下，进程程序替换都不会使用父进程直接进行进程程序替换，而是让父进程调用fork()函数创建一个子进程，让子进程去执行一个新的程序即可

        进程程序替换是指在运行过程中将一个进程的地址空间中的代码、数据和堆栈等内容完全替换为另一个程序的代码、数据和堆栈的过程。

三，进程程序替换的原理 

  •  进程替换前的效果图

当一个进程成功创建一个子进程之后，父子进程的情况如下图所示：

        这个时候，我们这里先针对代码和数据进行分析，其他内容暂不做考虑，此时父子进程都没有修改代码和数据，因此，父子进程的代码和数据都是指向同一块内容的，也就是代码和数据是共享的，如果其中一方对数据进行修改，则这一方就会进行写时拷贝，如果想要执行不同的代码，则此时就要进行进程程序替换

进程程序替换的原理：
        假如刚开始父子进程都是执行程序a.exe，后面，想要让子进程执行b.exe了，那么此时就要进行进程程序替换，替换的过程就是首先将b.exe从磁盘加载进内存，然后重新建立子进程的页表，更新子进程的页表中的映射关系（注意，这里修改的是页表中的物理地址而不是虚拟地址，此时父子进程代码块中虚拟地址是一样的，但是通过页表映射出来的物理地址是不一样的），从而实现父子进程的代码彻底分离，此时父子进程的代码是互不干扰的，很好地满足了进程的独立性

  •  进程替换之后的效果图

 3.1.进程替换注意事项

  • 1.进程替换不会创建新进程，因为进程替换只是将该进程的数据替换为指定的可执行程序。而进程PCB没有改变，所以不是新的进程，进程替换后不会发生进程pid改变。
  • 2.进程替换后，如果替换成功后则替换函数下的代码不会执行，因为进程替换是覆盖式的替换，替换成功后进程原来的代码就消失了。同理在进程替换失败后会执行替换函数后的代码
  • 3.进程替换函数在进程替换成功后不返回，函数的返回值表示替换失败
  • 4.进程替换成功后，退出码为替换后的进程的退出码

四，为什么要进行进程程序替换

        在学习进程程序替换之前，我们知道当一个父进程创建一个子进程之后，父子进程的代码是共享的，子进程只能执行父进程的代码块

        但是现在我们的需求增加了，我们不仅要让子进程能够执行父进程的代码块，也要能够让子进程能够做一些父进程不能做的事情，也就是能够执行一个全新的代码（程序），这样就能实现父子进程做的事情有所差异，大大提高了办事效率，同时也使父子进程的代码彻底分离，维护进程的独立性

五，怎么实现进程程序替换

        进程程序替换是指在运行过程中将一个进程的地址空间中的代码、数据和堆栈等内容完全替换为另一个程序的代码、数据和堆栈的过程。

这个过程通常是由操作系统提供的 exec 系列函数来实现的：

  1. 地址空间替换：进程的地址空间是指进程可以访问的内存范围。通过地址空间替换，进程可以在运行时动态地加载并执行不同的程序，从而实现灵活的程序执行和管理。
  2. exec 函数族：exec 函数族是一组系统调用，用于执行程序替换操作。这些函数包括 execl, execv, execle, execve 等，它们允许以不同的方式传递参数给新程序，并执行地址空间替换。（我们要改变内存，那肯定是要调用系统调用接口的，这些函数会封装相应的接口）
  3. 程序入口点：新程序的入口点是程序中的起始执行位置，通常是 main 函数或其他指定的入口函数。替换完成后，控制权将转移到程序入口点，开始执行新程序的代码。

5.1.原理

  • 当进程调用一种exec函数时,该进程的用户空间代码和数据完全被新程序替换
  • 替换完成后，控制权将转移到新程序的入口点，开始执行新程序的代码。

5.2.使用execl（）函数

        在学习使用进程程序替换的相关接口之前我们首先需要明确一点，这个在使用接口的时候需要做什么事情？

        很明显，最基本的我们首先得知道这个程序在哪里，其次，我们还需要知道怎么执行这个程序（比如在我们前面学习一些指令的时候，有些指令是可以携带选项的有些指令可以不用携带选项）。

        总结起来就是我们需要知道要执行的程序的路径和怎么执行新程序

        execl函数是Linux系统中用于执行新程序的函数之一，它属于exec函数族的一部分。

        这个函数的作用是在当前进程的上下文中启动一个新的程序，并替换当前进程的映像为新的程序映像。调用execl函数后，当前进程将停止执行，并由新的程序开始执行.

函数原型如下

参数说明：

  • path：要执行的程序的路径。
  • arg0：新程序的参数列表的开始，通常这会是新程序的名称（尽管这不是强制的，但它通常用于错误消息和程序内部）。
  • ...：一个可变参数列表（参数的数量不固定），新程序的参数列表，必须以NULL结尾。

        execl函数会根据提供的路径path找到并执行相应的程序，同时将arg0及其后面的参数作为新程序的命令行参数传递。注意，参数列表必须以NULL结尾，这是告诉execl参数列表结束的标志。 

  只看上面的解释，我相信小伙伴们对于这一块还是不太理解，那么上代码：

 我们来看个例子

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/wait.h>int main()
{printf("I'm a process, pid: %d\n", getpid());printf("execl begin...\n");int a=execl("/usr/bin/ls", "ls", "-a", "-l", NULL);printf("execl end...\n");return 0;
}

        如果execl函数调用成功，那么它实际上不会返回，因为当前进程的映像已经被新程序替换。如果调用失败，它会返回-1，并设置全局变量errno以指示错误原因。常见的错误原因可能包括文件未找到、权限不足等。

        execl函数和其他exec函数一样，不会创建新的进程。它们只是在当前进程的上下文中启动另一个程序。因此，调用execl前后，进程的ID（PID）不会改变。

        同时，由于execl会替换整个进程映像，所以在调用execl之前，通常需要确保当前进程的所有打开的文件描述符、内存分配等都被适当地处理或释放，因为这些资源不会被新程序继承。

5.2.1.结论与细节

1，程序替换一旦成功，exec后面的代码不在执行。因为被替换掉了，这也是什么代码没有输出execl end的原因了

2，exec函数调用成功，那么它实际上不会有返回值；调用失败，它会返回-1

3，exec函数不会创建新的进程。它们只是在当前进程的上下文中启动另一个程序

4，创建一个进程。我们是先创建PCB、地址空间、页表等再先把程序加载到内存

                                如果先加载的话，页表都没办法映射的

5，程序替换的本质就是加载 （可以看成一个加载器），有替换就是替换，没有就是程序加载

        程序替换的本质是程序加载，因为在执行 exec 函数时，操作系统会加载新程序的可执行文件，并将其代码、数据和堆栈等部分加载到进程的地址空间中。这个过程涉及将新程序的内容从磁盘加载到内存中，为进程提供执行所需的资源。

        因此，虽然我们常说是“程序替换”，但实际上更准确地说是将新程序加载到内存中，替换掉原有的程序，以实现进程的功能切换和更新。

6，程序运行要加载到内存；为什么？

        冯诺依曼体系规定；

如何加载的呢？

        就是程序替换：程序替换是操作系统的接口，所谓的把磁盘里的数据加载到内存就是把磁盘设备的数据拷贝到内存里。把数据从一个硬件搬到另一个硬件，只有操作系统能做

5.3.多进程实现使用ls 

1，我们可以创建一个子进程，由子进程来进行程序替换，父进程来等待结果就可以。为什么？ 父进程能得到子进程的执行结果

2，我们知道父进程与子进程映射到同一块代码，那么子进程进行程序替换后，不是会覆盖吗，替换为什么不影响父进程？

        进程具有独立性，在进行程序替换时要进行写时拷贝，写时拷贝的本质就是开辟新的空间

3，shell是如何运行起来一个指令的？

        首先创建子进程，shell会waitpid（）等待进程结果，子进程会继承shell的代码，但是不影响。子进程进行程序替换，替换为我们输入的指令

 上面的实验是没有子进程的，是一个纯单进程的实验，下面将演示一个多进程的例子执行ls指令

上面的实验思路就是父进程创建一个子进程，然后本来子进程是要执行父进程的代码块和父进程进行代码共享的，但是我们在子进程中调用execl函数接口，因此，在子进程中会进行程序替换

6.exec系列函数

        由我们库封装的exec函数常用的有上面的几种，这些函数都有下面的特性，当该函数成功执行，那么进程替换成功，代码不再返回，如果函数调用失败，例如不正确的地址，不正确的文件等等，函数会返回一个-1，并且exec函数之后在函数调用失败时才有返回值，成功没有返回值。

        只有失败时有返回值其实很好理解，因为函数调用成功那就表示程序替换成功，原来的代码都被替换了，我返回之后给谁？没了，之后的代码就是新代码了

1.execl：

该函数允许通过提供可变数量的参数来执行指定的可执行文件。它的原型如下：

int execl(const char *path, const char *arg0, ... /*, (char *)0 */);

path 是要执行的可执行文件的路径，arg0 是第一个参数，后续参数都是传递给可执行文件的命令行参数，以 NULL 结尾。

观察上图发现进程替换成功后，替换函数下的打印没有执行，原因与注意事项的第二条相同

如果替换失败：

2.execlp：

该函数与 execl 类似，但是它会在系统的环境变量 PATH 指定的目录中查找可执行文件。它的原型如下：

int execlp(const char *file, const char *arg0, ... /*, (char *)0 */);

file 是要执行的可执行文件的文件名，arg0 是第一个参数，后续参数都是传递给可执行文件的命令行参数，以 NULL 结尾。

相比于execl函数，execlp函数的第一个参数能直接写文件名，系统会PATH环境变量里去查找

多的字母p的意思：PATH环境变量

int main()
{pid_t id = fork();if (id == 0){printf("I'm a process, pid: %d\n", getpid());printf("execl begin...\n");execl("ls", "ls", "-a", "-l", NULL);printf("execl end...\n");exit(1);}pid_t rid = waitpid(id, NULL, 0);if (rid > 0){printf("wait successfully\n");}return 0;
}

3.execv：

类似于 execl，但是允许传递一个参数数组给被执行的程序。它的原型如下：

int execv(const char *path, char *const argv[]);

path 是要执行的可执行文件的路径，argv 是一个以 NULL 结尾的参数数组，其中每个元素都是一个字符串，表示命令行参数。

相比于exec多个字母v：代表vector

int main()
{pid_t id = fork();if (id == 0){printf("I'm a process, pid: %d\n", getpid());printf("execl begin...\n");char* argv[] = { "ls","-a","-l",NULL};execv("/usr/bin/ls",argv);printf("execl end...\n");exit(1);}pid_t rid = waitpid(id, NULL, 0);if (rid > 0){printf("wait successfully\n");}return 0;
}

4.execvp：

类似于 execv，但是它会在系统的环境变量 PATH 指定的目录中查找可执行文件。它的原型如下：

int execvp(const char *file, char *const argv[]);

file 是要执行的可执行文件的文件名，argv 是一个以 NULL 结尾的参数数组，其中每个元素都是一个字符串，表示命令行参数。

既有字母p 又有v，结合上面那两种就行

5.execle：

函数与 execl 函数类似，但允许在启动新程序时传递额外的环境变量。它的原型如下：

int execle(const char *path, const char *arg, ..., char *const envp[]);

path 是要执行的可执行文件的路径，arg 是要传递给新程序的命令行参数，后面的参数是额外的环境变量，以 NULL 结尾。

进程程序替换不会替换环境变量的

想要子进程继承全部的环境变量，不用管，直接就能拿到

单纯新增环境变量，在父进程里使用putenv()函数，会影响子进程

putenv 是 C 语言中的一个库函数，它定义在 <stdlib.h> 头文件中。这个函数用于将字符串添加到环境变量中，或者修改已经存在的环境变量的值。

int putenv(const char *string);

使用全新的环境变量，就使用execle()函数，那么替换后的代码切换后的环境变量就只是我们传入的表里的内容

 因为此时我们没有环境变量MYSTR所以第一行打印为空

这里在myProc子进程中用execle函数来导入环境变量MYSTR

注意：

  • 1.导环境变量的数组最后以NULL结尾
  • 2.导入环境变量后原系统环境变量的值被清空，这种导入环境变量的方式为覆盖式导入 

 6.使用方法总结

有人就说了上面那些函数，我怎么记得住他们的用法啊？

 使用这些函数其实简单，先将函数名的exec提取出来看后面的几个字母。

l：表示用列表方式传递。

    其中/bin/ls表示需要执行的文件是谁，ls表示执行方式，而-a和-l表示这个执行的参数列表。

v：表示使用数组的方式传递。 

 可以看到我们用过指针数组的方式将我们的执行和参数列表存到了一起，然后将这个指针数组作为参数传递给我们的execv函数就行。

p：表示自己只需要传递需要执行的文件是谁，操作系统会从默认环境变量当中去查找。

 e：表示可以传递自己的环境变量。 

 注意：当我们传递自己的环境变量时会替换默认环境变量，所以如果想要添加一个环境变量，而不是替换那就需要下方的操作。

通过系统提供的存环境变量的environ变量，在用putenv函数添加自己的环境变量，以达到添加环境变量的操作。

        上面的几个字母通过不同的组合可以达到不同的操作方式。

7.也可以调用其他语言的程序

code.c里：

int main()
{char* const env[] = {(char*)"first",(char*)"second",NULL };pid_t id = fork();if (id == 0){printf("I'm a process, pid: %d\n", getpid());printf("execl begin...\n");execle("./mytest", "mytest", NULL, env)printf("execl end...\n");exit(1);}pid_t rid = waitpid(id, NULL, 0);if (rid > 0){printf("wait successfully\n");}return 0;
}

 test.cpp里：

#include <iostream>
#include <unistd.h>using namespace std;int main()
{for (int i = 0; environ[i]; i++){printf("env[%d]: %s\n", i, environ[i]);}cout << "This is C++" << endl;return 0;
}

当然我们也能传系统环境变量，但是没必要，这样的话直接默认就行

execle("./mytest", "mytest", NULL, environ)//传入这个全局变量

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/852238.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Apple ID已成历史，在ios18中正式更名为Apple Account

Apple ID已成历史，在ios18中正式更名为Apple Account

随着iOS18的首个开发者预览版成功推送&#xff0c;众多热衷于尝鲜的用户已纷纷升级并开启全新体验。在这个版本中&#xff0c;备受瞩目的Apple ID正式迎来了它的进化——更名为Apple Account&#xff0c;并且拥有了中文名称“Apple账户”或简称“苹果账户”。 不过目前官网还称…
阅读更多...
【机器学习】新网络环境docker实战：AI智能体平台DIFY部署与升级

【机器学习】新网络环境docker实战：AI智能体平台DIFY部署与升级

目录 一、引言 二、Dify在dockerhub被禁用后&#xff0c;如何部署、升级 2.1 网络及硬件条件 2.2 docker部署、升级方案 三、总结 一、引言 关于dify&#xff0c;之前力推过&#xff0c;大家可以跳转 AI智能体研发之路-工程篇&#xff08;二&#xff09;&#xff1a;Dify…
阅读更多...
Python基于车牌识别的车辆进出管理系统

Python基于车牌识别的车辆进出管理系统

目录 1、效果图2、具体内容系统流程开发工具和环境项目所需依赖包目录描述&#xff1a;启动Django服务登录账号 3、源码下载技术交流 博主介绍&#xff1a; 计算机科班人&#xff0c;全栈工程师&#xff0c;掌握C、C#、Java、Python、Android等主流编程语言&#xff0c;同时也熟…
阅读更多...
Dom操作——操作元素，各种事件

Dom操作——操作元素，各种事件

Dom操作——操作元素&#xff0c;各种事件 文章目录 Dom操作——操作元素&#xff0c;各种事件一、操作元素操作内容操作属性操作样式 二、各种事件单击事件onload事件键盘事件鼠标事件焦点事件 一、操作元素 操作内容 1、经验&#xff1a; 修改 HTML 内容的最简单的方法时使…
阅读更多...
Mysql数据类型解析

Mysql数据类型解析

1、MySQL 数据类型 MySQL 支持多种类型&#xff0c;大致可以分为三类&#xff1a;数值、日期/时间和字符串&#xff08;字符&#xff09;类型。 1.2、查看Mysql编码格式 mysql> show variables like "%char%"; ----------------------------------------------…
阅读更多...
283. 移动零 (Swift版本)

283. 移动零 (Swift版本)

题目描述 最容易想到的解法 从后向前遍历, 发现0就通过交换相邻元素将0移动到最后 class Solution {func moveZeroes(_ nums: inout [Int]) {for index in (0..<nums.count).reversed() {if nums[index] 0 {moveZeroes(&nums, index)}}}func moveZeroes(_ nums: inout …
阅读更多...
为什么 JavaScript 在国外逐渐用于前端+后端开发

为什么 JavaScript 在国外逐渐用于前端+后端开发

这个问题其实没人能给出可证伪的结论&#xff0c;那不如干脆给一个感性的答案: 因为阿里“不争气”。 确切的说&#xff0c;因为阿里的nodejs团队没卷赢&#xff0c;至少暂时还没卷赢&#xff0c;没拿到真正有价值的业务场景&#xff0c;做出真正有说服力的案例项目。刚好我有…
阅读更多...
Qt调用第三方库的通用方式（静态链接库.a或.lib、动态链接库.dll）

Qt调用第三方库的通用方式（静态链接库.a或.lib、动态链接库.dll）

目录 一、前提 二、如何引用静态链接库 三、如何引用动态链接库 四、示例代码资源 在开发项目中经常会存在需要调用第三方库的时候&#xff0c;对于Qt如何来调用第三方库&#xff0c;为了方便自己特意记录下详细过程。 一、前提 1. window 10操作系统 2. 已安装了Qt6.7.…
阅读更多...
水帘降温水温

水帘降温水温

不同环境下的水帘啊&#xff0c;使用水温是不一样的&#xff0c;夏天使用水疗的水有两种&#xff0c;一个是常温的循环水&#xff0c;20~26左右&#xff0c;另外一个呢&#xff0c;就是深井水&#xff0c;重点是啥呢&#xff1f;就是无论我们用哪一种&#xff0c;能够把温度降到…
阅读更多...
【Java数据结构】优先级队列详解（二）

【Java数据结构】优先级队列详解（二）

&#x1f512;文章目录&#xff1a; 1.❤️❤️前言~&#x1f973;&#x1f389;&#x1f389;&#x1f389; 2.PriorityQueue的特性 3.优先级队列的构造 4.如何控制优先级队列是小堆还是大堆 5.PriorityQueue的方法 6. PriorityQueue的自动扩容方式 7.top-k问题——最小…
阅读更多...
6.13作业

6.13作业

自由发挥登录窗口的应用场景&#xff0c;实现一个登录窗口界面 #include "mywidget.h"MyWidget::MyWidget(QWidget *parent): QWidget(parent) {//设置窗口标题this->setWindowTitle("QQ");//设置窗口图标this->setWindowIcon(QIcon("C:/Users/…
阅读更多...
鸿蒙轻内核A核源码分析系列七 进程管理 (1)

鸿蒙轻内核A核源码分析系列七 进程管理 (1)

本文开始继续分析OpenHarmony LiteOS-A内核的源代码&#xff0c;接下来会分析进程和任务管理模块。本文中所涉及的源码&#xff0c;以OpenHarmony LiteOS-A内核为例&#xff0c;均可以在开源站点 https://gitee.com/openharmony/kernel_liteos_a 获取。如果涉及开发板&#xff…
阅读更多...
spring中IOC容器创建流程

spring中IOC容器创建流程

跳转参考地址&#xff1a;https://wuliqun.cn/details?pps53
阅读更多...
【安装笔记-20240613-Linux-在 OpenWrt 的 LuCI界面支持命令行调试】

【安装笔记-20240613-Linux-在 OpenWrt 的 LuCI界面支持命令行调试】

安装笔记-系列文章目录 安装笔记-20240613-Linux-在 OpenWrt 的 LuCI界面支持命令行调试 文章目录 安装笔记-系列文章目录安装笔记-20240613-Linux-在 OpenWrt 的 LuCI界面支持命令行调试 前言一、软件介绍名称&#xff1a;ttyd主页官方介绍特点 二、安装步骤测试版本&#xf…
阅读更多...
两种典型的嵌入式系统架构模式

两种典型的嵌入式系统架构模式

大多数嵌入式系统都具备实时特征&#xff0c;那么&#xff0c;这种嵌入式系统的典型架构可概括为两种模式&#xff0c;即层次化模式架构和递归模式架构。 1.层次化模式架构 为了达到概念一致性&#xff0c;许多系统通过层次化的方法进行搭建。这样做的结果是&#xff1a;位于高…
阅读更多...
Chisel入门——在windows系统下部署Chisel环境并点亮FPGA小灯等实验

Chisel入门——在windows系统下部署Chisel环境并点亮FPGA小灯等实验

Chisel入门——在windows系统下部署Chisel环境并点亮FPGA小灯等实验 一、chisel简介二、vscode搭建scala开发环境2.1 安装Scala官方插件2.2 java版本&#xff08;本人用的是jdk18&#xff09;2.3 下载Scala Windows版本的二进制文件2.4 配置环境变量2.5 scala测试2.6 vscode运行…
阅读更多...
axure制作菜单下拉、隐藏、点击选中效果

axure制作菜单下拉、隐藏、点击选中效果

在高保真原型中&#xff0c;制作导航栏菜单时&#xff0c;需要达到点击下拉按钮&#xff0c;子菜单自动弹出&#xff0c;点击其中一个子菜单项可栏目变为选中状态且跳转到对应的子页面。制作材料可以从antdesign中去下载&#xff0c;以下述网络配置菜单为例。在箭头处添加互动效…
阅读更多...
RedHat8.4离线升级内核（漏洞编号CVE-2024-1086）

RedHat8.4离线升级内核（漏洞编号CVE-2024-1086）

一、背景 针对Linux内核提取权限漏洞 (漏洞编号CVE-2024-1086&#xff09;&#xff0c;整理离线环境的修复方案。本文以离线修复方案为主进行说明&#xff0c;第八章对在线修复方案进行说明。 (一) 漏洞简介 近日&#xff0c;绿盟科技CERT监测网上有研究员公开披露了一个Lin…
阅读更多...
SpringBoot Vue Bootstrap 旅游管理系统

SpringBoot Vue Bootstrap 旅游管理系统

SpringBoot Vue 旅游管理系统源码&#xff0c;附带环境安装&#xff0c;运行说明 源码地址 开发环境 jdk1.8,mysql8,nodejs16,navicat,idea 使用技术springboot mybatis vue bootstrap 部分功能截图预览
阅读更多...
【SQLAlChemy】常见的数据类型有哪些，Column可选的参数有哪些呢？

【SQLAlChemy】常见的数据类型有哪些，Column可选的参数有哪些呢？

常见数据类型与Column参数 常见类型 Integer&#xff1a;整数类型&#xff0c;对应数据库的 int 类型。Float&#xff1a;浮点数类型&#xff0c;对应数据库的 float 类型。它占用 32 位空间。Double&#xff1a;双精度浮点数类型&#xff0c;对应数据库的 double 类型&#…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023