【Linux】进程理解与学习-程序替换

简介: 【Linux】进程理解与学习-程序替换

前言



在前文,我们学习了fork函数创建子进程,而创建子进程主要就是为了让它帮我们执行特定的任务。而我们之前所学的都只是为了让子进程帮我们执行父进程的部分代码(通过执行流分流的方式),并没有执行一个全新的程序。但实际上子进程也是可以执行一个新的程序。子进程可以通过程序替换的方式将父进程的代码与数据替换成新的程序对应的代码与数据。本文将对此进行探讨。


程序替换



进程可以通过程序替换的方式来执行一个全新的程序,具体的做法则是通过对应的程序替换的几个系统调用函数来实现,下面先来看一下程序替换的现象,根据这个现象来分析程序替换实现的原理。


程序替换的现象


接下来我们通过该现象对此进行分析,现象如下:


1.png


我们可以看到,我们最终的执行结果并不是像我们想象的那样,而是将本该打印的end给替换成了执行ls这个指令。那么具体的原理是怎样的呢?如下图所示:


程序替换的原理


原理图解


2.png


通过上图,也解释了为什么在执行我们的进程时,execl函数后面的end的打印并没有执行,因为在我们执行完打印begin后,开始调用系统调用函数execl,将新的程序(ls)的代码与数据加载到内存对应的位置,将老进程的代码与数据给替换掉,所以就执行不了后面的打印end指令了。(这里注意的是,程序替换是实现的代码与数据的整体替换)


那么这里不仅有一个问题:在进程替换时,有没有产生新的进程呢?


答案是没有的,因为我们仅仅只是将老进程里面的代码与数据,替换成新程序的代码与数据,实现程序替换。并没有产生新的进程。正如上图所示,原进程对应的pcb并没有发生改变,也没有产生新的pcb。


当然我们也可以通过代码来验证一下:


3.png


多进程对应的程序替换


当然,假如我们使用fork创建子进程,让子进程完成程序替换,子进程的程序替换并不会影响父进程,这是因为父子进程都有各自独立的PCB,并且由于写时拷贝机制的存在,使得父子进程互相独立,互不影响。


4.png


程序替换函数


接下来我们讲一下几个程序替换函数。总体一共有7个,其中这七个里的六个实际上底层都是调用第七个。总体如下:


5.png


exec函数家族关系


对于这些exec函数,它们都只具有失败时候的返回值,当程序替换失败时,会返回-1,同时继续往后执行exec后面的指令,当替换成功时会直接执行替换后的新程序。接下来逐一介绍。


execl函数


首先介绍的是execl函数,我们在上面的演示中用到的就是该函数。


int execl(const char *path, const char *arg, ...);

对于该函数来说:


返回值:失败返回-1,替换成功执行新程序。

path参数:新程序的路径位置(找到它)

arg参数:新程序名称(执行它)

...:可变参数,这里表示命令行参数选项(就比如上文所示-a -l),以NULL结尾。

举例:


6.png


execv

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


该函数我们发现,之前的l变成了v,实际上其实就是用了一个函数指针数组,将之前的"ls","-a","-l"的地址放进数组里,数组最后一位元素为NULL,然后将该指针数组的起始地址(数组名),当作execv的第二个参数。


对于该函数来说:


返回值:替换失败返回-1

path参数:程序所在路径

argv[]:指针数组的地址(数组名)

举例:


7.png


execlp

int execlp(const char *file, const char *arg, ...);


对于该函数,我们发现之前的path参数更换成了file,然后函数名中加了个p,其实代表的意思就是,会在PATH环境变量中根据file名查找file的路径,后面的参数代表的与execl一样。


对于该函数:


返回值:替换失败返回-1

file传程序名,会根据程序名自动在PATH中搜索该程序对应的路径。(找到它,不需要我们传具体的路径,会自动匹配)

后面的arg表示程序名(执行它)

...:可变参数,表示新程序的命令行参数选项(怎么执行,比如:-a -l),以NULL结尾

举例:


8.png


不过这里需要注意的是,自动搜索匹配路径是指在PATH环境变量中搜寻,假如一个新程

序的路径并不在PATH中,则会匹配不上,就导致替换失败。如下:


9.png


程序替换失败


execvp


我们发现,该函数变成了vp结尾,v表示数组(指针数组)的形式,p表示自动搜索匹配环境变量PATH中的路径。


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

对于该函数:


返回值:替换失败返回-1

file:程序名,会根据程序名自动搜索在PATH中对应的路径

