当前位置: 首页 > article >正文

【Linux】进程控制(2)(阻塞vs非阻塞 进程程序替换 替换函数 单进程: 别的方式 进程程序替换原理 通过myexec执行自己写的程序)

文章目录

    • 进程等待
      • 阻塞vs非阻塞
    • 进程程序替换
      • 替换函数
        • 单进程:
        • 别的方式
        • 进程程序替换原理
        • 通过myexec执行自己写的程序


进程等待

阻塞vs非阻塞

  1. waitpid调用成功 && 子进程没退出子进程没有退出,我的waitpid没有等待失败,仅仅是没有检测到子进程没有退出。
  2. waitpid调用成功 && 子进程退出了。
  3. waitpid调用失败。

WNOHANG: 非阻塞->子进程没有退出,父进程检测的时候立即返回。

在这里插入图片描述
在这里插入图片描述

进程程序替换

创建子进程的目的:
a.想让子进程执行父进程代码的一部分。(执行父进程对应的磁盘代码中的一部分)
b. 想让子进程执行一个全新的程序。(让子进程想办法,加载磁盘上指定的程序,执行新程序代码和数据)->这种操作我们称为进程的程序替换!

见见进程替换:

替换函数

#include <unistd.h>`
int execl(const char *path, const char *arg, ...);
int execlp(const char *file, const char *arg, ...);
int execle(const char *path, const char *arg, ...,char *const envp[]);
int execv(const char *path, char *const argv[]);
int execvp(const char *file, char *const argv[]);
int execve(const char *path, char *const argv[], char *const envp[]);

打开man手册,查看execl
在这里插入图片描述
execl这样的函数将指定的程序加载到内存中,让指定进程进行执行

int execl(const char *path, const char *arg, ...);
如何执行?
想要把指定的程序加载到指定内存必须得解决两个问题:1.先找到执行哪一个程序,环境变量path的意义就是帮助我们找到程序,第一个参数就解决了这个问题。2.如何执行?第二个参数解决这个问题。(在命令行中怎么执行,就怎么传参)

...是C语言中的可变参数列表,可变参数列表它是一个可以给C语言函数传递不同个数的参数。
例如:
man 3 printf
在这里插入图片描述

man 3 scanf

在这里插入图片描述
它们都是可变参数。

单进程:

我们要执行user路径下bin路径下的ls,第一个参数就是"/user/bin/ls"第二个参数的传参方法:在命令行中怎么执行,就怎么传参。不想带选项就以NULL结尾(all exec* end of NULL)。如下:

execl("/user/bin/ls","ls",NULL);  

在这里插入图片描述
编译运行我们所写的程序,

在这里插入图片描述

发现达到了我们输入ls命令的目的。
继续补充代码:

 execl("/usr/bin/ls","--color=auto","-a","-l","ls",NULL);

得到结果:
在这里插入图片描述

我们可以让我们的程序用C语言把别人的程序全部调用起来这就叫做程序替换

再比如:

 execl("/usr/bin/top","top",NULL);

把任务管理器调用起来了。

在这里插入图片描述


在这里插入图片描述
l:list:将参数一个一个的传入exec*


别的方式

在这里插入图片描述

 execlp("ls","ls",NULL);

p:path:如何找到程序的功能,带p字符的函数,不用告诉exec程序的路径,只要告诉是谁就行,exec会自动在环境变量PATH,进行可执行程序的查找。

两个ls不重复,一个是告诉系统我是谁?一个告诉系统,我想怎么执行。


在这里插入图片描述

char *const argv_[] = {
     "ls",
     "-a",
     "-l",
     "--color=auto",
     NULL
};
 execv("usr/bin/ls",argv_);

v:vector:可以将所有的执行参数,放入数组中,统一传递,而不用进行使用可变参数方案。


在这里插入图片描述

char *const argv_[] = {
     "ls",
     "-a",
     "-l",
     "--color=auto",
     NULL
};
 execvp("ls",argv_);

v和p上面都解释了。


在这里插入图片描述

char *const envp_[] = {
     (char*)"MYENV=1111222233334444"NULL;
};
 execle("./mybin","mybin",NULL,envp_);

l:list:将参数一个一个的传入exec*
e:自定义环境变量。


真正的执行程序替换的系统调用接口就一个:

在这里插入图片描述

程序替换中execve是系统调用,其他的都是封装,为了让我们有很多的选择性


进程程序替换原理

进程在运行期间,地址空间被指向,它对应的代码区等等,进入页表,映射到物理内存,如下图,进程数据和进程代码,可执行程序最根上也由代码和数据两部分构成,在物理内存中,正常执行代码,访问数据,就一直被CPU调度,进程就一直在运行,当我们实际在调用exec 的时候,就是把可执行程序对应的数据和代码 、程序替换,替换的时候就是把我们的代码和数据load到物理内存对应的位置,所以当我们调用exec*系列的函数本质就是用我们对应的可执行程序的代码和数据来覆盖曾经的代码和数据,必要的时候可能要修改页表。所以程序替换的本质:就是将指定程序的代码和数据加载到指定的位置!(覆盖自己的代码和数据)

进程替换的时候没有创建新的进程,它只是把当前进程的代码和数据做替换

