用C#代码实现操作系统中的哲学家就餐问题。程序所涉及包括面向对象程序编程，多线程，metux等。