信号量机制

news2024/9/28 7:27:22

1965年，由荷兰学者迪科斯彻Dijkstra提出（P、V分别代表荷兰语的Proberen （test）和Verhogen （increment））、是一种卓有成效的进程同步机制。

信号量-软件解决方案：

  • 保证两个或多个代码段不被并发调用
  • 在进入关键代码段前，进程必须获取一个信号量，否则不能运行
  • 执行完该关键代码段，必须释放信号量
  • 信号量有值，为正说明它空闲，为负说明其忙碌

信号量的类型可分为：

  • 整型信号量
  • 记录型信号量（最为常用）
  • AND型信号量
  • 信号量集

信号量机制介绍

1、整型信号量

用一个整数型的变量 "S"作为信号量，用来表示系统中某种资源的数量。

wait(S) :
while S<=0; /*do no-op*/ 
    S:=S-1;

signal(S):
    S:=S+1;
  • 提供两个不可分割的［原子操作］访问信号量
  • Wait（s）又称为P（S）
  • Signal（s）又称为V（S）
  • 缺点：进程忙等 

2、记录型信号量

  • 为了解决“忙等”问题，而提出的信号量。
  • 每个信号量S除一个整数值S.value外，还有一个进程等待队列S.list，存放阻塞在该信号量的各个进程PCB
  • 信号量只能通过初始化和两个标准的原语PV来访问--作为OS核心代码执行，不受进程调度的打断
  • 初始化指定一个非负整数值，表示空闲资源总数（又称为"资源信号量"）-- 若为非负值表示当前的空闲资源数，若为负值其绝对值表示当前等待临界区的进程数
typedef struct {
    int value;
    stuct process_control_block *list;
}semaphore;

相应地，wait(S)和signal(S)操作可描述为：

wait(semaphores *S) {  //请求一个单位的资源
    S->value --;  //资源减少一个
    if (S->value<0) block(S->list)  //进程自我阻塞
}

signal(semaphores *S){  //释放一个单位资源
    S->value++;  //资源增加一个
    if (S->value<=0) wakeup(S->list);  //唤醒等待队列中的一个进程
}

3、AND型信号量

  • AND型信号量同步的基本思想：将进程在整个运行过程中需要的所有资源，一次性全部分配给进程，待进程使用完后再一起释放。
  • 对若干个临界资源的分配，采用原子操作。
  • 在wait（S）操作中增加了一个 “AND” 条件，故称之为AND同步，或同时wait（S）操作，即Swait(Simultaneous wait)。

4、信号量集

  • 在记录型信号量中，wait或signal仅能对某类临界资源进行一个单位的申请和释放，当需要对N个单位进行操作时，需要N次wait/signal操作，效率低下
  • 扩充AND信号量：对进程所申请的所有资源以及每类资源不同的资源需求量，在一次P、V原语操作中完成申请或释放
    • 进程对信号量Si的测试值是该资源的分配下限值ti，即要求Si≥ti，否则不予分配。一旦允许分配，进程对该资源的需求值为di，即表示资源占用量，进行Si= Si-di操作
    • Swait(S1, t1, d1, ..., Sn, tn, dn)
    • Ssignal(S1, d1, ..., Sn, dn)

信号量的应用

1、利用信号量实现进程互斥

        key:设置互斥信号量

        为使多个进程能互斥地访问某临界资源，只须为该资源设置一个互斥型信号量mutex，并设其初值为1，然后将各进程访问该资源的临界区置于wait（mutex） 和signal（mutex）操作之间即可。
        这样，每个欲访问该临界资源的进程，在进入临界区之前，都要先对mutex执行wait操作。若该资源此刻未被访问，则本次wait操作必然成功，进程便可进入自己的临界区，这时若再有其他进程也欲进入自己的临界区，则由于对mutex执行wait操作定会失败，因而该进程阻塞，从而保证了该临界资源能被互斥地访问。当访问临界资源的进程退出临界区后，又应对mutex执行signal操作，以便释放该临界资源。

