操作系统概念ch6-进程同步.pdf

操作系统概念 第六章：进程同步 本章主要内容 背景  临界区域问题  同步硬件 信号量 经典同步问题 管程 2 6.1 背景 共享数据的并发 可能导致数据的不一致 维护数据的一致性需要能够保证协作进程顺序 执行的机制 3 竞争条件（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 ++; } 4 竞争条件 消费者 while (1) { while (counter 0) ; // do nothing nextConsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; counter --; } 5 竞争条件  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} 6  多个进程并发 和操作同一数据且执行结果 与 发生的特定顺序有关，称为竞争条件 （race condition） 7 6.2 临界区问题的解决  代码块：  进入区（entry section ）  临界区（critical section）  区（exit section ）  剩余区（remainder section）  互斥