(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

相关文章

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理(LVM)来实现,首先,需要将物理存储设备(如硬盘分区)创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多

Python Jupyter Notebook导包报错问题及解决

《PythonJupyterNotebook导包报错问题及解决》在conda环境中安装包后,JupyterNotebook导入时出现ImportError,可能是由于包版本不对应或版本太高,解决方... 目录问题解决方法重新安装Jupyter NoteBook 更改Kernel总结问题在conda上安装了

pip install jupyterlab失败的原因问题及探索

《pipinstalljupyterlab失败的原因问题及探索》在学习Yolo模型时,尝试安装JupyterLab但遇到错误,错误提示缺少Rust和Cargo编译环境,因为pywinpty包需要它... 目录背景问题解决方案总结背景最近在学习Yolo模型,然后其中要下载jupyter(有点LSVmu像一个

Goland debug失效详细解决步骤(合集)

《Golanddebug失效详细解决步骤(合集)》今天用Goland开发时,打断点,以debug方式运行,发现程序并没有断住,程序跳过了断点,直接运行结束,网上搜寻了大量文章,最后得以解决,特此在这... 目录Bug:Goland debug失效详细解决步骤【合集】情况一:Go或Goland架构不对情况二:

解决jupyterLab打开后出现Config option `template_path`not recognized by `ExporterCollapsibleHeadings`问题

《解决jupyterLab打开后出现Configoption`template_path`notrecognizedby`ExporterCollapsibleHeadings`问题》在Ju... 目录jupyterLab打开后出现“templandroidate_path”相关问题这是 tensorflo

如何解决Pycharm编辑内容时有光标的问题

《如何解决Pycharm编辑内容时有光标的问题》文章介绍了如何在PyCharm中配置VimEmulator插件,包括检查插件是否已安装、下载插件以及安装IdeaVim插件的步骤... 目录Pycharm编辑内容时有光标1.如果Vim Emulator前面有对勾2.www.chinasem.cn如果tools工

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

Java多线程父线程向子线程传值问题及解决

《Java多线程父线程向子线程传值问题及解决》文章总结了5种解决父子之间数据传递困扰的解决方案,包括ThreadLocal+TaskDecorator、UserUtils、CustomTaskDeco... 目录1 背景2 ThreadLocal+TaskDecorator3 RequestContextH

关于Spring @Bean 相同加载顺序不同结果不同的问题记录

《关于Spring@Bean相同加载顺序不同结果不同的问题记录》本文主要探讨了在Spring5.1.3.RELEASE版本下,当有两个全注解类定义相同类型的Bean时,由于加载顺序不同,最终生成的... 目录问题说明测试输出1测试输出2@Bean注解的BeanDefiChina编程nition加入时机总结问题说明

关于最长递增子序列问题概述

《关于最长递增子序列问题概述》本文详细介绍了最长递增子序列问题的定义及两种优化解法:贪心+二分查找和动态规划+状态压缩,贪心+二分查找时间复杂度为O(nlogn),通过维护一个有序的“尾巴”数组来高效... 一、最长递增子序列问题概述1. 问题定义给定一个整数序列,例如 nums = [10, 9, 2