操作系统——信号量（理解什么是信号量，信号量如何解决同步互斥问题，信号量一些注意点）-程序员宅基地

信号量是什么

信号量（semaphore）是操作系统用来解决并发中的互斥和同步问题的一种方法。
信号量是一个与队列有关的整型变量，你可以把它想象成一个数后面拖着一条排队的队列，如图：

在这里插入图片描述
那信号量上面值n代表什么意思呢？
n>0：当前有可用资源，可用资源数量为n
n=0：资源都被占用，可用资源数量为0
n<0：资源都被占用，并且还有n个进程正在排队
那信号量拖着的那个队列就是用来放正在排队想要使用这一资源的进程

信号量伪代码

信号量的伪代码又如何实现呢
在这里插入图片描述
在代码中我们可以看到有两个对信号量的count值和阻塞队列的操作，一个是semWait，一个是semSignal，前者也被称为P操作，后者也被称为V操作。

这两个操作的用途是什么呢？
semWait我们可以理解为申请资源
semSignal我们可以理解为释放资源

在这里插入图片描述
当申请资源的时候，资源数count值-1，我们注意到资源数如果在-1之后<0,那么这个这个进程就会加入到等待队列

为什么这个条件设置成<0呢？
其实很好理解，当这个资源已经其他进程占有完了，即为0或者负数，那么新进程要申请这个资源时资源数再减1必然count<0，那么这个进程就要被被阻塞，进入阻塞队列
在这里插入图片描述

再看semSignal操作
在这里插入图片描述
一个进程终会使用完这个进程，然后离开，那么此时可用资源数+1

为什么这个条件设置成<=0呢？
一个进程用完资源走了，count++，如果还有进程在排队（count即值是-1或者更小），那+1之后必然count<=0，此时就唤醒一个排队中的进程
在这里插入图片描述

信号量解决互斥同步问题

用一个经典例子来说——生产者/消费者问题
在这里插入图片描述

首先我们分析这里有几种进程，很显然有两种：

消费者
生产者

分析进程之间的关系有什么：

互斥关系：缓冲区是临界资源，各进程互斥访问
两组同步关系
只有缓冲区未满，生产者才能往缓冲区放产品
只有缓冲区非空，消费者才能从缓冲区取产品

根据以上分析，写出大致的伪代码如下：

在这里插入图片描述

总结

semWait(S)：请求分配一个资源。
semSignal(S)：释放一个资源。
semWait、semSignal操作必须成对出现。

用于互斥时，位于同一进程内（初始值为1）；
用于同步时，交错出现于两个合作进程内。
（且在前事件后加semSignal，在后事件前加semWait），比如先刷牙再吃饭，那刷牙这个事件后加semSignal，在吃饭这个事件前加semWait

多个semWait操作的次序不能颠倒，否则可能导致死锁。
多个semSignal操作的次序可任意。

本文链接：https://blog.csdn.net/weixin_43914272/article/details/108317212

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

linux devkmem 源码,linux dev/mem dev/kmem实现访问物理/虚拟内存-程序员宅基地

文章浏览阅读451次。dev/mem: 物理内存的全镜像。可以用来访问物理内存。/dev/kmem: kernel看到的虚拟内存的全镜像。可以用来访问kernel的内容。调试嵌入式Linux内核时，可能需要查看某个内核变量的值。/dev/kmem正好提供了访问内核虚拟内存的途径。现在的内核大都默认禁用了/dev/kmem，打开的方法是在 make menuconfig中选中 device drivers --> ..._dev/mem 源码实现

vxe-table 小众但功能齐全的vue表格组件-程序员宅基地

文章浏览阅读7.1k次，点赞2次，收藏19次。vxe-table，一个小众但功能齐全并支持excel操作的vue表格组件_vxe-table

（开发）bable - es6转码-程序员宅基地

文章浏览阅读62次。参考：http://www.ruanyifeng.com/blog/2016/01/babel.htmlBabelBabel是一个广泛使用的转码器，可以将ES6代码转为ES5代码，从而在现有环境执行// 转码前input.map(item => item + 1);// 转码后input.map(function (item) { return item..._让开发环境支持bable

FPGA 视频处理 FIFO 的典型应用_fpga 频分复用视频-程序员宅基地

文章浏览阅读2.8k次，点赞6次，收藏29次。摘要：FPGA视频处理FIFO的典型应用，视频输入FIFO的作用，视频输出FIFO的作用，视频数据跨时钟域FIFO，视频缩放FIFO的作用_fpga 频分复用视频

R语言：设置工作路径为当前文件存储路径_r语言设置工作目录到目标文件夹-程序员宅基地

文章浏览阅读575次。【代码】R语言：设置工作路径为当前文件存储路径。_r语言设置工作目录到目标文件夹

background 线性渐变-程序员宅基地

文章浏览阅读452次。格式：background: linear-gradient(direction, color-stop1, color-stop2, ...);<linear-gradient> = linear-gradient([ [ <angle> | to <side-or-corner>] ,]? &l..._background线性渐变

随便推点

【蓝桥杯省赛真题39】python输出最大的数中小学青少年组蓝桥杯比赛算法思维python编程省赛真题解析-程序员宅基地

文章浏览阅读1k次，点赞26次，收藏8次。第十三届蓝桥杯青少年组python编程省赛真题一、题目要求（注：input（）输入函数的括号中不允许添加任何信息）1、编程实现给定一个正整数N，输出正整数N中各数位最大的那个数字。例如:N=132，则输出3。2、输入输出输入描述：只有一行，输入一个正整数N输出描述：只有一行，输出正整数N中各数位最大的那个数字输入样例：

网络协议的三要素-程序员宅基地

文章浏览阅读2.2k次。一个网络协议主要由以下三个要素组成：1.语法数据与控制信息的结构或格式，包括数据的组织方式、编码方式、信号电平的表示方式等。2.语义即需要发出何种控制信息，完成何种动作，以及做出何种应答，以实现数据交换的协调和差错处理。3.时序即事件实现顺序的详细说明，以实现速率匹配和排序。不完整理解：语法表示长什么样，语义表示能干什么，时序表示排序。转载于:https://blog.51cto.com/98..._网络协议三要素csdn

The Log: What every software engineer should know about real-time data's unifying abstraction-程序员宅基地

文章浏览阅读153次。主要的思想，将所有的系统都可以看作两部分，真正的数据log系统和各种各样的query engine所有的一致性由log系统来保证，其他各种query engine不需要考虑一致性，安全性，只需要不停的从log系统来同步数据，如果数据丢失或crash可以从log系统replay来恢复可以看出kafka系统在linkedin中的重要地位，不光是d..._the log: what every software engineer should know about real-time data's uni