多线程同步——哲学家吃饭问题

最近在进行多线程编程的学习，学习过程中想起了复习操作系统的时候见过的“哲学家吃饭问题”。当时理解并不算透彻。于是就趁这个机会，利用最近所学模拟一下这个过程吧。

一、问题描述

二、问题分析

哲学家就餐问题需要协调考虑两个问题：

1、不能让哲学家饿死（避免死锁）；

2、要尽量提升吃饭的效率，也就是同一时间尽量让多一些哲学家吃饭（最多同时两个）。

我们考虑这两个问题，然后设计我们的策略。

我们可以考虑用五个互斥量来表示五把叉子，用五个整型来表示“盘子里剩下的面条还有多少”。

1、可能会导致死锁的一种最糟糕策略

某个哲学家的吃面步骤如下：

//while(true)
//{
//    思考;
//    给左边叉子上锁;//去拿左边叉子
//    给右边叉子上锁;//去拿右边叉子
//    吃面条;
//    给左边叉子解锁;//去拿左边叉子
//    给右边叉子解锁;//去拿右边叉子
//}

对于上面的代码，让我们考虑一种情况：如果某一时刻，所有哲学家都拿了自己左边的叉子，接下来他们都要去拿右边的叉子。此时，他们都会发现右边已经没有叉子了。但他们只有在吃完面条后才会放下自己左手的叉子，于是他们每个人左手拿着叉子面面相觑，都不愿意让出自己的叉子，陷入了死锁。因此，解决哲学家吃饭问题的关键点在于，如何避免死锁的发生。

如果每次只允许一个哲学家吃饭，那就可以确保不产生死锁。但理论上可以允许两个不相邻的哲学家同时吃面条，因此这种策略造成了叉子资源的浪费。

2、解决哲学家吃饭问题的一种思路

要解决哲学家就餐的问题，有一个基本的指导思想：放下叉子的时候，可以先放左边再放右边。但拿叉子的时候，要么不拿（缺了左边或右边的叉子），要么一次拿两把叉子！

问题来了，策略看起来很简单，但程序实现的关键点在于，如何模拟“同时拿起左右两把叉子，但凡少一个就不拿”？

（1）用五个互斥量模拟五把叉子

利用C++11中mutex类的try_lock成员函数。每个哲学家想要吃面条时，首先尝试拿起左手的叉子。如果能拿到，再尝试拿起右手的叉子。如果能拿到两把叉子，就吃面，吃完后释放两把叉子。如果无法拿到右边的叉子，就释放左边的叉子。假设一盘面条