操作系统概念：第七章 进程同步.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 = 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允许在其临界区内执行。 确保了每个时刻只有一个进程处于