(P24)进程间通信介绍二:死锁 ,信号量与PV原语 ,用PV原语解决司机与售票员问题 ,用PV原语解决民航售票问题 ,用PV原语解决汽车租赁问题

本文主要是介绍(P24)进程间通信介绍二:死锁 ,信号量与PV原语 ,用PV原语解决司机与售票员问题 ,用PV原语解决民航售票问题 ,用PV原语解决汽车租赁问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

    • 1.死锁
    • 2.信号量与PV原语
    • 3.用PV原语解决司机与售票员问题
    • 4用PV原语解决民航售票问题
    • 5.用PV原语解决汽车租赁问题

1.死锁

  • 死锁是指多个进程之间相互等待对方的资源,而在得到对方资源之前又不释放自己的资源,这样,造成循环等待的一种现象。如果所有进程都在等待一个不可能发生的事,则进程就死锁了。

  • 进程与进程间的关系
    (1)互斥:类似人之间的矛盾关系 2个小孩争抢同一个玩具
    多个进程排他性的使用他们所共享的资源,这些进程间就构成互斥关系
    (2)同步:类似人之间的协作关系 公共汽车安全行驶问题 司机 售票员

  • 死锁产生的必要条件
    (1)互斥条件
    进程对资源进行排他性使用,即在一段时间内某资源仅为一个进程所占用
    (2)请求和保持条件
    当进程因请求资源而阻塞时,对已获得的资源保持不放
    (3)不可剥夺条件
    进程已获得的资源在未使用完之前,不能被剥夺,只能在使用完时由自己释放
    (4)环路等待条件
    各个进程组成封闭的环形链,每个进程都等待下一个进程所占用的资源
    说明:
    如果一个进程同一时刻,允许多个进程占用的话,就不会构成死锁
    因为进程要排他性地使用资源,所以防止死锁产生,重点是防止上面的(2)(3)(4)条件

  • 防止死锁办法
    (1)资源一次性分配:破坏请求和保持条件
    (2)可剥夺资源:破坏不可剥夺条件
    所需要的资源都得到满足的时候,才能够占有,而不能占有一半的资源;
    (3)资源有序分配法:破坏循环等待条件
    当一个进程请求资源时,可以破坏其它进程所占有的资源

  • 死锁避免
    (1)预防死锁的几种策略,会严重地损害系统性能。因此,在避免死锁时,要施加较弱的限制,从而获得较满意的系统性能
    (2)由于在避免死锁的策略中,允许进程动态地申请资源。
    因而,系统在进行资源分配之前预先计算资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程,否则,进程等待。其中最具有代表性的避免死锁算法是银行家算法。

  • 银行家算法
    为保证资金的安全,银行家规定:
    (1)当一个顾客对资金的最大需求量不超过银行家现有的资金时,就可以接纳该顾客
    (2)顾客可以分期贷款,但贷款的总数不能超过最大需求量
    (3)当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟值赋,但总能使顾客在有限的时间里得到贷款
    (4)当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金
    进程资源的分配可以模拟银行家算法
    (1)一个进程申请的资源不超过系统的资源时,就可以允许该进程申请资源,否则就延迟申请
    (2)进程申请的资源系统不能满足,进程可以分配申请,但是申请的资源不能超过系统的容量
    (3)进程申请资源时,若系统暂时不能满足进程,系统会让进程等待,系统让进程在有限的时间里得到资源
    (4)进程得到所有的资源,能够在有限的时间内归还所有的资源

  • 哲学家就餐问题
    (1)5个哲学家围在一个圆桌上就餐,每个人都必须拿起2把叉子才能用餐
    (2)哲学家就餐问题解法
    解法1:服务生解法;这个方法将服务生作为一个管理者,它会判断资源是否处于安全的状态,若是安全状态,则会允许哲学家拿起叉子,否则不允许,继续等待.这是死锁避免算法,类似用银行家算法来解决问题
    解法2:最多4个哲学家;这个方法不好,实际改变了条件;
    解法3:仅当一个哲学家两边筷子都可以用时,才允许他拿筷子;这是破坏请求和保持条件
    解法4:给所有哲学家编号,奇数号的哲学家必须首先拿左边的筷子,偶数号的哲学家则反之;这是破坏环路和等待条件
    在这里插入图片描述

2.信号量与PV原语

  • 信号量和PV原语解决进程同步和互斥问题
  • 信号量和P、V原语是由Dijkstra迪杰斯特拉提出的
  • 信号量
    互斥:P、V在同一个进程中
    同步:P、V在不同进程中
  • 信号量值含义,S:计数值,等于-1表示:有1个进程处于等待的状态
    S>0:S表示可用资源的个数
    S=0:表示无可用资源,无等待进程
    S<0,|S|表示等待队列中进程的个数
  • 信号量
struct semaphore
{int value;pointer_PCB queue;进程控制块指针:表示当前有哪些进程处于等待的状态
};
  • P原语
    进程申请资源
    下面的代码是原子性的操作,不能被打断,在硬件上,而可以通过关闭中断的方式来实现
P(s)
{s.value=s.value--;if (s.value < 0){该进程状态置为等待状态将该进程的PCB插入相应的等待队列s.queue末尾}
}
  • V原语
    进程归还资源
V(s)
{s.value=s.value++;if (s.value <=0){唤醒相应等待队列s.queue中等待的一个进程改变其状态为就绪态并将其插入就绪队列}
}

