进程同步与互斥

目录

进程同步与互斥(1)

第一节、进程间相互作用

一、相关进程和无关进程

二、与时间有关的错误

第二节、进程同步与互斥

一、进程的同步

二、进程的互斥

三、临界区

进程同步与互斥(2)

三、信号量与P、V操作的物理含义

四、用P、V操作实现进程间的互斥

五、用P、V操作实现进程间的同步

 六、信号量及P、V操作总结 

进程同步与互斥(3)

第四节 经典的进程同步问题

一、简单生产者--消费者问题

二、多个生产者--消费者问题 

三、读者--写者问题 

进程同步与互斥(4)

四、同步与互斥的综合应用

第五节管程 

一、管程的提出

第六节 进程通讯

一、共享内存

二、消息机制

三、管道通信


进程同步与互斥(1)

第一节、进程间相互作用

一、相关进程和无关进程

1.相关进程:在逻辑上具有某种联系的进程
2.无关进程:在逻辑上没有关联的进程
3.举例:(1)为两个不同源程序进行编译的进程,它们可以并发执行,但它们之间无关
(2)三个进程,分别是读数据进程、处理数据进程、打印结果进程,它们相互依赖、相互合作,是一组相关进程。

二、与时间有关的错误

对于相关进程来说,可能有若干并发进程同时使用共享资源,即一个进程一次使用未结束,另一进程也开始使用,形成交替使用共享资源。
结果:形成与时间有关的错误

第二节、进程同步与互斥

一、进程的同步

进程的同步:是指进程之间一种直接的协同工作关系,一些进程相互合作共同完成一项任务。(一个进程执行完任务,另一个进程才能执行)
例如:进程A从硬盘上读记录,每读出一个记录就存入缓冲区,进程B从缓冲区中取出记录加工,直至所有记录处理结束。
直接制约关系:A若没有把记录读入缓冲区,B等待;反之,B若从缓冲区取出记录,A等待;

二、进程的互斥

在系统中,许多进程常常需要共享资源,而这些共享资源往往需要排他性的使用,即一次只能为一个进程服务,因此,各进程间只能互斥使用这些资源,进程间的这种关系就是进程的互斥。
例如:多个进程竞争使用打印机、一些变量、表格等资源,进程间的互斥是一种间接制约关系。(同步是直接制约关系)

三、临界区

1.临界资源:若在系统中的某些资源一次只允许一个进程使用,则这类资源称为临界资源或共享变量。
2.临界区:访问临界资源的那段代码
3.相关临界区:如果有若干进程共享某一临界资源,则该临界区称为相关临界区
4.相关临界区的调度使用原则:当临界资源空闲时,若有一个进程要求进入临界区,应允许它立即进入。---有空让进,有效利用资源。
(2)若有一个进程已在临界区,其他要求进入临界区的进程必须等待,--无空等待,互斥进入
(3)当没有进程在临界区,而同时有多个进程要求进入临界区,选择其一进入,其他等待。多种选一
(4)任一进程进入临界区的要求应在有限时间满足--有限等待,避免死等。
(5)处于等待状态的进程应放弃占用处理器。---让权等待,避免忙等。

 

进程同步与互斥(2)

三、信号量与P、V操作的物理含义

信号量S表示某类可用的资源,对于不同的资源,用不同的信号表示。
S>0时,S表示某类资源的可用数量
S<0时,其绝对值表示排在S等待队列中进程的数目。
执行一次P操作,表示请求一个资源。
执行一次V操作,表示进程释放一个资源。

四、用P、V操作实现进程间的互斥

假设有进程A、B竞争进入临界区,用P、V操作实现进程之间的互斥。
首先定义信号量S,并使之初值为1。

五、用P、V操作实现进程间的同步

解决思路:如果有两个进程同步,设置两个信号量S1,S2,初始值可以设为0。为了表达同步,同一信号量的P、V
操作分属于两个进程,如例一:


例二:有三个进程,进程get从输入设备上不断读取数据,并放入缓冲区buffer1;进程copy不断地将缓冲区buffer1中的内容复制到缓冲区buffer2;进程put则不断将buffer2中的内容在打印机上输出。
三者的制约关系:get进程必须先从设备读数据到buffer1,copy进程才能从buffer1复制内容到buffer2,最后put进程才能打印buffer2的内容。
反之,copy进程从buffer1取走数据之后,get进程才能继续从设备读数据到buffer1,put进程从buffer2取走数据之后,copy进程才能复制buffer1的数据到buffer2。
故可以设置四个信号量来保证三者的执行顺序
信号量设置:
S1,初始值为1,保证get进程能够从设备读取数据到buffer1。
S2,初始值为0,copy进程能否将buffer1数据复制到buffer2。
S3,初始值为1,put进程能否将buffer2内容打印输出。
S4,初始值为0,保证buffer2缓冲区内容可用

 六、信号量及P、V操作总结 

