Linux进程间通信-用信号量实现进程互斥示例和解决哲学家就餐问题