IPC进程间通信探索——管道的原理与特点

news2024/12/26 22:35:35

  🤣 爆笑教程 👉 《看表情包学Linux》

🔥 CSDN 累计订阅量破千的火爆 C/C++ 教程的 2023 重制版,C 语言入门到实践的精品级趣味教程。
了解更多: 👉 "不太正经" 的专栏介绍 ← 试读第一章
订阅链接: 🔗《C语言趣味教程》 猛戳订阅!

目录

Ⅰ. 进程间通信(IPC)

0x00 引入:为什么要进程间通信?

0x01 进程间通信发展

Ⅱ. 管道(PIPE)

0x00 引入:何为管道?

0x01 匿名管道(Anonymous Pipe) 

0x02 管道通信的原理

0x03 管道通信的特点

0x04 系统调用:pipe 接口


Ⅰ. 进程间通信(IPC)

0x00 引入:为什么要进程间通信?

IPC(Inter-Process Communication,进程间通信

​在讲解进程间通信之前,我想我们应当首当其冲地去了解下:为什么要进程间通信?

进程间通信,难道是吃饱了撑了吗?进程喜欢没事聊两句?当然不是!

我们在之前讲过 "进程之间是具有独立性" 的,如果进程间想交互数据,成本会非常高!

因为独立性之本质即 "封闭",进程们你封闭你的我封闭我的,那么进程间的交流可谓是窒碍难行。

进程间的通信说白了就是 "数据交互",我们需要多进程进行协同处理一件事情。(宏观概念)

​刚才说的是宏观上的概念,下面我们来看看具体的、为什么要进行通信:

  • 数据传输:一个进程需要将它的数据发送给另一个进程
  • 资源共享:多个进程之间共享资源
  • 通知事件:一个进程需要向另一个或一组进程发送讯息,通知它 (它们) 发生了某种事件(比如进程终止时要通知父进程)
  • 进程控制:有些进程希望完全控制另一个进程的执行(如 debug 进程),此时控制进程希望能够拦截另一个进程的所有陷阱和异常,并能够及时知道它的状态改变,属于 "闭环控制"。

因此不要以为,进程独立了就是彻底独立,有时我们需要双方能够进行一定程序的信息交互。

0x01 进程间通信发展

​System V IPC 现在用的已经非常少了,更多的用于本地通信。

这已经是历史产物了,只讲共享内存共享内存什么的我们就不讲了,

因为现在大家都乐于谈论分布式,跨主机的东西了。

Ⅱ. 管道(PIPE)

0x00 引入:何为管道?

​ 鼠鼠我啊整天生活在下水道捏,在管道里阴暗地爬行,对管道可是非常熟悉的捏!

何为管道?管道是 \textrm{Unix} 系统中最古老的 IPC 形式,

将一个进程连接到另一个进程的数据流称为管道 (Pipe)。

​在 \textrm{Linux} 中,管道分为 匿名管道命名管道

下面我们先来讲解 匿名管道 (Anonymous Pipe) !

0x01 匿名管道(Anonymous Pipe) 

匿名管道是计算机进程间的一种 单工 先进先出通信机制,全双工通信 通常需要两个匿名管道。

💭 举个例子:假设内存中有两个独立的进程 A 和 B,我们想让 AB 之间进行进程间通信。

* 令 A 先把数据拷贝到磁盘上,再让 B 去读取该数据,如下图所示:

​我们可以通过这个例子明白一个道理:通信之前,要让不同的进程看到同一份资源。 

现阶段我们要学的进程间通信,不是如何通信,而是先去关注它们是如何看到同一份资源的。

那么在进程通信之前,如何做到让进程 "先看到同一份资源" 呢?

 资源的不同,决定了不同种类的通信方式! 而管道,就是提供共享资源的一种手段。

我们知道,文件在内存和磁盘之间来回切换是非常耗时的,因此进程间通信大多都是内存级别的。

​ 即在内存内部重建一块 "小区域" 进行通信,示意图如下:

对我们来说,我们 echo 一个 hello,写到文件中,实际上这就算通信了:

​但是我们要讨论的不是这种通信!我们讨论的是内存级的通信!

0x02 管道通信的原理

我们在前几章中学了文件描述符 (fd) 的知识点,我们将其系统中存在的匿名管道相结合:

首先,一个进程维护自己进程对应的文件描述符表 file_struct,而 file_struct 中有对应的数组。

​数字里存的是 struct file* fd_array[],这里面存的就是打开文件的文件指针。

其中 0,1,2 被默认占用,这个在之前我们也做过讲解,对应 stdin, stdout, stdin,这里不再赘述。

如果我们今天打开一个文件,OS 为了管理文件,需要将磁盘中的文件的属性信息加载到内存里。

​对该文件形成 struct file,包含了文件的所有属性,对应了文件的:

  • ① 操作方法 
  • ② file 自己内部的缓冲区

如果我们让该进程 fork 创建一个子进程,

在做拷贝时是不需要将 struct file 本身给子进程拷贝一份的。

创建子进程 task_struct file_struct 是需要被拷贝的,但是 struct file 是不需要的。

"创建进程,和我文件有什么关系?"

这也就是为什么我们创建 fork 子进程之后,让父子打印时,都会像同一个显示器打印的原因。

🔺 结论:struct file 一定能找到对应缓冲区的操作方法和 file 自己内部缓冲区。

0x03 管道通信的特点

我们来看看现实生活中的管道,管道大部分都是单向的,所有的管道都是为了传输资源的。

  • 现实中的管道:传输天然气和石油
  • 计算机中的管道:传输数据

在计算机通信领域的管道,如果文件不再是磁盘文件,通过特定的接口表征自己的身份。

自己读写数据时就在文件对应的内存缓冲区里完成数据交互,我们称该文件为 管道 (pipe) 。

Linux 下一切皆文件,因此管道也是文件,管道的底层就是基于 struct file 的。

进程间通信管道是单向的,传输数据的。单向的原因是因为管道的通信特点就是单向的。

❓ Q & A:

① 为什么父进程要分别打开读和写?因为为了让子进程继承,让子进程不用再打开了。
③ 为什么父子要关闭对应的读写?因为管道必须是单向通信的,这是操作系统决定的。
③ 谁决定,父子关闭什么读写?因为不是由管道本身决定的,是由你的需求决定的。

所以对我们来说,管道的建立就一定会出现打开两次文件,然后父子进程还要关闭 fd。

关闭我们 close 就行,但是打开还要我们 open 两次是不是未免太过于麻烦?不用担心!有 pipe!

0x04 系统调用:pipe 接口

Linux 给我们提供了 pipe 接口,只需调一下 pipe 就会在底层自动把文件以读和写的方式打开。

​ 你会得到两个 fd,并且会被写进 pipefd[2] 数组中:

#include <unistd.h>
int pipe(int pipefd[2]);   // 数组中分别存储第一次 O_RDONLY 和 O_WRONLY

你可以理解为:pipe 内部封装了 open,并且它 open 了两次:

  • 第一次 open:以 O_RDONLY 读的方式打开
  • 第二次 open:以 O_WRONLY 写的方式打开

最后,把读写 fd 分别放在 pipefd 数组的 0 下标和 1 下标中,这就帮你创建了一个共享文件。

并且别忘了 pipe 可是系统调用,创建文件时就在内核中将文件类型初始化 i_pipe

让它指向的是一个管道文件,指向管道信息,也就不用和磁盘产生关联了。

当父进程没有写入的时候,子进程在等,所以父进程写入之后,

子进程才能 read(会返回)到数据,子进程打印读取数据要以父进程的节奏为主。

❓ 思考:父进程和子进程读写的时候(向显示器写入也是文件),是有一定顺序性的。父子进程各自 printf 的时候,会有顺序吗?

💡 答案是不会。管道内部没有数据,reader 就必须阻塞等待(read),管道内部如果数据被写满,此时 writer 就必须阻塞等待(write),等管道有数据。

完全乱序的地方就是缺乏访问控制,管道内部自带访问控制机制。

我们可以使用 CreatePipe 来创建匿名管道,并使用 ReadFile 与 WriteFile 函数来对管道进行读写操作,其读写操作总是阻塞式的。

新建进程可继承管道句柄,读管道时收到一个:意味着管道的写端句柄已经关闭。

📌 [ 笔者 ]   王亦优
📃 [ 更新 ]   2022.8.2
❌ [ 勘误 ]   /* 暂无 */
📜 [ 声明 ]   由于作者水平有限,本文有错误和不准确之处在所难免,
              本人也很想知道这些错误,恳望读者批评指正!

📜 参考资料 

C++reference[EB/OL]. []. http://www.cplusplus.com/reference/.

Microsoft. MSDN(Microsoft Developer Network)[EB/OL]. []. .

百度百科[EB/OL]. []. https://baike.baidu.com/.

比特科技. Linux[EB/OL]. 2021[2021.8.31 

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Babel编译与Webpack

目录 Babel初识BabelBabel 使用方式使用 Babel 前的准备工作 WebpackWebpack介绍Webpack初体验Webpack核心概念入口&#xff08;entry&#xff09;出口&#xff08;output&#xff09;加载 (loader)插件&#xff08;plugins&#xff09; Babel Babel官网: https://babeljs.io/…

贝锐蒲公英:没有公网IP,多分支企业如何高效远程访问OA系统?

贝锐蒲公英&#xff1a;没有公网IP&#xff0c;多分支企业、移动办公人员如何高效远程访问OA系统&#xff1f; 国内某大型美妆公司&#xff0c;旗下产品覆盖美容护肤品、彩妆、美容仪器、健康食品、SPA美容会所及等多类服务&#xff0c;致力于为客户提供高品质的产品和完善的服…

Centos7搭建Apache Storm 集群运行环境

文章目录 1. 安装 Java2. 下载并解压 Storm3. 配置环境变量4. 配置 ZooKeeper5. 配置 Stormstorm.yaml自定义 storm.yamlstorm-env.shlogback/cluster.xml 6. 启动 Storm 集群7. 验证 1. 安装 Java Storm 运行在 Java 平台上&#xff0c;因此需要先安装 Java。你可以使用以下命…

C++ 类的友元

【例1】 将数据与处理数据的函数封装在一起&#xff0c;构成类&#xff0c;既实现了数据的共享又实现了隐藏&#xff0c;无疑是面向对象程序设计的一大优点。但是封装并不总是绝对的。现在考虑一个简单的例子&#xff0c;就是Point类&#xff0c;每一个Point类的对象代表一个“…

《零基础入门学习Python》第075讲:GUI的终极选择:Tkinter12

Tkinter 的基本组件我们已经介绍得七七八八了&#xff0c;剩下的一些我们在这节课全部都会讲解完毕。 &#xff08;一&#xff09;Message组件 Message&#xff08;消息&#xff09;组件是 Label 组件的变体&#xff0c;用于显示多行文本消息。众所周知&#xff0c;我们的Lab…

简单的Kubernetes集群二进制方式部署

Kubernetes二进制方式部署 一&#xff1a;操作系统初始化配置&#xff08;所有机子&#xff09;关闭防火墙关闭selinux关闭swap根据规划设置主机名在master添加hosts调整内核参数时间同步 二&#xff1a;部署 etcd 集群1.准备签发证书环境#准备cfssl证书生成工具生成Etcd证书编…

在SIP 语音呼叫中出现单通时要怎么解决?

在VoIP的环境中&#xff0c;特别是基于SIP通信的环境中&#xff0c;我们经常会遇到一些非常常见的问题&#xff0c;例如&#xff0c;单通&#xff0c;注册问题&#xff0c;回声&#xff0c;单通等。这些问题事实上都有非常直接的排查方式和解决办法&#xff0c;用户可以按照一定…

Quartz中集群模式源码级解析

文章目录 案例搭建 案例搭建 创建一个JOB实现类 package org.quartz.examples.example13;import org.quartz.*;import java.util.Date;/*** This job has the same functionality of SimpleRecoveryJob except that this job implements is stateful, in that it* will have …

Spring框架——IOC配置文件方式

Spring框架的概述和入门 目录 Spring框架的概述和入门 什么是Spring框架 Spring框架的特点 Spring框架的IOC核心功能快速入门 Spring框架中的工厂&#xff08;了解&#xff09; Spring 创建Bean对象的三种方式 Spring框架的Bean管理的配置文件方式 Spring框架中标签的配…

Token与Cookie、Session登录机制

Cookie 背景 Web 的兴起&#xff08;所谓交互式就是你不光可以浏览&#xff0c;还可以登录&#xff0c;发评论&#xff0c;购物等用户操作的行为&#xff09;&#xff0c;单纯地浏览 web 已经无法满足人们的要求&#xff0c;比如随着网上购物的兴起&#xff0c;需要记录用户的…

寻找丢失数字:数学与位运算的解密之旅

本篇博客会讲解力扣“268. 丢失的数字”的解题思路&#xff0c;这是题目链接。 注意进阶中的描述&#xff1a;你能否实现线性时间复杂度、仅使用额外常数空间的算法解决此问题&#xff1f;这里我会讲解两种思路&#xff0c;它们的时间复杂度是O(N)&#xff0c;空间复杂度是O(1)…

STM32F1基于标准库ST7735 1.8‘‘LCD显示DHT11数据

STM32基于标准库ST7735 1.8‘’LCD显示DHT11数据 &#x1f4cd;HAL库驱动可以参考&#xff1a;《STM32基于HAL工程读取DHT11数据》&#x1f33c;显示效果&#xff1a; &#x1f33b;ST7735 128x160 1.8’LCD屏幕 &#x1f4cc;屏幕资料和相关驱动可以参考《1.8寸TFT LCD128…

JDK各版本重要变革

各版本更新详情 JDK8(LTS)--2014/3 语法层面 lambda表达式(重要特色之一) 一种特殊的匿名内部类,语法更加简洁允许把函数作为一个方法的参数,将代码象数据一样传递&#xff0c;即将函数作为方法参数传递基本语法: <函数式接口> <变量名> (参数...) -> { 方法…

迷你主机中的战斗机 Intel NUC 12 Serpent Canyon拆解

千呼万唤始出来&#xff0c;新一代游戏和创作者性能怪兽 mini主机 NUC 12 Serpent Canyon&#xff08;巨蛇峡谷终于发售了&#xff0c;以超紧凑的 2.5 升尺寸提供用户所需的所有性能和创新功能。NUC 12 Enthusiast 还首次将 Intel Deep Link 引入桌面&#xff0c;使 CPU 和 GPU…

类的继承和super关键字的使用(JAVA)

继承 所有的OOP语言都会有三个特征&#xff1a; 封装&#xff08;点击可跳转&#xff09;&#xff1b;继承&#xff1b;多态 为什么会有继承呢&#xff1f;可以先看下面的例子&#xff1a; 上面这两个类中的代码很相似因为它们只有最后一个方法不同其它的都相同&#xff0c;这样…

DbVisualizer Pro Crack

DbVisualizer Pro Crack DbVisualizer是适用于开发人员、DBA和分析师的通用数据库工具。它是最终的解决方案&#xff0c;因为相同的工具可以在访问各种数据库的所有主要操作系统上使用。支持的数据库Amazon Redshift、DB2 LUW、Exasol、H2、Informix、JavaDB/Derby、Microsoft …

【项目 进程10】2.21 alarm函数 2.22setitimer定时器函数

2.21 alarm函数 #include <unistd.h> unsigned int alarm(unsigned int seconds);功能&#xff1a;设置定时器&#xff08;闹钟&#xff09;。函数调用&#xff0c;开始倒计时&#xff0c;当倒计时为0的时候&#xff0c; 函数会给当前的进程发送一个信号&#xff1a;SIG…

C++中内存的动态管理

我们在C语言中了解到可以在栈区动态开辟空间&#xff0c;并且用完要进行释放&#xff0c;防止内存泄漏。 引入 C中也有可以进行动态开辟空间和释放空间的操作符new 、delete&#xff0c;虽然C中也可以用malloc、calloc、realloc、free函数&#xff0c;但是C中引入了类&#x…

宋浩概率论笔记(二)随机变量

本章节内容较多&#xff0c;是概率论与数理统计中最为重要的章节&#xff0c;对于概率密度和分布函数的理解与计算要牢牢掌握&#xff0c;才能在后期的学习中更得心应手。

小研究 - 微服务系统服务依赖发现技术综述(一)

微服务架构得到了广泛的部署与应用, 提升了软件系统开发的效率, 降低了系统更新与维护的成本, 提高了系统的可扩展性. 但微服务变更频繁、异构融合等特点使得微服务故障频发、其故障传播快且影响大, 同时微服务间复杂的调用依赖关系或逻辑依赖关系又使得其故障难以被及时、准确…