1.P、V操作必须成对出现
2.互斥操作时,P、V操作出现在同一进程
3.同步操作时,P、V操作出现在不同进程
4.既有同步、又有互斥操作时,同步信号量P操作在前,互斥信号量P操作在后,V操作顺序不限。

进程同步与互斥(3)

第四节 经典的进程同步问题

一、简单生产者--消费者问题

问题描述:设有一个生产者进程P,一个消费者进程Q,他们通过一个缓冲区联系起来,如图4-2所示。
1.二者关系描述:
(1)生产者生产产品放入缓冲区,消费者从缓冲区取产品,进行消费;
(2)P进程不能往已经“满”的缓冲区放产品,Q进程不能从“空”缓冲区取产品
2.信号量设置:
empty,初值为1,用于指示空缓冲区数量
full,初值为0,用于指示满缓冲区数量
3.解决方案:

二、多个生产者--消费者问题 

1.问题描述:设有若干个生产者P1、P2、……,若干个消费者Q1、Q2、……,他们通过一个环形缓冲池联系起来,如图4-3所示。


2.同步问题和信号量设置,生产者不能往“满”缓冲区中放产品,设置信号量empty,初始值为k,指示缓冲池中空缓冲区数目。
消费者不能从“空”缓冲区中取产品,设置信号量full,初始值为0,指示缓冲池中的满缓冲区数目。
3.互斥问题和信号量设置,缓冲必须互斥访问,设置信号量mutex,初始值为1。
4.其他变量设置,整型量i、j,初始值0,分别用于指示空缓冲区和满缓冲区位置。
5.算法


6.例题:桌子上有一个水果的盘子,一次只能放一个水果,父亲向盘中放苹果或橘子,女儿专吃苹果,儿子专吃橘子,试用PV操作写出他们能正确同步的过程。
(1)分析:在本题中,爸爸、女儿、儿子共用一个盘子,盘子一次只能放一个水果。当盘子为空时,爸爸可将一个水果放入果盘中。若放入盘中的是橘子,则允许儿子吃,女儿必须等待;若放入盘中的是苹果,则允许女儿吃,儿子必须等待;
本题实际是生产者--消费者问题的一种变形。这里,生产者放入缓冲区的产品有两类,消费者也有两类,每类消费者只能消费其中一类固定产品。

(2)信号量设置:设置3个信号量S、So、Sa,信号量S表示盘子是否为空其初值为1;信号量So表示盘子是否有橘子,其初值为0;信号量Sa表示盘子是否有苹果,其初值为0;
(3)信号量定义:Semaphore S=1,So=0,Sa=0
(4)算法

三、读者--写者问题 

1.问题描述:假定有某个共享文件F,系统允许若干进程对文件F进行读或写。读文件的进程称为读者,写文件的进程称为写者,他们遵守如下规定:
(1)多个进程可以同时读文件F
(2)当一个进程在对文件F进行写时,不允许其他进程对文件进行读或写。
(3)当有进程正在读文件时不允许任何进程去写文件。
2.问题分析:
(1)写者与写者进程之间互斥,互斥文件F
(2)写者进程与第一个读者之间互斥访问文件。
3.变量设定:
read_count:整型量,当前正在读的读者进程个数,来一个读者数量加1,走一个读者数量减1;
mutex:互斥信号量,对read_count互斥访问
write:互斥信号量,写者与写者的互斥,写者与读者之间的互斥。
4.算法:

例题:若有一个文件F,供多进程读,现在把进程分成A、B两组,规定同组的进程可同时读文件F,但不同组的进程不能同时读文件F。试用PV操作写出该文件的同步算法。
(1)变量设置:定义两个计数器C1和C2分别记录A组和B组中正在读文件F的进程数,它们的初始值均为0。
(2)信号量设置:设置三个信号量S1、S2、SAB才能保证正确并发执行;S1用来保证A组进程对C1的互斥访问,S2用来保证B组对进程C2的互斥访问,SAB用来保证A组进程和B组进程对文件F的互斥访问,它们的初始值均为1;

进程同步与互斥(4)

四、同步与互斥的综合应用

例4-1:路口单双号交通管制
问题描述:某个城市为解决市内汽车太多、拥堵问题,出台一项措施,对进入市区的车辆实行单双号限行办法,规定单号单行,双号双行。
有一个进入市区中心的路口,进入该路口的道路有一条,离开该路口道路有两条,一条进入市区,一条进入环线,路口设有车牌识别设备和放行栅栏。如图4-4所示:
例4-1分析
可抽象为生产者--消费者问题
生产者:检查车辆牌号
消费者1:进入“市区放行栅栏”
消费者2:进入“进入环路放行栅栏”

 

第五节管程 

一、管程的提出

