利用信号量实现进程同步