操作系统概念：第七章进程同步.pptxVIP

1操作系统概念第七章：进程同步

2本章主要内容背景临界区域问题同步硬件信号量经典同步问题管程

共享数据的并发访问可能导致数据的不一致维护数据的一致性需要能够保证协作进程顺序执行的机制

生产者while(1){while(counter==BUFFER_SIZE);//donothing//produceanitemandputinnextProducedbuffer[in]=nextProduced;in=(in+1)%BUFFER_SIZE;counter++;}

消费者1while(1){2while(counter==0)3;//donothing4nextConsumed=buffer[out];5out=(out+1)%BUFFER_SIZE;6counter--;7}8

counter++可按如下方式以机器语言实现register1=counterregister1=register1+1counter=register1counter--可按如下方式实现register2=counterregister2=register2–1counter=register2考虑以下交叉执行顺序S0:生产者执行register1=counter{register1=5}S1:生产者执行register1=register1+1{register1=6}S2:消费者执行register2=counter{register2=5}S3:消费者执行register2=register2–1{register2=4}S4:生产者执行counter=register1{counter=6}S5:消费者执行counter=register2{counter=4}

多个进程并发访问和操作同一数据且执行结果与访问发生的特定顺序有关，称为竞争条件（racecondition）

代码块：进入区（entrysection）临界区（criticalsection）退出区（exitsection）剩余区（remaindersection）互斥（MutualExclusion）：如果进程Pi在其临界区执行，那么其他进程都不能在其临界区内执行。有空让进（Progress）：如果没有进程在其临界区内执行且有进程希望进入临界区，那么只有那些不在剩余区内执行的进程能参加决策，以选择谁能下一个进入临界区，且这种选择不能无限推迟。有限等待（BoundedWaiting）：在一个进程做出进入其临界区的请求到该请求被允许期间，其他进程被允许进入期临界区的次数存在一个上限。

两个进程标为P0和P1，为了方便，当使用Pi时，用Pj来表示另一个进程；即j==1–i;

进程共享一普通整数变量turn，其初值为0（或1）如果turn==i,Pi允许在其临界区内执行。确保了每个时刻只有一个进程处于临界区域。但不满足“有空让进”需要。为什么？P0能否连续两次进入临界区？do{while(turn!=i);//进入区临界区turn=j;//退出区剩余区}while(1);

1.do{2.flag[i]=true;3.while(flag[j]);//进入区4.临界区5.flag[i]=false;//退出区6.剩余区7.}while(1);增加了更多的状态信息布尔标志用来表示线程它准备进入其临界区“有空让进”的要求仍然没有得到满足为什么？将语句2与语句3的位置互换，又将如何？

结合算法1与算法2的思想是否满足临界区的要求？do{ flag[i]=true; turn=j; while(flag[j]turn==j);//进入区 临界区 flag[i]=false;//退出区 剩余区}while(1);

面包店算法的思想：在进入商店时，每个客户接收一个号码。具有最小号码的客户先得到服务。然而，面包店算法不能保证两个进程不会收到同样的号码。在出现相同号码时，具有最小名称的进程先得到服务。即如果Pi和Pj收到同样号码，且ij，那么Pi先得到服务。实现booleanchoosing[n];intnumber[n];定义：若ac，若a==c且bd，(a,b)(c,d)max(a0,…,an-1)是数k,从而k≥ai,对I=0,…,n-1成立。算法见下页

do{ choosing[i]=true