12.3.2 信号量