哲学家就餐问题

哲学家就餐问题

    哲学家就餐问题是同步领域中的一个经典的问题吧。问题描述如下：哲学家都是有点倔强的人，他们不愿意在吃完之前放下他们的筷子。因为，如果每位哲学家都抓住了左手边的筷子，他们就不可能抓到右手边的筷，因为右边的哲学家正在使用那支筷子，而且拒绝出让。 

   这个问题是在win32多线程程序设计里看到的，总的来说，可以归纳于线程同步问题。因为资源（筷子）是有限的，而每个哲学家要吃饭，就必须得到两个筷子，才能够吃饭。而且，因为，如果每位哲学家都抓住了左手边的筷子，他们就不可能抓到右手边的筷，因为右边的哲学家正在使用那支筷子，而且拒绝出让。这样的话，就会出现这样的一种情况，大家都抓住了左边的筷子，并且都等待右边的筷子，于是，非常不幸，死锁问题发生了，最后每个哲学家都被活活的饿死了(ˇˍˇ）

解决这个死锁问题的关键就是每个哲学家如果能够得到两个侉子的话，就开始吃饭。否则的话，就等待（即不出现占用一个筷子等待另一个筷子的情况）。

最后书中给出了一个实例，比较形象的演示了WaitForSingleObject和WaitForMultipleObject的区别和使用范围：WaitForSingleObject等待一个对象，直到等待成功或者超时才返回；WaitForMultipleObject等待多个对象，直到等待成功或者超时才返回。如果你完成一件事，需要用到多个共享资源的话，那么就使用WaitForMultipleObject，否则的话就使用WaitForSingleObject吧。

说明：互斥对象不仅可以用于同步机制，还可以用来保证每个程序有唯一运行的进程实例，从这点可以看出，互斥对象其实是跨进程的。