信号量与管程以及原子性