在linux下实现的,用信号量解决哲学家进餐问题,代码在文档的最后