利用信号量实现两个进程互斥的描述如下。

  1. 设mutex为互斥型信号量，其初值为1，取值范围为（-1,0,1）。当mutex=1时，表示两个进程皆未进入需要互斥访问的临界区；当mutex=0时，表示有一个进程进入临界区运行，另一个必须等待，挂入阻塞队列；当mutex=-1时，表示有一个进程正在临界区运行，而另一个进程因等待而阻塞在信号量队列中，需要被当前已在临界区运行的进程在退出时唤醒。
  2. 代码描述： 
    semaphore mutex=1;  //初始化为1

PA(){
    while (1){
    wait (mutex);
    临界区;
    signal (mutex);
    剩余区;
    }
}

PB(){
    while (1){
    wait (mutex);
    临界区;
    signal (mutex);
    剩余区;
    }
}

在利用信号量机制实现进程互斥时应注意，wait（mutex） 和 signal（mutex）必须成对出现。缺少wait（mutex）将会导致系统混乱，无法保证对临界资源的互斥访问；缺少signal（mutex）将会导致临界资源永远不被释放，从而使因等待该资源而阻塞的进程不能被唤醒。

2、利用信号量实现前趋关系

main (){
Semaphore a,b,c,d,e,f,g;

a.value=0;b.value=0;c.value=0;
d.value=0;e.value=0;f.value=0;g.value=0;

cobegin
    { S1 ;signal(a);signal(b); }
    { wait(a);S2;signal(c);signal(d);}
    { wait(b);S3;signal(e); }
    { wait(c);S4;signal(f); }
    { wait(d);S5;signal(g); }
    { wait(e);wait(f);wait(g);S6; }
corend
}

3、利用信号量实现进程同步

        key:设置同步信号量

        假设进程P1和P2中有两段代码C1和C2，若要强制C1先于C2执行，则须在C2前添加wait（S），在C1后添加signal（S）。需要说明的是，信号量S的初值应该被设置为0。这样，只有P1在执行完C1后，才能执行signal（S）以把S的值设置为1。这时，P2执行wait（S）才能申请到信号量S，并执行C2。如果P1的C1没有提前执行，则信号量S的值为0，P2执行wait（S）时会因申请不到信号量S而阻塞。

  1. 设S为同步型信号量，其初值为0，取值范围为（-1,0,1）。当S=0时，表示C1还未执行，C2也未执行；当S=1时，表示C1已经执行，C2可以执行；当S=-1时，表示C2想执行，但由于C1尚未执行，C2不能执行，进程P2处于阻塞状态。
  2. 代码描述： 
    semaphore S=0;  //初始化为0

P1() {
    while (1) {
        C1
        signal(S);
        ...
    }
}

P2() {
    while (1) {
        wait(S);
        C2 ;
        ...
    }
}

同步型信号量的使用通常比互斥型信号量的使用要复杂。一般情况下，同步型信号量的wait（S）和signal（S）操作位于两个不同的进程内。

Examples

1、请思考互斥与同步的关系，它们有哪些地方相同？哪些地方不同？

相同之处：

  1. 目的：互斥和同步都是为了协调多个进程对共享资源的访问，以避免竞争条件和数据不一致性。
  2. 都可以通过信号量、互斥锁等机制来实现。

不同之处：

  1. 定义：互斥是指在任意时刻只允许一个进程访问共享资源，而同步是指协调进程之间的交互和通信，确保它们按照一定顺序执行。
  2. 目标：互斥的目标是防止多个进程同时访问共享资源，而同步的目标是确保进程按照特定顺序执行，或者在某个条件满足时进行通信和协调。
  3. 实现方式：互斥通常使用互斥锁或信号量来实现，而同步可以使用信号量、条件变量、屏障等机制来实现。

2、桌上有一空盘，允许存放一只水果。爸爸可向盘中放苹果，妈妈可向盘中放香蕉，儿子专等吃盘中的香蕉，女儿专等吃盘中的苹果，请按照要求回答：

        （1）本题中存在哪些互斥关系和同步关系？

        （2）试用P、V操作描述放水果和吃水果的过程。

