《操作系统原理》课件第3章 进程同步.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 第一类读者-写者问题的一个解决方案 写者进程 while (true) { wait (wrt) ; // writing is performed signal (wrt) ; } 第一类读者-写者问题的一个解决方案 读者进程 while (true) { wait (mutex) ; readcount ++ ; if (readercount == 1) wait (wrt) ; signal (mutex) // reading is performed wait (mutex) ; readcount - - ; if (redacount == 0) signal (wrt) ; signal (mutex) ; } 哲学家就餐(Dining-Philosophers)问题 共享数据集：碗里的食物 定义信号量数组 chopstick [5] ，初始值为 1 哲学家就餐(Dining-Philosophers)问题 哲学家进程 i While (true) { wait ( chopstick[i] ); wait ( chopStick[ (i + 1) % 5] ); // eat signal ( chopstick[i] ); signal (chopstick[ (i + 1) % 5] ); // think } 此方案有缺陷：死锁 ！ * * * * * * * * * * * * * * * * * * * * * * * * Lamport面包房算法 每当进程申请进入临界区，它被分配一个数 拥有最小数的进程，被选中进入其临界区 如果进程Pi和进程Pj分配了相同的数，并且 i j ，那么，进程Pi 首先进入临界区。进程编号i 、j 不会重复。 数的分配器以递增的顺序产生1,2,3,3,3,3,4,5... n 个进程的临界区问题 面包房算法（续） 定义操作符号 ‘’ (a,b) (c,d)，if a c，or if a = c and b d 定义操作函数max() max(a0,…, an-1) 是a0,…, an-1中的一个数k，使得 k ? ai ，for i = 0, …, n – 1 定义共享数据 boolean choosing[n]; int number[n]; 初始值分别是false 和 0 面包房算法（续） do { choosing[i] = true; number[i] = max(number[0], number[1], …, number [n – 1])+1; choosing[i] = false; for (j = 0; j n; j++) { while (choosing[j]) ; while ((number[j] != 0)((number[j], j) (number[i], i))) ; } critical section number[i] = 0; remainder section } while (1); 讨论 产生的数，为什么会重复 number[i] = max()+1 1,2,3,3,3,3,4,5... choosing数组的必要性 假设没有它，会怎么样？ 看一个Special Case“面包房算法choosing的必要性.doc” 临界区问题的硬件指令解决方案（Synchronization Hardware） 硬件同步机制 CPU制造者为