【Linux】进程间通信 --- 管道 共享内存 消息队列 信号量-1

简介: 【Linux】进程间通信 --- 管道 共享内存 消息队列 信号量-1

【Linux】进程间通信 --- 管道 共享内存 消息队列 信号量


1.消息队列提供了一个从一个进程向另外一个进程发送一块数据的方法


2.每个数据块都被认为是有一个类型,接收者进程接收的数据块可以有不同的类型值


3.IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核


内核也给我们提供了获取消息队列和控制消息队列的系统接口

812ea376205e4dc2a10b776e6c0eb1a3.png

4.
消息队列通常由两个组件组成:生产者和消费者。生产者将消息发送到队列中,消费者从队列中读取消息并进行处理。消息队列软件可以提供许多有用的功能,例如消息确认、消息分组、消息过期时间等等

下面是消息队列的数据发送和接收接口


71e6d3a0733d40bf8819bcfe5fe605c0.png


五、System V 信号量(了解)


1.信号量是什么?

信号量的本质是一个计数器,通常用来表示公共资源中,资源数量多少的问题。当访问没有保护的公共资源时,会产生数据不一致的问题,我们将被保护起来的公共资源称为临界资源,但大部分资源其实都是独立的。公共资源(内存,文件,网络等)都是要通过代码来进行访问的,这些代码我们称为临界区,其余未访问公共资源的代码称为非临界区


2.

由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系为进程的互斥,信号量主要用于同步与互斥。

一个程序要执行代码,那就执行所有代码,要执行一半不执行了,那就必须回滚,回到最初的状态。我们称这种要么不做,要做就一定必须做完的两态的情况称为原子性。

c54b2926eaca46ecab17e11f4838affd.png


3.

只要访问公共资源,我们就必须对公共资源进行保护。所有的进程在访问公共资源之前,都必须申请sem信号量,申请sem信号量不就需要先看到同一份sem信号量吗?那么其实sem信号量本身就是公共资源,所以信号量也必须保证自身操作的安全性,那么信号量的++或- -等操作也都必须得是原子性的,要么做成功,要么就回到最初状态


4.

共享资源既可以作为整体使用,也可以划分成为一个一个的资源子部分进行使用。当多个子资源被多个进程进行使用时,我们称这样的行为叫做并发。


5.IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核

2e7fd0d2c3374ce2b9ada0eeed72fadd.png



六、IPC资源的组织方式(多态的daddy)


1.

对于System V标准的IPC资源组织方式来说,资源的获取与释放操作,他们的接口相似度非常高,

所以OS要对这些同一标准的各个通信机制进行管理,他们都有各自的内核数据结构,但都非常的相似,OS系统可以通过数组的方式对这些System V标准的IPC资源进行管理。


2.

结构体的第一个成员地址,在数字上和结构体对象本身的地址是相同的。虽然他们类型不同,但是地址的字面值是相同的,所以我们可以只存储这些内核数据结构的第一个字段的地址,用一个指针数组来进行存储,因为虽然这些IPC资源的内核数据结构不同,但是他们的第一个字段的类型都是相同的,都是struct ipc_perm,所以我们可以用指针数组来进行管理。

当要访问具体的某个IPC资源的内核数据结构时,我们可以将数组中的内容拿出来,将其强转成对应的IPC资源内核数据结构的类型,也就是转成结构体类型,那么此时这个指针指向的就不再是struct ipc_perm类型的结构体了,而是变为struct shmid_ds或struct semid_ds或struct msqid_ds这几种IPC内核数据结构类型的结构体,此时我们就可以具体的访问某个IPC资源了。

上面能够这么做的原因其实是因为,结构体的地址和结构体中第一个字段的地址 在字面值上是相同的,只是他们类型不同罢了,我们可以通过类型强转的方式,让指针指向不同的结构体。


3.

下面组织IPC资源的方式不就是多态吗?右边三个资源就是派生类,左边是存储基类指针的指针数组,基类指针指向哪个派生类结构体,就调用哪个派生类结构体里的方法成员,只不过在Linux这里是通过指针类型强转的方式来实现的。

所以不是linux抄袭C++的多态,而是先有的linux后有的C++,linux才是爹。

4a36006cf2ee4d6485d22f0a5f18e804.png













































