利用线程机制实现“哲学家进餐”问题