答： （1）在本题中，盘中一次只能放一个水果；妈妈和爸爸对盘子的使用存在互斥关系，所以需要设互斥信号量mutex；爸爸和女儿，妈妈和儿子都是同步关系，需设置同步信号量apple, banana

        （2）设置信号量mutex, apple, banana，初值分别为1，0，0。分别表示可否向盘中放水果，可否取苹果，可否取香蕉。

代码段如下：   

Father(){   
    while (true){
        p(mutex);  //申请盘子使用权
        将苹果放入盘子；
        v(apple);  //苹果产品+1
    }
}

Mother(){  
    while (true){
        p(mutex);  //申请盘子使用权
        将香蕉放入盘子；
        v(banana);  //香蕉产品+1
    }
}

son(){  
    while (true){
        p(banana);  //申请香蕉资源，若非空
        从盘子取香蕉；
        v(mutex);   //盘子空了，释放盘子使用权
        吃香蕉；
    }
}

daugher(){  
    while (true){
        p(apple);  //申请苹果资源，若非空
        从盘子取苹果；
        v(mutex);  //盘子空了，释放盘子使用权
        吃苹果；
    }
}

3、公共汽车上有1名司机和1名售票员，司机和售票员活动如下，车辆运行规则是只有到站停车后售票员才能开门，只有关门后司机才能启动车辆。初始状态是车辆停在起始站。使用P、V原语描述车辆运行过程。

分析：本例中存在同步关系，即只有售票员关门后司机才能启动车辆；只有司机到站停车后售票员才能开门；

故设置：

        司机的同步信号量: S1表示是否允许司机启动车辆，初值为0

        售票员同步信号量: S2表示是否允许售票员开门，初值为1

则车辆运行过程描述如下：

driver:
    while (true){
        P(S1);//申请启动车辆，若标志为1，则可以启动
        启动车辆；
        正常运行；
        到站停车；
        V(S2);
    }

conductor:
    while (true){
        P(S2); //申请开门，若标志为1，则可以开门
        开门；
        售票；
        关门；
        V(S1);
    }

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

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

相关文章

Javascript jQuery简介

Javascript jQuery简介

✨前言✨ 1.如果代码对您有帮助 欢迎点赞&#x1f44d;收藏⭐哟 后面如有问题可以私信评论哟&#x1f5d2;️ 2.博主后面将持续更新哟&#x1f618;&#x1f389;本章目录&#x1f389; &#x1f95d;一.jQuery简介&#x1f965;二.JQeury常用API&#x1f347;1.jQeury选择…
阅读更多...
c JPEG编码，此程序没有处现MCU中亮度分量的排序

c JPEG编码，此程序没有处现MCU中亮度分量的排序

#include <stdio.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> #include <stdlib.h> #include <unistd.h> #include <sys/ioctl.h> #include <linux/videodev2.h> //v4l2 头文件 #include <strin…
阅读更多...
UE5蓝图-脚部IK

UE5蓝图-脚部IK

引擎版本&#xff1a;UE5.2 脚部IK做不做的区别&#xff1a; 图1是没有做脚步IK&#xff0c;我们的角色一部分的脚像是浮在半空中&#xff0c;图2是做了脚步IK&#xff0c;我们的角色就是一部分在地上&#xff0c;一部分在物体上。从上面的两个图可以看出&#xff0c;制作脚步…
阅读更多...
Leetcode 剑指 Offer II 061. 查找和最小的 K 对数字

Leetcode 剑指 Offer II 061. 查找和最小的 K 对数字

题目难度: 中等 原题链接 今天继续更新 Leetcode 的剑指 Offer&#xff08;专项突击版&#xff09;系列, 大家在公众号 算法精选 里回复 剑指offer2 就能看到该系列当前连载的所有文章了, 记得关注哦~ 题目描述 给定两个以升序排列的整数数组 nums1 和 nums2 , 以及一个整数 k…
阅读更多...
[oeasy]python0004_游乐场_和python一起玩耍_python解释器_数学运算