信号量及P、V操作的缺点:
(1)程序易读性差
(2)程序不利于修改和维护
(3)正确性难以保证
(4)为了更易于编写正确的程序,引入管程

二、管程的概念及组成

定义:是一个由过程、变量及数据结构等组成的一个集合,它们组成一个特殊的模块或软件包。进程可在任何需要的时候调用管程中的过程。
组成:管程名称、共享数据说明、对数据进行操作的一组过程、对共享数据赋初值的语句。

第六节 进程通讯

一、共享内存

1.原理:在相互通信的进程之间设有一个公共内存区,一组进程向该公共内存中写,另一组进程从公共内存中读,通过这种方式实现两组进程之间的信息交换。

二、消息机制

1.消息缓冲
消息缓冲通信原理:进程间的数据交换,是以格式化的消息(也称为消息报文)为单位的。程序员直接利用操作系统提供的一组通信命令(原语),实现大量数据的传递,通信过程对用户是透明的。
消息格式:
struct message_buffer{
int sender;//发送者进程标识符
int size;//消息长度
char *text;//消息正文
struct message_buffer *next;//指向下一个消息缓冲区的指针
}


2.信箱
信箱通讯原理:为了实现进程间的通信,可以设计一个通信机构-信箱,以发送信件和接收信件为进程间通信的基本方式。

三、管道通信

所谓“管道”,是指用于连接一个读进程和写进程以实现他们之间通信的一个共享文件,又名pipe文件。
最早出现在UNIX系统中,是UNIX系统进程通信的一大特色

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

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Tomcat 下部署 jFinal

1、检查web.xml 配置&#xff0c;在 tomcat 下部署需要检查 web.xml 是否存在&#xff0c;并且要确保配置正确&#xff0c;配置格式如下。 <?xml version"1.0" encoding"UTF-8"?> <web-app xmlns:xsi"http://www.w3.org/2001/XMLSchema-i…

使用命令行(CMD)编译单Java文件

1.安装JDK JDK官网&#xff1a;https://www.oracle.com/java/technologies/downloads/ 选 Windows -> x64 MSI Instaler或者x64 Installer 安装成功后。 2.配置环境变量 按下Win键&#xff0c;搜索环境变量 添加JAVA_HOME系统环境变量&#xff0c;要指定类似这样的路径(…

Dubbo学习(一)——dubbo学习背景

文章目录 前言分布式基础理论什么是分布式系统发展演变ORMMVCRPCSOA RPC(远程调用)什么是RPCRPC工作原理 为什么RPC要用到DubboDubbo的优势高性能可扩展性高可靠性监控和管理 使用示例总结 前言 分布式基础理论 什么是分布式系统 分布式系统是若干独立计算机的集合&#xff…

月木学途开发 1.后台用户模块