相关文章
|
1月前
|
消息中间件 存储 供应链
进程间通信方式-----消息队列通信
【10月更文挑战第29天】消息队列通信是一种强大而灵活的进程间通信机制,它通过异步通信、解耦和缓冲等特性,为分布式系统和多进程应用提供了高效的通信方式。在实际应用中,需要根据具体的需求和场景,合理地选择和使用消息队列,以充分发挥其优势,同时注意其可能带来的复杂性和性能开销等问题。
|
3月前
|
Linux C语言
C语言 多进程编程(七)信号量
本文档详细介绍了进程间通信中的信号量机制。首先解释了资源竞争、临界资源和临界区的概念,并重点阐述了信号量如何解决这些问题。信号量作为一种协调共享资源访问的机制,包括互斥和同步两方面。文档还详细描述了无名信号量的初始化、等待、释放及销毁等操作,并提供了相应的 C 语言示例代码。此外,还介绍了如何创建信号量集合、初始化信号量以及信号量的操作方法。最后,通过实际示例展示了信号量在进程互斥和同步中的应用,包括如何使用信号量避免资源竞争,并实现了父子进程间的同步输出。附带的 `sem.h` 和 `sem.c` 文件提供了信号量操作的具体实现。
|
4月前
|
消息中间件 Linux 开发者
Linux进程间通信秘籍:管道、消息队列、信号量,一文让你彻底解锁!
【8月更文挑战第25天】本文概述了Linux系统中常用的五种进程间通信(IPC)模式:管道、消息队列、信号量、共享内存与套接字。通过示例代码展示了每种模式的应用场景。了解这些IPC机制及其特点有助于开发者根据具体需求选择合适的通信方式,促进多进程间的高效协作。
187 3
|
4月前
|
开发者 API Windows
从怀旧到革新:看WinForms如何在保持向后兼容性的前提下,借助.NET新平台的力量实现自我进化与应用现代化,让经典桌面应用焕发第二春——我们的WinForms应用转型之路深度剖析
【8月更文挑战第31天】在Windows桌面应用开发中,Windows Forms(WinForms)依然是许多开发者的首选。尽管.NET Framework已演进至.NET 5 及更高版本,WinForms 仍作为核心组件保留,支持现有代码库的同时引入新特性。开发者可将项目迁移至.NET Core,享受性能提升和跨平台能力。迁移时需注意API变更,确保应用平稳过渡。通过自定义样式或第三方控件库,还可增强视觉效果。结合.NET新功能,WinForms 应用不仅能延续既有投资,还能焕发新生。 示例代码展示了如何在.NET Core中创建包含按钮和标签的基本窗口,实现简单的用户交互。
77 0
|
4月前
|
数据采集 Java Python
python 递归锁、信号量、事件、线程队列、进程池和线程池、回调函数、定时器
python 递归锁、信号量、事件、线程队列、进程池和线程池、回调函数、定时器
|
5月前
|
消息中间件 C语言 RocketMQ
消息队列 MQ操作报错合集之出现"Connection reset by peer"的错误,该如何处理
消息队列(MQ)是一种用于异步通信和解耦的应用程序间消息传递的服务,广泛应用于分布式系统中。针对不同的MQ产品,如阿里云的RocketMQ、RabbitMQ等,它们在实现上述场景时可能会有不同的特性和优势,比如RocketMQ强调高吞吐量、低延迟和高可用性,适合大规模分布式系统;而RabbitMQ则以其灵活的路由规则和丰富的协议支持受到青睐。下面是一些常见的消息队列MQ产品的使用场景合集,这些场景涵盖了多种行业和业务需求。
|
5月前
|
消息中间件 Java C语言
消息队列 MQ使用问题之在使用C++客户端和GBase的ESQL进行编译时出现core dump,该怎么办
消息队列(MQ)是一种用于异步通信和解耦的应用程序间消息传递的服务,广泛应用于分布式系统中。针对不同的MQ产品,如阿里云的RocketMQ、RabbitMQ等,它们在实现上述场景时可能会有不同的特性和优势,比如RocketMQ强调高吞吐量、低延迟和高可用性,适合大规模分布式系统;而RabbitMQ则以其灵活的路由规则和丰富的协议支持受到青睐。下面是一些常见的消息队列MQ产品的使用场景合集,这些场景涵盖了多种行业和业务需求。
|
1月前
|
消息中间件 存储 Kafka
MQ 消息队列核心原理,12 条最全面总结!
本文总结了消息队列的12个核心原理,涵盖消息顺序性、ACK机制、持久化及高可用性等内容。关注【mikechen的互联网架构】,10年+BAT架构经验倾囊相授。
|
3月前
|
消息中间件
手撸MQ消息队列——循环数组
队列是一种常用的数据结构,类似于栈,但采用先进先出(FIFO)的原则。生活中常见的排队场景就是队列的应用实例。在数据结构中,队列通常用数组实现,包括入队(队尾插入元素)和出队(队头移除元素)两种基本操作。本文介绍了如何用数组实现队列,包括定义数组长度、维护队头和队尾下标(front 和 tail),并通过取模运算解决下标越界问题。此外,还讨论了队列的空与满状态判断,以及并发和等待机制的实现。通过示例代码展示了队列的基本操作及优化方法,确保多线程环境下的正确性和高效性。
52 0
手撸MQ消息队列——循环数组
|
4月前
|
消息中间件 存储 缓存
一个用过消息队列的人,竟不知为何要用 MQ?
一个用过消息队列的人,竟不知为何要用 MQ?
184 1