12.4.2 信号量