P and V
上次,我们已经说过死锁的形成原因以及防止方法了,都知道,之所以会发生死锁现象,原因之一是进程执行所申请的资源得不到满足,而陷入无限期的循环等待现象,而在这里我们说的进程其实是并发进程,也就是一组,至少两个进程同时进行。出现了并发进程,随之而来的就是解决并发进程间的资源分配方法,PV操作
首先我们说一下定义:
1、p操作和v操作都是原语,即不可中断的过程。他们是对信号量进行操作
2、P操作:将信号量(定为S)S减去1,若结果小于0,则把调用P(s)的进程置成等待信号量S状态
3、V操作:将信号量S加1,若结果不大于0,则释放一个等待信号量S的进程。
4、相关临界区:并发进程中涉及到相同变量的那些临界区。(进程间所要使用的变量集的交合点)
5、信号量:通俗的理解就是相关临界区内的资源容纳量。
首先我们认识一下信号量,就拿我们这张图来说吧来说吧
在这里,我们完全可以把重心的白色的盘子看作是临界区,心形糕点就是人们需求的资源,也就是信号量=2,从其中我们可以明明白白的看到一个盘子,两个糕点,所以我们怎么定义呢?
信号量 S=2
可是这明摆着有ABCD四只饿鬼,是典型的狼多肉少啊,怎么办呢?
就是我们的PV操作了。
首先,我们已经定义好信号量s了所以,假如我们按顺序从A开始算的话
如以下表
人员 |
信号量值 |
未分配时 |
2 |
A |
1 |
B |
0 |
C |
-1 |
D |
-2 |
就和上边表里一样,也就是AB有的吃,CD没得吃,因为资源被AB吃掉了。
接下来,我们认识PV操作:
还拿上边那张图来说,假设厨房还在一直做糕点,一直不断地往盘子里补充,而ABCD也还在一直不断地吃,那又该有什么情况发生呢?
1、当盘子满了之后,厨房师傅就不能再继续往里加了,只能等到盘子有空余地方的时候,才能继续放
2、当盘子里的糕点被吃完而厨房孩没有及时补充的时候,饿鬼们就不能吃了,只能等着,一直到盘子里又有糕点后才能吃
这样,条件就设定好了,又该如何进行呢?
begin
S;semaphore; 定义信号量
S=4;
cobegin
----------------------------------------------------------------------------------------------
Process A
Begin
L1:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
go to L1;
end;
----------------------------------------------------------------------------------------------
Process B
Begin
L2:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
go to L2;
end;
----------------------------------------------------------------------------------------------
Process C
Begin
L3:看盘子;
P(s);检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
go to L3;
end;
----------------------------------------------------------------------------------------------
Process D
Begin
L4:看盘子;
P(s);检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
go to L4;
end;
----------------------------------------------------------------------------------------------
就上面的这个做法,存在一个问题,那就是如果ABCD同时看向盘子,而盘子里却只有一个糕点时,ABCD的信号量都表示为1,可是谁吃呢?这个就是并发进程里面的弊端,与时间有关的错误。这种问题十分常见于互斥性质的并发进程中。
为了改善上面的这个问题,我们把它改一下,改成同步性质的并发进程,同步的,主要体现在进程之间的信息交互上,一种依赖关系
条件:按顺序来,ABCD按顺序吃糕点
begin
S,S1,S2,S3,S4;semaphore; 定义信号量
S=4,S1=1,S2=0,S3=0,S4=0;
cobegin
----------------------------------------------------------------------------------------------
Process A
Begin
L1:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
P(s1);
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
V(s2);告诉B,自己吃完了,你可以吃了
go to L1;
end;
----------------------------------------------------------------------------------------------
Process B
Begin
L2:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
P(s2);
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
V(s3);告诉C,自己吃完了,你可以吃了
go to L2;
end;
----------------------------------------------------------------------------------------------
Process C
Begin
L3:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
P(s3);
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
V(s4);告诉D ,自己吃完了,你可以吃了
go to L3;
end;
----------------------------------------------------------------------------------------------
Process D
Begin
L4:看盘子;
P(s); 检查盘子里又没有糕点呢?当S不小于0时,就证明有, 然后A就可以拿,可以吃了
P(s4);
吃糕点;
V(s);吃了糕点后,释放盘子的空间,告诉厨师,你可以放了
V(s1);告诉A,自己吃完了,你可以吃了
go to L4;
end;
----------------------------------------------------------------------------------------------
就这样,有互斥转为同步,他们之间就会按顺序吃饭,不会争夺,也不会吵架,按部就班,而他们之间呢,主要是信息的交互,我吃了告诉你,然后你就去吃就行了,没有打架的理由啊!
本人相对于各位大牛纯属菜鸟级别,对于这片文章大家还有什么不明白或不理解的或者是有建议或者意见的,可直接找我,也可以发我邮箱18333617223@163.com,欢迎指教
P and V的更多相关文章
- J a v a 的“多重继承”
接口只是比抽象类“更纯”的一种形式.它的用途并不止那些.由于接口根本没有具体的实施细节——也就是说,没有与存储空间与“接口”关联在一起——所以没有任何办法可以防止多个接口合并到一起.这一点是至关重要的 ...
- Exception in thread "main" java.lang.NoSuchMethodError: org.objectweb.asm.ClassWriter.<init>(I)V
在学习CGlib动态代理时,遇到如下错误: Exception in thread "main" java.lang.NoSuchMethodError: org.objectwe ...
- [Erlang 0118] Erlang 杂记 V
我在知乎回答问题不多,这个问题: "对你职业生涯帮助最大的习惯是什么?它是如何帮助你的?",我还是主动回答了一下. 做笔记 一开始笔记软件做的不好的时候就发邮件给自己, ...
- v$session中server为none与shared值解析
查询V$SESSION,你会看到SERVER可能会有DEDICATED| SHARED| PSEUDO| NONE 四种值,如果SERVER字段的值除了DEDICATED,还有NONE,则说明当前实例 ...
- 引用js或css后加?v= 版本号的用法
<span style="font-size:14px;">css和js带参数(形如.css?v=与.js?v= 或 .css?version=与.js?version ...
- 操作系统中的P,V操作(转)
无论是计算机考研.计算机软件水平考试.计算机操作系统期末考试还是其他计算机岗位考试,P.V原语操作都是一个常考点.下面笔者总结了关于P.V操作的一些知识. 信号量是最早出现的用来解决进程同步与互斥问题 ...
- 关于P,V操作理解的突破,关于并发设计与并行
今天又找了一篇博客研究P,V操作.. 发现..它有一个变量没有声明.. 我就换了篇博客..http://c.biancheng.net/cpp/html/2600.html 然后就看懂了.. 关键突破 ...
- XV Open Cup named after E.V. Pankratiev. GP of Tatarstan
A. Survival Route 留坑. B. Dispersed parentheses $f[i][j][k]$表示长度为$i$,未匹配的左括号数为$j$,最多的未匹配左括号数为$k$的方案数. ...
- XVII Open Cup named after E.V. Pankratiev. GP of SPb
A. Array Factory 将下标按前缀和排序,然后双指针,维护最大的右边界即可. #include<cstdio> #include<algorithm> using ...
- XVI Open Cup named after E.V. Pankratiev. GP of Ukraine
A. Associated Vertices 首先求出SCC然后缩点,第一次求出每个点能到的点集,第二次收集这些点集即可,用bitset加速,时间复杂度$O(\frac{nm}{64})$. #inc ...
随机推荐
- WPF 检测输入状态
[DllImport("user32.dll")] static extern bool GetLastInputInfo(ref LASTINPUTINFO plii); pub ...
- win7下virtualbox装linux共享win7文件问题(已测试可用)
virtualbox这个比较强大,在win7上跑redhat5u4很流畅.os之间共享文件是个大家都很关心的问题,这会直接关系到虚拟机用的爽不爽. 在win7和其上的虚拟机linux之间共享文件也很容 ...
- delete this及堆破坏检测方法
作者: Bruce 日期: 2012年06月03日 04:20 周日 发表评论 (0) 查看评论 --END*1--> 0 条评论 --END*2-->1,837 人阅读 程序BU ...
- HDU 4435 charge-station () bfs图论问题
E - charge-station Time Limit:1000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64u ...
- Linux upstart启动方式详解
Ubuntu从6.10开始逐步用Upstart()代替原来的SysVinit进行服务进程的管理.RHEL(CentOS)也都从版本6开始转用Upstart代替以往的init.d/rcX.d的线性启动 ...
- ubuntu12 apache2部署多个网站的方法
由于对apache2的配置不是很精通.吃了不少瘪. 这里总结下,希望对碰到同样问题的人带来帮助: 假设需求是有两个站点,site1和site2.其端口分别为80和8080. 1. 配置监听端口 修改 ...
- 【OpenStack】OpenStack系列17之OpenStack私有云设计二
- There is no getter for property named 'purchaseApplyId' in 'class java.lang.Long'
mapper.xml: <delete id="deleteByPurchaseAppyId" parameterType="Long"> < ...
- 惊魂web应用宕机记一次网站的紧急恢复
这次网站的故障出现的比较突然,没有任何防备,有种突如其来的感觉.这是一台阿里云服务器,采用wdcp的nginx+apache+mysql的方式运行.一位同事在对web目录进行压缩后,由于web目录有很 ...
- codeigniter 视图
2014年7月7日 15:23:05 ci的视图功能很棒, 比如一个网页有四个部分组成,对应4个文件:header.php, sider.php, maincontent.php, footer .p ...