第8课进程间的制约关系(信号量来解决同步互斥问题)new.ppt

操作系统第8课;内容回顾;内容回顾:信号量;内容回顾:P、V操作;内容回顾:用信号量来解决进程互斥问题;用信号量来解决进程互斥问题;今日内容;同步、同步点、同步条件;进程同步;用信号量来解决进程同步问题;用信号量来解决进程同步问题;另外一个问题:;例:经典的生产者─消费者问题;一个生产者，一个消费者，一个缓冲区单元  Pa Pb ? ? A:放产品到缓冲区 B:从缓冲区取产品 ;私用信号量;用P、V原语操作实现进程同步;例:用P、V原语解决生产者─消费者问题;例:用P、V原语解决生产者─消费者问题;练习：用P.V操作解决司机与售票员的问题;;问题描述： 若干进程通过有限的共享缓冲区交换数据。 其中，“生产者”进程不断写入，而“消费者”进程不断读出； 共享缓冲区共有n个； 任何时刻只能有一个进程可对共享缓冲区进行操作。;一群生产者P1，P2，…Pi； 一群消费者Q1，Q2，…Qj； n个缓冲区单元。 首先是一同步问题： ①P进程只能往“空”的缓冲区中放产品, 设置信号量S1,表示空缓冲区单元个数。 Q进程只能从“满”的缓冲区中取产品, 设置信号量S2 ,表示满缓冲区单元个数。;;③描述：;考虑：是否存在临界区互斥问题？ 既存在合作同步问题，也存在临界区互斥问题：任何时刻，只能一个进程可对共享缓冲区进行操作(题目要求)。 题目要求：任何时刻只能有一个进程可对共享缓冲区进行操作。 ;解决互斥问题： ①设置公共信号量mutex：保证生产者进程与消费者进程对缓冲区的互斥操作； ② mutex初值为1；临界资源只有一个。;③描述：;P.V操作总结 1、信号量的物理含义： S.value 0表示有S个资源可用 S.value = 0表示无资源可用 S.value 0则|S.value|表示S等待队列中的进程个数 P(S):表示申请一个资源 V(S)表示释放一个资源。 信号量的初值应该大于等于0; 2、P、V操作必须成对出现，有一个P操作就一定有一个V操作 当为互斥操作时，它们同处于同一进程 当为同步操作时，则不在同一进程中出现 ; 3、如果P(S1)和P(S2)两个操作在一起，那么P操作的顺序至关重要,一个同步P操作???一个互斥P操作在一起时同步P操作在互斥P操作前 而两个V操作无关紧要;P、V操作的优缺点 优点： 简单，而且表达能力强（用P.V操作可解决任何同步互斥问题） 缺点： 不够安全；P.V操作使用不当会出现死锁；遇到复杂同步互斥问题时实现复杂;爸爸: 放苹果到盘子里;爸爸: 放苹果到盘子里;爸爸: P(s); 放苹果到盘子里; V(a);;课堂练习;练习;;信号量S1,S2 初始值S1=0;S2=0;信号量S1,S2 初始值S1=1;S2=0; S3=0;GET: 从文件F取记录 放入缓冲区R中;