3.用PV原语解决司机与售票员问题

  • 若信号量PV操作分布在不同进程中是解决同步问题的
    P(S1)将司机进程处于等待状态,当售票员进程关上门之后会给司机一个信号,即执行V(S1)操作,使得S1信号量的值增加了,唤醒了司机进程,司机进程就能进入启动车辆的状态;
    由于司机到站停车后才能开门,且S2信号量的值为0,因而它也进入到了等待状态,直到司机进程到站停车后执行V(S2)操作,唤醒等待的售票员进程,所以,售票员进程能开门
    在这里插入图片描述

4用PV原语解决民航售票问题

  • 互斥问题
    (1)S(1) 信号量的初始计数值为1,对S进行P操作进入临界区,此时S-1等于0,若有其他进程进入临界区,则会处于等待的状态,因为当前信号量的计数值为0,直到该进程执行V操作,释放对临界资源的控制权,才能够唤醒另外一个进程
    (2)
if (x>0)
x–;
上面是临界区,x称之为临界资源
/***********************/票数=x
S(1)P(S)
if (x>0)x--;
V(S)

5.用PV原语解决汽车租赁问题

  • 信号量计数值表示当前资源的个数
  • 有一汽车租赁公司有两部敞篷车可以出租,假定同时来了四个顾客都要租赁敞篷车,那么肯定会有两个人租不到
    在这里插入图片描述
    因为有2辆敞篷车,所以信号量计数值为2,注意这里的资源必须是同类的资源
    当一个顾客比较快办理完手续,首先进行一次P操作,计数值为1,接着。。。以此类推
    有一天B归还车了,他要唤醒其中的一个进程,会将当前的计数值-2改为-1,表示当前还有一个人处于等待的状态。。。以此类推

这篇关于(P24)进程间通信介绍二:死锁 ,信号量与PV原语 ,用PV原语解决司机与售票员问题 ,用PV原语解决民航售票问题 ,用PV原语解决汽车租赁问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1041398

相关文章

qt5cored.dll报错怎么解决? 电脑qt5cored.dll文件丢失修复技巧

《qt5cored.dll报错怎么解决?电脑qt5cored.dll文件丢失修复技巧》在进行软件安装或运行程序时,有时会遇到由于找不到qt5core.dll,无法继续执行代码,这个问题可能是由于该文... 遇到qt5cored.dll文件错误时,可能会导致基于 Qt 开发的应用程序无法正常运行或启动。这种错

SQL Server数据库死锁处理超详细攻略

《SQLServer数据库死锁处理超详细攻略》SQLServer作为主流数据库管理系统,在高并发场景下可能面临死锁问题,影响系统性能和稳定性,这篇文章主要给大家介绍了关于SQLServer数据库死... 目录一、引言二、查询 Sqlserver 中造成死锁的 SPID三、用内置函数查询执行信息1. sp_w

SpringBoot排查和解决JSON解析错误(400 Bad Request)的方法

《SpringBoot排查和解决JSON解析错误(400BadRequest)的方法》在开发SpringBootRESTfulAPI时,客户端与服务端的数据交互通常使用JSON格式,然而,JSON... 目录问题背景1. 问题描述2. 错误分析解决方案1. 手动重新输入jsON2. 使用工具清理JSON3.

MybatisPlus service接口功能介绍

《MybatisPlusservice接口功能介绍》:本文主要介绍MybatisPlusservice接口功能介绍,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录Service接口基本用法进阶用法总结:Lambda方法Service接口基本用法MyBATisP

Windows的CMD窗口如何查看并杀死nginx进程

《Windows的CMD窗口如何查看并杀死nginx进程》:本文主要介绍Windows的CMD窗口如何查看并杀死nginx进程问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录Windows的CMD窗口查看并杀死nginx进程开启nginx查看nginx进程停止nginx服务

MySQL 设置AUTO_INCREMENT 无效的问题解决

《MySQL设置AUTO_INCREMENT无效的问题解决》本文主要介绍了MySQL设置AUTO_INCREMENT无效的问题解决,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参... 目录快速设置mysql的auto_increment参数一、修改 AUTO_INCREMENT 的值。

关于跨域无效的问题及解决(java后端方案)

《关于跨域无效的问题及解决(java后端方案)》:本文主要介绍关于跨域无效的问题及解决(java后端方案),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录通用后端跨域方法1、@CrossOrigin 注解2、springboot2.0 实现WebMvcConfig

Go语言中泄漏缓冲区的问题解决

《Go语言中泄漏缓冲区的问题解决》缓冲区是一种常见的数据结构,常被用于在不同的并发单元之间传递数据,然而,若缓冲区使用不当,就可能引发泄漏缓冲区问题,本文就来介绍一下问题的解决,感兴趣的可以了解一下... 目录引言泄漏缓冲区的基本概念代码示例:泄漏缓冲区的产生项目场景:Web 服务器中的请求缓冲场景描述代码

Java死锁问题解决方案及示例详解

《Java死锁问题解决方案及示例详解》死锁是指两个或多个线程因争夺资源而相互等待,导致所有线程都无法继续执行的一种状态,本文给大家详细介绍了Java死锁问题解决方案详解及实践样例,需要的朋友可以参考下... 目录1、简述死锁的四个必要条件:2、死锁示例代码3、如何检测死锁?3.1 使用 jstack3.2

解决JSONField、JsonProperty不生效的问题

《解决JSONField、JsonProperty不生效的问题》:本文主要介绍解决JSONField、JsonProperty不生效的问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑... 目录jsONField、JsonProperty不生效javascript问题排查总结JSONField