9.3.2 算法：基于全序广播的信号量