这是一个哲学家就餐问题的程序,运用到多核多线程技术,可能有问题,希望大家指点