蓝颜色是格外注意的


还有读读共享,读写互斥问题。
要背会四个模式,套用模式




例题讲解
1)生产者-消费者问题
一般意义的“生产者—消费者”问题:N个buffer,多个生产者,多个消费者,循环存取buffer。这就是一般意义的“生产者—消费者”问题。利用记录型信号量解决一般意义的“生产者—消费者”问题算法描述,请看教材。
说明:
(1)由于buffer有N个,而且buffer又是临界资源,因此,需要增加一个信号量mutex来实现对buffer的互斥访问,其初始值为1。需要特别强调的是,这种情况下,mutex不能省略。
(2)这种情况下,只要保证为不同的进程分配不同buffer,putdata和getdata操作是可以同时进行的,因此,对buffer的互斥访问不是发生在对buffer的存取操作上,而是发生在对buffer的分配上。
2)“哲学家进餐”问题
教材中解决哲学家进餐问题的算法有可能发生死锁,为避免死锁,可以采用以下三种策略:
策略一原理:至多只允许四个哲学家同时进餐,以保证至少有一个哲学家能够进餐,最终总会释放出他所使用过的两支筷子,从而可使更多的哲学家进餐。定义信号量count,只允许4个哲学家同时进餐,这样就能保证至少有一个哲学家可以就餐。
semaphore chopstick[5]={1,1,1,1,1};
semaphore count=4;
void philosopher(int i)
{while(true)
{think();
wait(count); //请求进入房间进餐
wait(chopstick[i]); //请求左手边的筷子
wait(chopstick[(i+1)%5]); //请求右手边的筷子
eat();
signal(chopstick[(i+1)%5]); //释放右手边的筷子
signal(chopstick[i]); //释放左手边的筷子
signal(count); //退出房间释放信号量
}
}策略二原理:仅当哲学家的左右两支筷子都可用时,才允许他拿起筷子进餐。可以利用AND 型信号量机制实现,也可以利用信号量的保护机制实现。利用信号量的保护机制实现的思想是通过记录型信号量mutex对取左侧和右侧筷子的操作进行保护,使之成为一个原子操作,这样可以防止死锁的出现。描述如下:
semaphore mutex = 1 ;
semaphore chopstick[5]={1,1,1,1,1};
void philosopher(int i)
{while(true)
{think();
wait(mutex);
wait(chopstick[(i+1)%5]);
wait(chopstick[i]);
signal(mutex);
eat();
signal(chopstick[(i+1)%5]);
signal(chopstick[i]);
}
}
策略三原理:规定奇数号的哲学家先拿起他左边的筷子,然后再去拿他右边的筷子;而偶数号的哲学家则相反。按此规定,将是1、2号哲学家竞争1号筷子,3、4号哲学家竞争3号筷子。即五个哲学家都竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有一个哲学家能获得两支筷子而进餐。
semaphore chopstick[5]={1,1,1,1,1};
void philosopher(int i)
{while(true)
{think();
if(i%2 == 0) //偶数哲学家,先右后左。
{wait (chopstick[(i + 1)%5]) ;
wait (chopstick[i]) ;
eat();
signal (chopstick[(i + 1)%5]) ;
signal (chopstick[i]) ;
}
else //奇数哲学家,先左后右。
{wait (chopstick[i]) ;
wait (chopstick[(i + 1)%5]) ;
eat();
signal (chopstick[i]) ;
signal (chopstick[(i + 1)%5]) ;
}
}3)“读者—写者”问题的演变
从本质上讲,读者—写者问题要解决:读、读共享;写、写互斥;写、读互斥。有两种解决模式:
模式一,读者优先的“读者—写者”问题解决模式(算法描述请参考教材):
①定义互斥信号量wmutex,实现写、写互斥和写、读互斥。
②定义整型变量Readcount表示正在读的进程数目。由于只要有一个Reader进程在读,便不允许Writer进程写,因此仅当Readcount=0,即无Reader进程在读时,Reader才需要执行Wait(wmutex)操作。若Wait(wmutex)操作成功,Reader进程便可去读,相应地,做Readcount+1操作。同理,仅当Reader进程在执行了Readcount减1操作后其值为0时,才需执行signal(wmutex)操作,以便让Write进程写。
③由于Readcount为多个读进程共享(修改),因此需要以互斥方式访问,为此,需要定义互斥信号量rmutex,保证读进程间互斥访问Readcount。
说明:在读者—写者问题中,实现“读、读共享”是有一定难度的,请掌握该模式(由②和③构成)。
模式二,写者优先的“读者—写者”问题解决模式,算法描述如下:
设3个信号量:
rmutex --- 读互斥信号量,初值为1;
wmutex --- 写互斥信号量,初值为1;
s --- 用于在写进程到达后封锁后续的读者,初值为1;
count --- 共享变量,用于记录当前正在读文件的读者数目,初值为0;
semaphore rmutex=1, wmutex=1, s=1;
int count=0;
main()
{CobeginReader();Writer();Coend
}Reader() {While(1)  {P(s);  P(rmutex);If (count==0) P(wmutex);  /*当第1个读者读文件时,阻止写者写*/count++V(rmutex);V(s);读文件;P(rmutex);count--;If (count==0) V(wmutex);  /*当最后1个读者读完文件时,允许写者写*/V(rmutex);}}Writer(){While(1)  {P(s);P(wmutex);写文件;V(wmutex);V(s);}
}例题解析
【例1】 桌上有1空盘,允许存放1个水果。爸爸向盘中放苹果,也可以向盘中放桔子。儿子专等吃盘中的桔子,女儿专等吃盘中的苹果。规定当盘空时一次只能放1个水果供吃者取用。请用Wait()、Signal()原语实现爸爸、儿子、女儿三个并发进程的同步。
【南京大学2000】
【分析】这是复杂情况的“生产者—消费者”问题,既有同步又有互斥。爸爸进程与儿子进程、女儿进程需要同步,儿子进程与女儿进程需要互斥。设置4个信号量S(盘子是否为空,初值为1)、So(盘中是否有桔子,初值为0)、Sa(盘中是否有苹果,初值为0)和mutex(用于对盘子的互斥访问,初值为1)。由于只有一个盘子(相当于只有一个buffer),对盘子的互斥访问发生在对盘子的存取操作上,S、So和Sa就可以保证对盘子的互斥操作了,故mutex也可以省略。
解:设三个信号量:
S --- 盘子是否为空,初值为1;
So --- 盘中是否有桔子,初值为0;
Sa --- 盘中是否有苹果,初值为0;Semaphore S=1, So=0, Sa=0;
Main() {Cobegin
Father();
Son();
Daughter();
Coend
}
Father() {While(1)  {Wait(S);   将水果放入盘中;
If  (放入的是桔子)  Signal(So);
Else   Signal(Sa);
}
}
Son() {While(1)  {Wait(So);   从盘中取出桔子;Signal(S); 吃桔子;
}
}
Daughter() {While(1)  {Wait(Sa);   从盘中取出苹果;Signal(S); 吃苹果;
}
}【例2】 如图1所示,有多个PUT操作同时向Buff1放数据,有一个MOVE操作不断地将Buff1的数据移到Buff2,有多个GET操作不断地从Buff2中将数据取走。Buff1的容量为m,Buff2的容量是n,PUT、MOVE、GET每次操作一个数据,在操作的过程中要保证数据不丢失。试用P、V原语协调PUT、MOVE的操作,并说明每个信号量的含义和初值。图1  进程操作图
【分析】这里存在两个一般意义的“生产者—消费者”问题,PUT(生产者)与MOVE(消费者)之间,需要设置三个信号量;MOVE(生产者)与GET(消费者)之间,需要设置三个信号量。PUT进程套用生产者进程即可,MOVE进程只有在Buff1有新数据且Buff2有空闲区的时候才移动数据,GET进程套用消费者进程即可。
答案:设置6个信号量full1、empty1、B-M1、full2、empty2、B-M2,它们的含义和初值如下:
1)  full1表示Buff1是否有数据,初值为0;
2)  empty1表示Buff1有空间,初值为m;
3)  B-M1表示Buff1是否可操作,初值为1;
4)  Full2表示Buff2是否有数据,初值为0;
5)  Empty2表示Buff2有空间,初值为n;
6)  B-M2表示Buff2是否可操作,初值为1;
<PUT类进程>{repeatP(empty1);  /*判断Buff1是否有空间,没有则等待 */     P(B-M1);   /*是否可操作Buff1*/PUT;                 V(B-M1);   /*设置Buff1可操作标志 */               V(full1);    /*设置Buff1有数据的标志 */ until false
}
<MOVE类进程>{repeatP(full1);    /*判断Buff1是否有数据,没有则等待*/P(empty2);  /*判断Buff2是否有空间,没有则等待*/      P(B-M1);   /*是否可操作Buff1  */P(B-M2);   /*是否可操作Buff2  */MOVE;                 V(B-M1);   /*设置Buff1可操作标志*/  V(B-M2);   /*设置Buff2可操作标志*/  V(empty1);  /*设置Buff1有空间标志*/             V(full2);    /*设置Buff2有数据标志*/ until false
}<GET类进程>{repeat
P(full2);  /*判断Buff2是否有数据,没有则等待 */
P(B-M2);   /*是否可操作Buff2*/
GET;
V(B-M2);   /*设置Buff2可操作标志 */
V(empty2);    /*设置Buff2有空间的标志 */
until false【例3】(8分)某银行提供1个服务窗口和10个供顾客等待的座位。顾客到达银行时,若有空座位,则到取号机上领取一个号,等待叫号。取号机每次仅允许一位顾客使用,当营业员空闲时,通过叫号选取1位顾客,并为其服务。顾客和营业员的活动过程描述如下:
cobegin
{process 顾客i{从取号机获得一个号码;等待叫号;获得服务;}process 营业员{while (TRUE){叫号;为顾客服务;}}
} coend请添加必要的信号量和P、V(或wait()、signal())操作,实现上述过程中的护持与同步。要求写出完整的过程,说明信号量的含义并赋初值。               【全国统考 2011】解:
semaphore  emptySeats:=10       //空闲座位数
semaphore  fullSeats:=0          //已占座位数
semaphore  mutex:=1            //顾客使用取号机互斥信号量cobegin
{process 顾客i{wait(emptySeats);        //获取一个座位wait(mutex);             //占用取号机取号
从取号机获得一个号码;
signal(mutex)            //释放取号机signal(fullSeats)         //座位上增加一个顾客
等待叫号;
signal(emptySeats);      //释放一个座位获得服务;}process 营业员{while (TRUE){wait(fullSeats);        //座位上减少一个顾客叫号;为顾客服务;}}
} coend
讲评:此题为生产者-消费者问题的翻版。课本上的哲学家进餐问题、生产者–消费者问题、读者–写者问题为基础性的进程同步问题,需要认真真正掌握,以此为基础用于解决其他进程同步问题。

用P、V操作解决进程同步问题的解题步骤相关推荐

  1. 操作系统-------用P,V操作解决生产者和消费者问题(详解!!!)

    问题:         系统中有一组生产者进程和一组消费者进程,生产者每次生产一个产品放入缓冲区,消费者每次从缓冲区取出一个产品并使用(注:这里的产品可以理解成某种数据). 条件:生产者.消费者共享一 ...

  2. 操作系统中的信号量及P、V操作

    系统中应该有解决进程同步的一种专门机制.实际上,同步是并发进程之间在执行时序 上的一种相互制约的关系.进程互斥的实质也是同步,可把进程互斥看作是一种特殊的进程同步. 同步机制应该满足如下一些基本要求. ...

  3. 试用 P、V操作描述下列理发师和顾客之间的同步问题

    P.V操作解决同步问题 题目: 试用 P.V操作描述下列理发师和顾客之间的同步问题: 某个理发理师当没有顾客时,去睡觉:当有顾客来理发,若理发师正在睡觉时,这个顾客会叫醒他,理发师给该顾客理发,理发期 ...

  4. 信号量——P、V操作、临界资源、临界区、进程同步

    1.信号量 用来同步进程的特殊变量:一个特殊的计数器,大于0时记录资源的数量,小于0时记录等待资源的进程的数量.当信号量的值大于0时,进程总是可以获取到资源并使用,小于0 时,进程必须阻塞等待有其他进 ...

  5. 操作系统信号量与P、V操作 初步认识整理

    初步接触,若有不足之处,请各位不吝赐教.谢谢! 首先介绍:信号量 信号量包括整型信号量.结构型信号量.二值信号量. ① 整型信号量 最初,将信号量定义为一个共享的整型量,它保存可供使用的唤醒数目.如果 ...

  6. v操作就是计算机结构中的什么作用,PV操作

    PV操作是一种实现进程互斥与同步的有效方法.PV操作与信号量的处理相关,P表示通过的意思,V表示释放的意思. PV操作是典型的同步机制之一.用一个信号量与一个消息联系起来,当信号量的值为0时,表示期望 ...

  7. 图解操作系统之p,v操作

    操作系统之p,v操作 计算机的核心是CPU,它承担了所有的计算任务:而操作系统是计算机的管理者,它负责任务的调度.资源的分配和管理,统领整个计算机硬件. 一.操作系统的相关定义 1.操作系统的定义: ...

  8. vp操作 信号量_信号量P,V操作

    2013-07-22 20:20:30 信号量是最早出现的用来解决进程同步与互斥问题的机制(也可实现进程通信),包括一个称为信 号量的变量及对它进行的两个原语操作.信号量为一个整数,我们设这个信号量为 ...

  9. 一个P,V操作的习题

    题目:在一个盒子里,混装了数量相等的黑白围棋子.现在用自动分拣系统把黑子.白子分开,设分拣系统有二个进程P1 和P2 ,其中P1 拣白子:P2 拣黑子.规定每个进程每次只拣一子:当一个进程在拣时,不允 ...

最新文章

  1. Go 学习笔记(82)— Go 第三方库之 viper(解析配置文件、热更新配置文件)
  2. Kubernetes — Overview
  3. 好记心不如烂笔头之jQuery学习,第一章
  4. gentoo doc web site
  5. 基于 Quartz 开发企业级任务调度应用
  6. @RabbitListener组合注解消费消息
  7. 浅谈MyBatis二级缓存
  8. 波士顿房价数据集解读
  9. 使用lambdaquery() 报空指针异常_Java 14 来势汹汹,这回让空指针无处遁形!!
  10. MySQL对浮点数设置保留位数
  11. maven集成tomcat插件启动报错
  12. 阶段3 1.Mybatis_05.使用Mybatis完成CRUD_9 Mybatis中的返回值深入-解决实体类属性和数据库列名不对应的两种方式...
  13. Android获取路径方法
  14. 03-CGB-DB-INIT-V1.01
  15. css3价格斜切_css3 斜切角/斜边的实现方式
  16. CSDN博客个人账号注册与登录
  17. PXE-MOF:EXITING INTEL PXE ROM是什么意思
  18. android测试命令大全,Android 测试之 adb 常用命令
  19. 解密PDF文件打开密码
  20. 【JavaScript】document对象的方法

热门文章

  1. 4K高清屏幕保护工具Aquarium 4K for Mac
  2. 排兵布阵问题java语言_hdu 4539 郑厂长系列故事——排兵布阵
  3. 初探强化学习(11)Dyna类型的强化学习
  4. dcos 1.7 安装
  5. 旋转增量式拉绳编码器出现故障应急处理
  6. 第一章 初识JVAV
  7. layui多选下拉框,多选
  8. imputation文献-A systematic evaluation of single-cell RNA-sequencing imputation methods
  9. matlab拟合代码总结
  10. 鹅长微服务发现与治理巨作PolarisMesh实践-上