argv[]:指针数组,用法同execv

举例:


10.png


同样,这里自动匹配路径指的是在PATH中搜索,假如我们想要执行替换自己写的程序,就要将我们写的程序的路径用export导入环境变量即可。


execle


这里的e,表示environ,即表示环境变量表。也就是说,我们可以将当前程序的替换成新程序,同时将老的环境变量表也传给新程序。


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

对于该函数:


返回值:替换失败返回-1

用法同execl,只是最后加了一个参数,用来传给新程序环境变量表(这个环境变量表可以是自己定义,也可以是系统的)。

当然如果将自定义的环境变量表传给新程序的话,新程序的原有的系统环境变量表就会被覆盖掉。

举例:


11.png


execvpe


我们发现,这里v(数组)、p(PATH)、e(环境变量表),三者都集齐了。  


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

对于该函数:


返回值:替换失败返回-1

file:会自动根据file匹配PATH中的路径,不需要我们手动写全

argv[]:指针数组

envp[]:环境变量表(可以是系统的,也可以是自定义的)

举例:


newtest程序:


#include<stdio.h>
#include<unistd.h>
#include<stdlib.h>
 int main()
 {
   extern char** environ;
   printf("我是新程序,我的环境变量表中的前三个环境变量是:\n");                                                                               
   for(int i=0;i<3; ++i)
   {
     printf("%d:%s\n",i,environ[i]);
   }
   return 0;
 }

运行newtest:


12.png


mytest程序:实现程序替换(在此之前已经将newtest的路径导入了PATH)


#include<stdio.h>
 #include<unistd.h>
 #include<stdlib.h>
 #include<sys/types.h>
 #include<sys/wait.h>
 #include<fcntl.h>
 int main()
 {
   pid_t id=fork();//创建子进程
   if(id == 0)
   {
     //child
    printf("我是子进程,pid:%d\n",getpid());
    char*const envp[]={"myval=520",NULL};//自定义环境变量表
    const char* argv[]={"newtest",NULL};//指针数组
    execvpe("newtest",argv,envp);//注意:我已经将newtest的路径导进了PATH
    printf("程序替换失败\n");                                                                                                               
    exit(1);
  }
   //father
   int status=0;
   waitpid(id,&status,0);//进程等待
   if(WEXITSTATUS(status)!=1)
   {
     printf("进程替换成功\n");
   }
   return 0;
 }

13.png


已经将新程序路径导入环境变量


14.png


execve

execve为最正宗的系统调用函数,我们这里讲解的其它的系统调用其实底层都是调用了该函数。


int execve(const char *filename, char *const argv[],
                  char *const envp[]);

对于该函数:


替换失败返回-1

参数filename:表示新程序的路径(找到它)

argv[]:指针数组,存放新程序名(执行它),以及程序对应的命令行参数列表(比如ls的-a -l),最后以NULL结束。

envp[]:环境变量表(可自定义),传入环境变量表后,新程序的老的环境变量表就被这里的envp环境变量表给覆盖了。

举例:


15.png


额外补充


对于以上的这么多系统调用函数,可能看了都头大,但是仔细看,其实会有很多共性,可以利用这 个特点来更加巧妙地记住这些函数的用法。


联想记忆exec函数家族:


