PV操作和读者写者问题是进程间相互作用的经典问题,今天我就用幼儿园都能看懂的大白话来把这个问题讲清楚。
我们都知道,现代操作系统中能同时运行多个程序,而每一个运行中的程序,就叫一个进程。这些进程有些是互不相干,各跑各的;而有些进程,它们可能会共享某些数据,需要相互协作才能正确运行,我们管这样的进程叫:相关进程。
举个简单的例子:流水线上的操作工A和B需要按顺序生产产品,A和B之间有一个加工容器,A负责将产品放进容器,然后B负责从容器取走产品,而这个容器一次只能容纳一个产品,如果A放的太快,就会放不下;如果B拿的太快,就会拿空。
车间主管一来,想了个办法,
对A说:A你每次放之前,就先问一声:“空了吗?”,要是空的呢,你就放,放好你就再喊一声:“满了!”;要是不空呢,你就先等着,等B拿走了,他会叫你的!
又对B说:B你每次拿之前,也问一声:“满了吗?”,要是满的呢,你就拿,拿走你也喊一声:“空了!”;要是不满呢,你就先等着,等A放好了,他会叫你的!
于是A和B便按主管说的,一起愉快的干了下去。
在这个问题中,为了确保正确的工作,A和B其实只关心各自的1个问题。A关心的是容器空了没有,空了我就放;而B关心的则是容器满了没有,满了我就拿。所以我们可以把A和B看做两个相关进程P1和P2,而他们各自关心的问题 "空了吗" 和 "满了吗" 分别用两个信号量empty和full来表示,让empty=1,让full=0,至于为什么一个是1一个是0我们后面再讲,先记着就好了。
先来看进程P1也就是放产品的进程,它的工作流是这样的:
- 问一声:"空了吗?"
- 如果是满的,就等着
- 如果是空的,就放产品
- 喊一声:"满了!"
写成伪代码就是:
while(true){
while( "空了吗?" 为 false){
//等着
}
放产品;
喊一声:"满了!";
}
我们可以看到,等待的部分,我们是用while来实现的。事实上,P操作就是用来帮我们干这个的。
用P操作修改之后的代码如下:
empty = 1;
while(true){
P(empty); //问一声:"空了吗?";如果不空,就会在这等着
放产品;
喊一声:"满了!";
}
----------------------------------- 马上要考试了,先去看书了,下次再更,srysry 。2019/10/11 -----------------------------------