使用Linux线程信号量实现哲学家问题,只用信号量和互斥量。