[oeasy]python0004_游乐场_和python一起玩耍_python解释器_数学运算

和python玩耍 &#x1f94a; Python 回忆 上次 了解shell环境中的命令 命令作用whoami显示当前用户名pwd显示当前文件夹ls列出当前文件夹下的内容python3仿佛进入大于号黑洞 这python3 怎么玩啊&#xff01;&#x1f620; 说好的python教程呢&#xff1f;&#x1f914; 运…
阅读更多...
2023一带一路暨金砖国家技能发展与技术创新大赛“网络安全”赛项省选拔赛样题卷②

2023一带一路暨金砖国家技能发展与技术创新大赛“网络安全”赛项省选拔赛样题卷②

2023金砖国家职业技能竞赛"网络安全" 赛项省赛选拔赛样题 2023金砖国家职业技能竞赛 省赛选拔赛样题第一阶段&#xff1a;职业素养与理论技能项目1. 职业素养项目1. 职业素养项目2. 网络安全项目3. 安全运营 第二阶段&#xff1a;安全运营项目1. 操作系统安全配置与加…
阅读更多...
哈希表的实现（1）----除留余数法实现

哈希表的实现（1）----除留余数法实现

一&#xff0c;哈希表的介绍 哈希表是一种通过哈希思想实现的一种数据结构。哈希表这种数据结构的特点便是可以通过一个值快速的定位这个值所在的位置实现插入&#xff0c;删除&#xff0c;查找。在这篇博客里面&#xff0c;我们便来实现一个通过除留余数法实现的一个哈希表。 …
阅读更多...
tl431几种不常见的接法

tl431几种不常见的接法

tl431可调电源电路图分析 精密电压基准IC TL431是我们常见的精密电压基准IC &#xff0c;应用非常广泛。其输出压连续可调达36V&#xff0c;工作电流范围宽达0.1--100mA&#xff0c;动态电阻典型值为0.22欧&#xff0c;输出杂波低。图1是利用它作电压基准和驱动外加场效应管K7…
阅读更多...
泛微OA-Ecology8表单中填充用友U8数据

泛微OA-Ecology8表单中填充用友U8数据

文章目录 1、需求及效果1.1 需求1.2 效果 2、思路及实现步骤2.1 思路2.2 实现步骤 3.结语 1、需求及效果 1.1 需求 在OA中填写表单中时候&#xff0c;比如物料号还需要从U8中查找后才能填写&#xff0c;非常的麻烦。想要在填写表单的时候可以搜索&#xff0c;并且带出其他的关…
阅读更多...
如何使用SVN查看旧版本

如何使用SVN查看旧版本

和目录 第一步&#xff1a;打开SVN客户端 第二步&#xff1a;浏览历史版本 第三步&#xff1a;还原历史版本 结论 Subversion (缩写为SVN)是一种常用的版本控制系统&#xff0c;它可以帮助团队协作开发软件项目。除了基本的版本控制功能外&#xff0c;SVN还提供了许多其他功…
阅读更多...
HackTheBox - Medium - Linux - Faculty

HackTheBox - Medium - Linux - Faculty

Faculty Faculty 是一台中型 Linux 机器&#xff0c;具有 PHP Web 应用程序&#xff0c;该应用程序使用的库容易受到本地文件包含的影响。利用该库中的 LFi 会泄露一个密码&#xff0c;该密码可用于通过 SSH 以名为“gbyolo”的低级用户身份登录。用户“gbyolo”有权作为“dev…
阅读更多...
【kafka】记录用-----------1

【kafka】记录用-----------1

主题&#xff08;topic&#xff09;&#xff1a;消息的第一次分类 根据人为的划分条件将消息分成不同的主题 主题的划分是人为的根据不同的任务情景去划分 比如&#xff0c;我们有两个主题&#xff0c;一个是"订单"&#xff0c;另一个是"库存"。每个主题代…
阅读更多...
记录一个Insert姿势引起的MySQL从库上查不到数据的问题

