如果信号量被初始化为0,则它可以用于同步,同步意味着一个执行单元的继续执行需等待另一执行单元完成某事,保证执行的先后顺序。如图7.4所示,执行单元A执行代码区域b之前,必须等待执行单元B执行完代码单元c,信号量可辅助这一同步过程。