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

操作系统概念 第七章：进程同步 本章主要内容 背景 临界区域问题 同步硬件 信号量 经典同步问题 管程 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 = r