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

操作系统概念 第七章：进程同步 本章主要内容 背景 临界区域问题 同步硬件 信号量 经典同步问题 管程 7.1 背景 共享数据的并发访问可能导致数据的不一致 维护数据的一致性需要能够保证协作进程顺序执行的机制 竞争条件（Race Condition） 生产者 while(1) { while (counter == BUFFER_SIZE) ; // do nothing //produce an item and put in nextProduced buffer[in] = nextProduced; in = (in + 1) % BUFFER_SIZE; counter ++; } 竞争条件 消费者 while (1) { while (counter == 0) ; // do nothing nextConsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; counter --; } 竞争条件 counter++可按如下方式以机器语言实现 register1 = counter register1 = register1 + 1 counter = register1 counter - - 可按如下方式实现 register2 = counter register2 = register2 – 1 counter = 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} 多个进程并发访问和操作同一数据且执行结果与访问发生的特定顺序有关，称为竞争条件（race condition） 7.2 临界区问题的解决 代码块： 进入区（entry section） 临界区（critical section） 退出区（exit section） 剩余区（remainder section） 互斥（Mutual Exclusion）：如果进程Pi在其临界区执行，那么其他进程都不能在其临界区内执行。 有空让进（Progress）：如果没有进程在其临界区内执行且有进程希望进入临界区，那么只有那些不在剩余区内执行的进程能参加决策，以选择谁能下一个进入临界区，且这种选择不能无限推迟。 有限等待（Bounded Waiting）：在一个进程做出进入其临界区的请求到该请求被允许期间，其他进程被允许进入期临界区的次数存在一个上限。 两进程解法 两个进程标为P0和P1，为了方便，当使用Pi时，用Pj来表示另一个进程；即j == 1 – i; 算法1 进程共享一普通整数变量turn，其初值为0（或1） 如果turn == i, Pi允许在其临界区内执行。 确保了每个时刻只有一个进程处于临界区域。 但不满足“有空让进”需要。 为什么？ P0能否连续两次进入临界区？ do { while (turn != i) ; //进入区 临界区 turn = j; //退出区 剩余区 } while (1); 算法2 1. do { 2. flag[i] = true; 3. while (flag[j]) ; //进入区 4. 临界区 5. flag[i] = false; //退出区 6. 剩余区 7. } while (1); 增加了更多的状态信息 布尔标志用来表示线程它准备进入其临界区 “有空让进”的要求仍然没有得到满足 为什么？ 将语句2与语句3的位置互换，又将如何？ 算法3 结合算法1与算法2的思想 是否满足临界区的要求？ do { flag[i] = true; turn = j; while (flag[j] turn == j) ; //进入区 临界区 flag[i] = false; //退出区 剩余区 } while (1); 多进程解法 面包店算法的思想： 在进入商店时，每个客户接收一个号码。具有最小号码的客户先得到服务。然而，面包店算法不能保证两个进程不会收到同样的号码。在出现相同号码时，具有最小名称的进程先得到服务。即如果Pi和Pj收到同样