经典的哲学家就餐问题,这里是6个哲学家就餐,用p,v原语实现避免死锁,linux下运行