【消息队列+信号量】System V通信{了解消息队列和信号量的原理}

阿猿收手吧！

已于 2024-03-11 11:48:48 修改

阅读量962

点赞数 16

分类专栏： Linux从入门到放弃文章标签： java 网络 linux

于 2024-03-10 19:56:29 首次发布

本文链接：https://blog.csdn.net/LHRan_ran_/article/details/136607033

版权

Linux从入门到放弃专栏收录该内容

59 篇文章 0 订阅

订阅专栏

文章目录

1.引入概念
2.理解信号量
3.信号量计数器
4.消息队列
- 4.1了解即可
- 4.2一些命令
5.IPC总结

在这里插入图片描述

1.引入概念

基于对共享内存的理解
为了让进程间通信 ⇒ 让不同的进程之间看到同一份资源 ⇒ 之前讲的所有的通信方式(匿名/命名管道 | 共享内存)本质都是优先解决一个问题: 让不同的进程看到同一份资源
让不同的进程看到同一份资源，对于共享内存来说，带来了一些时序问题，造成数据不一致问题
把多个进程(执行流)看到的公共的一份资源称为临界资源；在多个进程之间共享的资源，例如共享内存、文件、网络连接等。由于多个进程同时访问临界资源可能会导致数据竞争和冲突以及数据不一致问题，因此需要使用同步和互斥机制来保护临界资源的访问。
把自己进程中访问临界资源的代码称为临界区。：访问临界资源的代码段，也就是需要使用同步和互斥机制来保护的代码段。在临界区内，进程需要获取互斥锁或信号量等同步机制，以保证多个进程之间对临界资源的访问的正确性和一致性。临界区通常是指一段代码，而不是指某个具体的资源。
同步：在多个进程之间协调执行的过程，保证它们按照一定的顺序执行，避免出现竞争和冲突。
为了更好地保护临界区，可以让多执行流在任何时刻都只能有一个进程进入临界区这个动作称为互斥。设置多个执行流互相运行的时候互相干扰这一行为，主要是解决不加保护的访问同样资源(临界资源)造成的数据不一致问题，在非临界区多个执行流互不影响。在多个进程之间共享资源时，保证它们不会同时访问同一个资源，避免出现数据竞争和冲突。
要么不做，要么做完，没有中间状态，就称之为原子性

2.理解信号量

每一个进程想进入临界资源，访问临界资源中的一部分，不能让进程直接去使用临界资源，要申请信号量
信号量本质是一个计数器。
申请信号量的本质: 让信号量计数器自减
申请信号量成功，意味着临界资源内部一定预留了用户想要的资源【申请信号量本质是对临界资源的一种预定机制】
通信操作：
申请信号量 – 计数器自减
访问临界资源 – 进程执行自己的临界区代码
释放信号量 – 计数器自增

如何理解信号量？

System V信号量和共享内存一样，也是一种临界资源，用于实现进程之间的同步和互斥。信号量用于表示某个资源的可用数量或状态（计数器）。
为了避免出现数据竞争和冲突，在多个进程之间共享资源时，它们不能同时访问同一个资源（互斥）。
每个进程想访问临界资源时，都不能直接访问，必须申请信号量。
只要申请信号量成功，临界资源的内部一定会预留相应的资源。
访问结束后，必须释放信号量。申请信号量的本质是对临界资源的一种预定机制。

进程可以通过对信号量进行P操作和V操作来实现信号量的申请和释放

P操作：申请信号量，会将信号量的值-1，如果信号量的值小于0，则进程会被阻塞，直到信号量的值变为正数。
V操作：释放信号量，会将信号量的值+1，如果有进程因为等待信号量而被阻塞，则会唤醒其中一个进程。

信号量可以设置不同的初始值，以适应不同的应用场景。信号量可以设置不同的权限，以控制进程对信号量的访问。

System V信号量的使用

semget函数创建一个新的信号量，返回一个信号量的标识符。
semctl函数初始化信号量的值和权限。
semop函数对信号量进行P操作和V操作，实现进程间的同步和互斥。
semctl函数删除信号量，释放系统资源。

整数能不能标识信号量？

情景：让多个进程(整数n在共享内存里)看到同一个全局变量，大家都进行申请信号量即计数器自减

了解计算机执行“运算”这一行为的机理

计算操作在CPU 数据存放在内存
CPU执行指令：
将内存中的数据加载到cpu内的寄存器中(读指令)
执行运算行为n--(分析&&执行指令)
将CPU修改完毕的n写回内存(写回结果）
执行流在执行的时候，任何时刻都可能被切换
寄存器只有一套，被所有的执行流共享，寄存器里面的数据属于每一个执行流，属于该执行流的上下文数据。没当进程被替换，都要进行上下文保护。再次执行时要进行上下文恢复即将数据放回去再拿出来的行为。
因为时序问题导致n有中间状态 ⇒ 可能导致数据不一致 ⇒ 不安全
如果一个运算操作只有一行汇编（一条指令），该操作是原子的。不存在安全问题，也就不用考虑那么多。实际上一个简单的运算总是由多条指令执行的。