7.4.2 有名信号量实例