一个有界面的哲学家吃面问题，内含源代码。