用信号量进程同步与互斥