哲学家就餐问题

题目 前提：哲学家吃意面必须要两支叉子 可以看到，如果每一个进程（哲学家）都请求左边的一支叉子，将会出现死锁（谁也吃不到意面的情况），这不满足有限等待的原则。所以当每一位哲学家申请第一支叉子前先封锁桌面，这样谁也不能再动叉子，两支叉子拿好后再解锁。 一个哲学家吃饭的过程：“都不准pick叉子！”——>拿起左边叉子——>拿起右边叉子——>"好了现在你们可以pick了" 改进算法 证明    显然可以

>>阅读原文<<