哲学家吃饭问题c++编程操作系统实例