用信号量解决进程的同步与互斥