模拟哲学家吃空心粉的游戏,使用linux多线程以及互斥锁实现