当前位置: 首页 > news >正文

用信号量机制实现互斥,同步,前驱

实现进程互斥

1.分析并发进程的关键活动,划定临界区(如:对临界资源打印机的访问)

2.设置互斥信号量mutex,初始值为1 (mutex n.互斥)

3.进入区P(mutex)--申请资源

4.退出区V(mutex)--释放资源

注意:

对于不同的临界资源需要设置不同的互斥信号量mutex

P/V操作必须成对出现,缺少P就不难保证临界资源的互斥访问,缺少V就会导致资源永不被释放

实现进程同步

让各并发进程按照要求有序进行推进。

P1,P2并发执行,由于存在异步性,二者交替推进的次序是不确定的。

若P2的代码4要基于p1的代码1和代码2的运行结果才能执行,就必须保证代码4一定要在代码2之后执行

P1(){代码1;代码2;代码3;
}
P2(){代码4;代码5;代码6;
}

我们分析在什么地方需要实现同步关系,必须保证以前以后之心两个操作,会哦这两句代码,设置同步信号量S,初始值为0

semaphore S=0;//初始化信号量,初始值为0P1(){代码1;代码2;V(S);代码3;
}
P2(){P(S);代码4;代码5;代码6;
}

当先执行p1再执行p2的时候

执行完代码1和2,S++变为了1

然后执行到P(S)时,表示有可用资源,执行S(--)S的值会变回0

P2进程不会执行block原语,而是继续往下执行代码4

如果先执行p2再执行p1

由于S=0,S--后变为了-1,表示这个时候没有可用的资源,因此会执行block原语,主动请求阻塞

等执行完代码1和代码2后,执行V(S)让S++,S变回0

此时S的值依然<=0因此执行wakeup指令,唤醒P2进程,此时p2可继续执行代码4

实现前驱关系

进程P1中有一句代码S1,P2中又一句代码S2,P3中...这些代码要求按照一定的顺序来执行

此时每一对前去关系都是一个进程同步的问题(需要保证一前一后操作)

1.要为每一对前去关系各设置一个信号同步量

2.在前操作之后对响应的同步信号量执行V操作

3.在后操作之前对响应的同步信号量执行P操作

前V后P

http://www.jsqmd.com/news/5931/

相关文章:

  • 详细介绍:HDFS和MapReduce——Hadoop的两大核心技
  • AxC杂题乱做
  • Apache Hive 如何在大内容中发挥能量
  • 【AI 哲学思考】从大模型演进到生命隐喻:个性、极限与先天后天之问
  • 【AI 哲学思考】记忆的形态:从人脑到 AI 的存储之问
  • ISP DMA TEST
  • 基于遗传优化的SVM织物瑕疵类型识别matlab仿真 - 实践
  • 完整教程:大模型agent综述:A Survey on Large Language Model based Autonomous Agents
  • 三脚电感在报警器芯片里的实际作用与用法
  • 洛谷题单指南-进阶数论-P5091 【模板】扩展欧拉定理
  • jenkins maven nacos springboot profile实现多环境配置
  • RAG is really dead? 大模型和知识之间的桥梁没了? - spader
  • IOS-和安卓-AR-游戏开发指南-全-
  • Winform/C# 输出到Release VS中Release模式下生成去掉生成pdb文件
  • 供应商协同平台:打造高效安全供应链的关键
  • 互斥锁和信号量机制
  • NSIS为当前用户安装和为所有用户安装的选择
  • 在 Unity 中运用 SoundTouch 插件控制音频倍速播放
  • 数据中台厂商选型|解决方案厂商与独立中台厂商详细解读
  • 深度学习项目全流程实践与核心技术解析:从数据处理到模型优化 - 教程
  • 基于 SciPy 的矩阵运算与线性代数应用详解 - 详解
  • 直接使用的NLog帮助类
  • 【每日一面】setTimeout 延时为 0 的情况
  • honeywell扫码枪设置
  • Python3 pip 详解
  • IP5306 测试
  • AI元人文:悟空博弈框架
  • sway - wayland下截图方案
  • 不同网络间文件互传怎么实现?
  • 实用指南:Qt容器QList、QLinkedList、QVector特性浅谈