(2)--6.6操作系统原理课件.pptVIP

6.6哲学家进餐问题 哲学家就餐问题思考和吃饭思考是独立进行的 经典的进程同步问题 叉子—互斥使用的资源 为什么要将进程同步问题放在死锁部分中讲解？在解决互斥的同时，还要避免死锁的出现，如果不注意，很容易进入死锁状态 基于信号量的解决方案-1 什么情况下会出现死锁呢？如果所有哲学家在同一时刻就餐同时先伸手拿左边的叉子，再伸手拿右边的叉子进入死锁状态所有哲学家都没有办法进餐 如何解决死锁问题呢？ 方案1仅当哲学家的左右两支叉子都可用时,才允许他拿起叉子进餐。 方案2给哲学家以及叉子都编上号；规定奇数号的哲学家拿叉子的时候，必须先拿起他左边的叉子，然后再去拿他右边的叉子；而偶数号的哲学家则相反；最后有一个哲学家能获得两支叉子而可以顺利进餐。 方案3每次只允许最多四位哲学家同时进入餐厅 基于信号量的解决方案-2 基于信号量的解决方案-2最多只允许四位哲学家同时进入餐厅这一条件某位哲学家就餐完毕，会释放fork和room信号量外面等待的哲学家可以进来就餐 基于管程的解决方案true表示叉子可用 get_forks函数表示哲学家取他左边和右边的叉子 release_forks函数表示两把叉子可用 两种方案 哲学家都是先拿左边的叉子，再拿右边的叉子；与信号量不同，管程不会发生死锁。 总结哲学家进餐问题—进程同步问题；基于信号量的解决方案：保证互斥性，很容易出现死锁； 基于管程的解决方案：跟传统的信号量解决方案完全一致，但由于管程本身互斥访问的特点，使得并不会导致死锁出现。