用unix编程中的信号量函数实现的经典ipc问题—哲学家吃饭