在这里插入图片描述
下面我们看这个问题:我们发现在执行的时候第一句打印了,最后一句为什么没有执行呢?
在这里插入图片描述

printf也是代码,实在execl之后的,execl执行完毕的时候,代码已经全部被覆盖了,开始执行新的程序代码了,所以printf就无法执行了

继续修改代码:

在这里插入图片描述

修改成一个不可能存在的指令,运行:
在这里插入图片描述

发现当前运行到结束了,只要是一个函数调用就有可能失败,就是没有替换成功,就是没有替换

在这里插入图片描述
上面手册上说这个函数只会在出错的时候返回return -1。

exec*为什么没有成功返回值呢?
因为因为它调用成功的时候后续代码都不会被执行了,成功了就和接下来的代码无关了,判断返回值这样的逻辑就毫无意义,所以不需要返回值。

execl只要返回了,一定是错了。

看看下面的问题:
在这里插入图片描述

解释:

在这里插入图片描述
虚拟地址空间+页表保证进程独立性,一旦有执行流想替换代码或者数据,发生写时拷贝。


通过myexec执行自己写的程序

我想通过myexec去执行我自己写的程序:

在这里插入图片描述

修改Makefile:
在这里插入图片描述

此时make就一次形成两个可执行。
在这里插入图片描述
这里我们的目的是让myexec去调用mybin。
在这里插入图片描述

代码如下:

  1 #include <stdio.h>
  2 #include <unistd.h>
  3 #include <stdlib.h>
  4 #include <assert.h>
  5 #include <sys/types.h>
  6 #include <sys/wait.h>
  7 
  8 
  9 int main()
 10 {
 11   printf("process is running...\n");
 12   pid_t id = fork();
 13   assert(id != -1);
 14   if(id == 0)
 15   {
 16     sleep(1);
 17     execl("./mybin","mybin",NULL);
 18     exit(1);
 19   }
 20   int status = 0;
 21   pid_t ret = waitpid(id,&status,0);
 22   if(ret > 0) 23   { 24     printf("wait success: exit code: %d,sig: %d\n",(status>>8)    &0xFF,status & 0x7F);
 25   }                                                           
 26   //printf("process is running...\n");
 27                                       
 28   //execl("/usr/bin/ls","ls",NULL);   
 29   //execl("/usr/bin/ls","ls",NULL);   
 30                                       
 31   // printf("process running done...\n");
 32                                          
 33   return 0;                              
 34 }

在这里插入图片描述

编译运行myexec,它就用myexec把mybin调用起来了。
在这里插入图片描述
现在我们想用C把C++语言调用起来,
在这里插入图片描述
创建:mycpp.cc
在这里插入图片描述

编译运行;
在这里插入图片描述
继续修改myexec.c:和上面的一样只需要改一行代码:
execl("./mycpp","mycpp",NULL);

  1 #include <stdio.h>
  2 #include <unistd.h>
  3 #include <stdlib.h>
  4 #include <assert.h>
  5 #include <sys/types.h>
  6 #include <sys/wait.h>
  7 
  8 
  9 int main()
 10 {
 11   printf("process is running...\n");
 12   pid_t id = fork();
 13   assert(id != -1);
 14   if(id == 0)
 15   {
 16     sleep(1);
 17     execl("./mycpp","mycpp",NULL);
 18     exit(1);
 19   }
 20   int status = 0;
 21   pid_t ret = waitpid(id,&status,0);
 22   if(ret > 0) 23   { 24     printf("wait success: exit code: %d,sig: %d\n",(status>>8)    &0xFF,status & 0x7F);
 25   }                                                           
 26   //printf("process is running...\n");
 27                                       
 28   //execl("/usr/bin/ls","ls",NULL);   
 29   //execl("/usr/bin/ls","ls",NULL);   
 30                                       
 31   // printf("process running done...\n");
 32                                          
 33   return 0;                              
 34 }

编译运行:此时就把C++代码运行起来了。
在这里插入图片描述

结论可以使用程序替换调用任何后端语言对应的可执行程序



http://www.kler.cn/news/9288.html

相关文章:

  • 卫龙携手鸿翼打造研发知识管理平台,“辣条一哥”再次为食品安全和健康发力
  • jmeter跨平台分布式部署
  • vue悬浮导航实现内容滚动时,导航跟随选中,点击导航滚动到相应位置,
  • Android 9.0 添加关机铃声功能实现
  • 用css如何实现样式延迟显示
  • TCP/IP协议及配置
  • 001:Mapbox GL加载基础的地图
  • RHCE-NTP、SSH服务器
  • Spring框架————面试题
  • 使用Docker搭建RabbitMQ集群并用HAProxy实现负载均衡
  • CPP设计-寸步难行
  • Vue开发常用的工具有哪些?
  • 【LaTex】矩阵、向量、单边公式排列
  • Fabric 超级账本学习【9】基于Go语言自己手动实现简单区块链
  • Three.js教程:旋转动画、requestAnimationFrame周期性渲染
  • 基于html+css的盒子内容旋转
  • 【智能算法】蚁群算法及Matlab实现 —— TSP问题
  • CountDownLatch:Java中的同步工具
  • Python基础-03 语句
  • 数学分析:多元微积分1