带有l的:l联想list,所以参数中要带有NULL,就好像一个链表一样。("ls", "-l"," -a"," NULL)

带有v的:v联想vector,说明第二个参数传的是个数组(指针数组)

带有p的:p联想PATH,说明第一个参数不需要我们传具体的路径,只需要传个程序名即可(会自动搜索PATH路径进行匹配)。

带有e的:说明最后一个参数是用来传环境变量表(也可以是自定义的环境变量表)的


相关文章
|
6天前
|
存储 IDE Linux
零基础保姆级教程!手把手教你免费玩转Linux CentOS安装+学习环境搭建(附避坑指南)
本文详细介绍了在VMware虚拟机中安装CentOS 6.8的全过程。首先,需确保已安装VMware并开启V-CPU虚拟化功能,可通过BIOS设置或使用LeoMoon CPU-V工具检测。接着,下载CentOS镜像文件,并在VMware中新建虚拟机,配置CPU、内存、硬盘等参数。最后,加载ISO镜像启动虚拟机,按照提示完成CentOS的安装,包括语言、键盘、存储方式、地区、密码设置及硬盘分区等步骤。安装完成后,以root用户登录即可进入系统桌面,开始学习Linux命令和操作。
51 12
零基础保姆级教程!手把手教你免费玩转Linux CentOS安装+学习环境搭建(附避坑指南)
|
11天前
|
Linux Shell
Linux 进程前台后台切换与作业控制
进程前台/后台切换及作业控制简介: 在 Shell 中,启动的程序默认为前台进程,会占用终端直到执行完毕。例如,执行 `./shella.sh` 时,终端会被占用。为避免不便,可将命令放到后台运行,如 `./shella.sh &`,此时终端命令行立即返回,可继续输入其他命令。 常用作业控制命令: - `fg %1`:将后台作业切换到前台。 - `Ctrl + Z`:暂停前台作业并放到后台。 - `bg %1`:让暂停的后台作业继续执行。 - `kill %1`:终止后台作业。 优先级调整:
32 5
|
11天前
|
Linux 应用服务中间件 nginx
Linux 进程管理基础
Linux 进程是操作系统中运行程序的实例,彼此隔离以确保安全性和稳定性。常用命令查看和管理进程:`ps` 显示当前终端会话相关进程;`ps aux` 和 `ps -ef` 显示所有进程信息;`ps -u username` 查看特定用户进程;`ps -e | grep &lt;进程名&gt;` 查找特定进程;`ps -p &lt;PID&gt;` 查看指定 PID 的进程详情。终止进程可用 `kill &lt;PID&gt;` 或 `pkill &lt;进程名&gt;`,强制终止加 `-9` 选项。
20 3
|
12天前
|
Linux
Linux:守护进程(进程组、会话和守护进程)
守护进程在 Linux 系统中扮演着重要角色,通过后台执行关键任务和服务,确保系统的稳定运行。理解进程组和会话的概念,是正确创建和管理守护进程的基础。使用现代的 `systemd` 或传统的 `init.d` 方法,可以有效地管理守护进程,提升系统的可靠性和可维护性。希望本文能帮助读者深入理解并掌握 Linux 守护进程的相关知识。
27 7
|
17天前
|
存储 Linux API
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
在计算机系统的底层架构中,操作系统肩负着资源管理与任务调度的重任。当我们启动各类应用程序时,其背后复杂的运作机制便悄然展开。程序,作为静态的指令集合,如何在系统中实现动态执行?本文带你一探究竟!
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
|
1月前
|
存储 网络协议 Linux
【Linux】进程IO|系统调用|open|write|文件描述符fd|封装|理解一切皆文件
本文详细介绍了Linux中的进程IO与系统调用,包括 `open`、`write`、`read`和 `close`函数及其用法,解释了文件描述符(fd)的概念,并深入探讨了Linux中的“一切皆文件”思想。这种设计极大地简化了系统编程,使得处理不同类型的IO设备变得更加一致和简单。通过本文的学习,您应该能够更好地理解和应用Linux中的进程IO操作,提高系统编程的效率和能力。
77 34
|
1月前
|
消息中间件 Linux C++
c++ linux通过实现独立进程之间的通信和传递字符串 demo
的进程间通信机制,适用于父子进程之间的数据传输。希望本文能帮助您更好地理解和应用Linux管道,提升开发效率。 在实际开发中,除了管道,还可以根据具体需求选择消息队列、共享内存、套接字等其他进程间通信方
68 16
|
2月前
|
消息中间件 Linux
Linux:进程间通信(共享内存详细讲解以及小项目使用和相关指令、消息队列、信号量)
通过上述讲解和代码示例,您可以理解和实现Linux系统中的进程间通信机制,包括共享内存、消息队列和信号量。这些机制在实际开发中非常重要,能够提高系统的并发处理能力和数据通信效率。希望本文能为您的学习和开发提供实用的指导和帮助。
185 20
|
3月前
|
存储 监控 Linux
嵌入式Linux系统编程 — 5.3 times、clock函数获取进程时间
在嵌入式Linux系统编程中,`times`和 `clock`函数是获取进程时间的两个重要工具。`times`函数提供了更详细的进程和子进程时间信息,而 `clock`函数则提供了更简单的处理器时间获取方法。根据具体需求选择合适的函数,可以更有效地进行性能分析和资源管理。通过本文的介绍,希望能帮助您更好地理解和使用这两个函数,提高嵌入式系统编程的效率和效果。
138 13
|
3月前
|
SQL 运维 监控
南大通用GBase 8a MPP Cluster Linux端SQL进程监控工具
南大通用GBase 8a MPP Cluster Linux端SQL进程监控工具