19.3 二值信号量的运作机制