记录一个Insert姿势引起的MySQL从库上查不到数据的问题

转载说明&#xff1a;如果您喜欢这篇文章并打算转载它&#xff0c;请私信作者取得授权。感谢您喜爱本文&#xff0c;请文明转载&#xff0c;谢谢。 问题描述&#xff1a; 某测试环境的MySQL用了两台节点&#xff0c;主从同步结构。忽然有研发同学反映说MySQL的主从不同步了。他…
阅读更多...
亚马逊测评怎么做？

亚马逊测评怎么做？

亚马逊作为全球最大的跨境电商公司&#xff0c;吸引了很多的中国卖家入驻&#xff0c;行业的内卷也是越来越严重&#xff0c;很多做过国内电商的都知道测评可以提高产品权重&#xff0c;快速提升产品销量 而测评模式主要有两种&#xff1a; 真人测评 优点&#xff1a;老外手…
阅读更多...
【嵌入式——QT】QT静态编译

【嵌入式——QT】QT静态编译

【嵌入式——QT】QT静态编译 QT下载查看文档下载Visual Studio打开命令行模式编译添加QT到Qt Creator编译示例 QT下载 下载地址 进入目录&#xff0c;我这里选择的qt-everywhere-src-5.14.1.zip。 查看文档 解压压缩包打开源码&#xff0c;查看README文件&#xff0c;里面…
阅读更多...
解决文字识别中误识别问题的秘籍

解决文字识别中误识别问题的秘籍

随着人工智能技术的不断发展&#xff0c;文字识别技术已经广泛应用于各个领域&#xff0c;如智能客服、智能家居、自动驾驶等。然而&#xff0c;在实际应用中&#xff0c;文字识别技术也面临着误识别的问题。误识别不仅会影响用户体验&#xff0c;还可能导致严重的后果。因此&a…
阅读更多...
UE5 实现RPG游戏操作控制

UE5 实现RPG游戏操作控制

在UE5以后&#xff0c;epic抛弃了之前的那一套操作输入系统&#xff0c;使用了一套新的增强输入作为替代&#xff0c;目的主要是解决经常切换操作时的问题&#xff08;操作人物上车以后&#xff0c;可以直接切换成操作汽车的一套输入&#xff09;接下来&#xff0c;将实现如何使…
阅读更多...
双目测距工程Stereo-Vision-master学习笔记

双目测距工程Stereo-Vision-master学习笔记

硬件&#xff1a; 首先要要把两个摄像头固定到支架上&#xff0c;并且两个摄像头的间距应该在110mm&#xff0c;两个摄像头没有落差 相机的内参数包括焦距、主点坐标、像素尺寸等&#xff0c;这些参数决定了相机成像的几何变换关系。内参数是相机固有的属性&#xff0c;不会随…
阅读更多...
RK3568驱动指南｜第十二篇 GPIO子系统-第128章 GPIO入门实验

RK3568驱动指南｜第十二篇 GPIO子系统-第128章 GPIO入门实验

瑞芯微RK3568芯片是一款定位中高端的通用型SOC&#xff0c;采用22nm制程工艺&#xff0c;搭载一颗四核Cortex-A55处理器和Mali G52 2EE 图形处理器。RK3568 支持4K 解码和 1080P 编码&#xff0c;支持SATA/PCIE/USB3.0 外围接口。RK3568内置独立NPU&#xff0c;可用于轻量级人工…
阅读更多...
【期末考试】网络综合复习宝典

【期末考试】网络综合复习宝典

相关链接 网络复习思维导图&#xff08;HCIP&#xff09;https://www.edrawsoft.cn/viewer/public/s/038e2370897928 详述循环冗余校验CRC码https://blog.csdn.net/liht_1634/article/details/124328005?app_version6.2.6&codeapp_1562916241&csdn_share_tail%7B%22…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023