13.3.1 静态信号量与动态信号量