m0_73627481的博客

原创 哲学家就餐问题PV原语

题目分析并描述： 描述： 有五个哲学家，他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五支叉子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的叉子，只有在他拿到两支叉子时才能进餐，每个哲学家不能同时拿到两个叉子，进餐完毕，放下叉子又继续思考。 分析： 经分析可知，放在桌子上的叉子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对叉子的互斥使用，可以用一个信号量表示一只叉子，由这五个信号量组成信号量数组。当哲学家饥饿时总是先拿其左边的叉子，成功后，再去拿右边的叉子，又成功后方可就餐