12.4.3 信号量实例