概述 权限控制采用springsecurity 数据库设计 用户表 DROP TABLE IF EXISTS admin; CREATE TABLE admin (aid int(32) NOT NULL AUTO_INCREMENT,email varchar(50) DEFAULT NULL,username varchar(50) DEFAULT NULL,password varchar(255) DEFAULT NULL,phoneNum varchar(2…

在Ubuntu 18.04上支持C++17的std::filesystem的方法

在Ubuntu 18.04上通过命令sudo apt install gcc g安装的gcc/g版本为7.5&#xff0c;此版本并不直接支持filesystem&#xff0c;如下图所示&#xff1a; Ubuntu 18.04上的g 7.5支持experimental的filesystem,即std::experimental::filesystem&#xff0c;若想使Ubuntu 18.04支持…

软件设计原则扩展

一、引言 经典的软件设计7大原则 开闭原则&#xff08;Open Close Principle, OCP&#xff09; 依赖倒置原则&#xff08;Dependence Inversion Principle, DIP&#xff09; 单一职责原则&#xff08;Simple Responsibility Principle, SRP&#xff09; 接口隔离原则&#xf…

OPENCV实现DNN图像分类

使用步骤1 使用步骤2 使用步骤3 使用步骤4 使用步骤5 使用步骤6 完整代码如下: import numpy as np

Git --- 基础介绍

Git --- 基础介绍 git 是什么git --- 工作区, 暂存区, 资源库git --- 文件状态git --- branch 和 HEADgit --- 一次正常的git提交流程 git 是什么 Git是一款分布式源代码管理工具(版本控制工具)Git和其他传统版本控制系统比较: 传统的版本控制系统(例如 SVN)是基于差异的版本控…

从零开始学习 Java:简单易懂的入门指南之Stream流(二十七)

Stream流 Stream流1.体验Stream流2.Stream流的常见生成方式3.Stream流中间操作方法4.Stream流终结操作方法5.Stream流的收集操作6.Stream流综合练习 Stream流 1.体验Stream流 案例需求 按照下面的要求完成集合的创建和遍历 创建一个集合&#xff0c;存储多个字符串元素把集合中…

ElasticSearch(ES)简单介绍

ES简介 Elasticsearch&#xff08;通常简称为ES&#xff09;是一个开源的分布式搜索和分析引擎&#xff0c;旨在处理各种类型的数据&#xff0c;包括结构化、半结构化和非结构化数据。它最初是为全文搜索而设计的&#xff0c;但随着时间的推移&#xff0c;它已经演变成一个功能…

后端返回的id到前端后 后面几位数全部变成0了 问题解决

这里 我在java控制台上 输出了id的值 但请求到前端后 很明显就不太一样了 这个问题比较经典的叫法是 雪花算法生成的ID过长&#xff0c;前端接收精度丢失 原因 前端使用number类型进行接收&#xff0c;number类型的范围小于后台Long类型的范围&#xff0c;出现了精度丢失问题…

【Vue】路由与Node.js下载安装及环境配置教程

&#x1f389;&#x1f389;欢迎来到我的CSDN主页&#xff01;&#x1f389;&#x1f389; &#x1f3c5;我是Java方文山&#xff0c;一个在CSDN分享笔记的博主。&#x1f4da;&#x1f4da; &#x1f31f;推荐给大家我的专栏《Vue快速入门》。&#x1f3af;&#x1f3af; &…

界面控件DevExpress WinForms HTML-CSS模板:预设计UI模板加速.NET应用开发

在过去的一年里&#xff0c;DevExpress官方引入了两个强大的功能来加速/简化.NET桌面应用的开发&#xff0c;当一起使用时&#xff0c;您可以创建优雅/个性化的用户界面&#xff0c;减少重复的代码&#xff0c;从而节省更多的项目时间。 DevExpress WinForms有180组件和UI库&am…

2023_Spark_实验十二:Spark高级算子使用

掌握Spark高级算子在代码中的使用 相同点分析 三个函数的共同点&#xff0c;都是Transformation算子。惰性的算子。 不同点分析 map函数是一条数据一条数据的处理&#xff0c;也就是&#xff0c;map的输入参数中要包含一条数据以及其他你需要传的参数。 mapPartitions函数是一个…

公开研讨会|智能制造中生产管理挑战与解决方案(9月29日)

随着新能源行业的规模化发展&#xff0c;企业增效降本成为迫切需求。生产制造能力成为关键因素&#xff0c;其发展必将是在大规模生产的前提下&#xff0c;追寻极简制造、极限制造以及智能制造。然而在这个发展过程中&#xff0c;企业依旧面临着诸多挑战&#xff1a; 产品设计…

DAZ To UMA⭐一.DAZ使用简介 / 设置DAZ导出的内容 / 获取模型纹理贴图

文章目录 🟥 DAZ快捷键🟧 DAZ界面介绍🟩 设置DAZ导出的内容1️⃣ 找到要导出的参数名称2️⃣ 打开导出面板3️⃣ 设置导出规则举例 : 导出身体Assets🟦 获取模型纹理贴图🟥 DAZ快捷键 移动物体:ctrl+alt+鼠标左键 旋转物体:ctrl+alt+鼠标右键 导入模型:双击左侧模型…

大数据-玩转数据-Flink SQL编程

一、概念 1.1 Apache Flink 两种关系型 API Apache Flink 有两种关系型 API 来做流批统一处理&#xff1a;Table API 和 SQL。 Table API 是用于 Scala 和 Java 语言的查询API&#xff0c;它可以用一种非常直观的方式来组合使用选取、过滤、join 等关系型算子。 Flink SQL 是…

23种设计模式汇总详解

设计原则 中文名称英文名称含义解释单一职责原则Single Responsibility Principle(SRP)任何一个软件模块都应该只对某一类行为者负责一个类只干一件事&#xff0c;实现类要单一开闭原则Open-Close Principle(OCP)软件实体&#xff08;类、模块、函数等&#xff09;应该是可以扩…

七绝 . 秋寒

题记 拜读署名“淡定人生D”近日发表在“ 今日头条 ”上的古体诗《七绝 . 凉》&#xff0c;本老朽在由衷赞叹该女子才貌双全之时&#xff0c;也对自己寄居养老的成都崇州街子古镇今日下午的秋寒突至天气&#xff0c;情怀涌动&#xff0c;思绪万千&#xff0c;亦作《七绝 . 秋寒…

图像处理之《基于语义对象轮廓自动生成的生成隐写术》论文精读

一、相关知识 首先我们需要了解传统隐写和生成式隐写的基本过程和区别。传统隐写需要选定一幅封面图像&#xff0c;然后使用某种隐写算法比如LSB、PVD、DCT等对像素进行修改将秘密嵌入到封面图像中得到含密图像&#xff0c;通过信道传输后再利用算法的逆过程提出秘密信息。而生…