优·操作系统概念ch6final.ppt

证明算法3满足临界区的要求 1.互斥 只有当flag[j]=false，或turn==i时，Pi才能进入临界区 当flag[0]==flag[1]==true时，P0,P1的循环条件肯定只能有一个被满足 2.前进条件满足（空闲让进） 可以证明，只要P0不被允许进入，那么P1必定可以进入；反之依然 3.有限等待条件满足 Pi最多等待Pj一次之后即可进入临界区 实现临界区的方法 1. 两进程解法(P0,P1) （1）让两个进程共享一个普通整数变量turn，其初值为0(或1) If turn==i , then Pi允许在Critical Section内执行 （2）算法2：用数组boolean flag[2]来替代共享变量turn 算法1的问题在于它没有记住每个进程状态的足够信息 在P0实际不处于临界区执行时，也有可能阻碍P1进入临界区 算法（2）中存在问题 要始终记得，P0、P1是并发执行的两个进程 我们来看一下下面这个执行顺序 T0: P0置flag[0]=true T1:P1置flag[1]=true 结果会怎样？ 即使互换设置flag[i]与检查flag[ j]的语句，问题也得不到解决 解决多线程同步的面包店算法 该算法的基本思想源于顾客在面包店中购买面包时的排队原理。 顾客在进入面包店前, 首先抓一个号, 然后按照号码由小到大的次序依次进入面包店购买面包. 这里, 面包店发放的号码是由小到大的, 但是两个或两个以上的顾客却有可能得到相同的号码(使所抓号码不同需要互斥), 如果多个顾客抓到相同的号码, 则规定按照顾客名字的字典次序进行排序, 这里假定顾客是没有重名的. 在计算机系统中, 顾客就相当于进程, 每个进程有一个唯一的标识, 我们用P的下面加一个下标来表示. 例如: 对于 Pi和Pj, 如果有ij, 则先为Pi服务, 即Pi先进入临界区. 解决多线程同步的面包店算法 该算法的实现需要如下两个数据结构: 　　int choosing[n]； 　　int number[n]； 前者表示进程是否正在抓号，正在抓号的进程choosing[i]为1，否则为0, 其初值均为0. 后者用来记录各个进程所抓到的号码, 如number[i]为0, 则进程Pi没有抓号, 如number[i]不为0, 则其正整数值为进程Pi所抓到的号码, 其初值均为0. 为了方便起见, 我们定义下述表记法: 　　● (a,b)(c,d) 如果 ac or (a=c and bd). 　　● max(a0,…,an-1) 其值为一正整数k, 对于所有i, 0≤i≤n-1, k≥ai. 2.多进程算法（面包店算法）取号-等待叫号 示例1：读者/写者问题 问题陈述：有多个读进程和多个写进程对一共享的数据库进行读写 示例1：读者/写者问题 进程关系分析 读操作可以同时进行（R-R） 读操作和写操作不可以同时进行（R-W，互斥） 写操作和写操作不可以同时进行（W-W，互斥） 示例1：读者/写者问题 Reader：while (true) { read(); }; Writer： while (true) { write(); }; 示例1：读者/写者问题 Reader：while (true) { P(mutex); read(); V(mutex); }; Writer： while (true) { P(mutex); write(); V(mutex); }; 示例1：读者/写者问题 Reader： while (true) { P(r_mutex); r_cnt++; if(r_cnt==1) P(mutex); V(r_mutex); read(); P(r_mutex); r_cnt- -; if(r_cnt==0) V(mutex); V(r_mutex); }; Writer： while (true) { P(mutex); write(); V(mutex); }; 示例1：读者/写者问题 方案2中存在的问题： 多个写者紧接着过来！ 那么读者饿死 多个读者过来，写者会饿死 通常有另一种称为读者写者公平的实现方法 示例1：读者/写者问题 Reader： while (true) { P(rw_mutex); P(r_mutex); r_cnt++; if(r_cnt==1) P(mutex); V(r_m