信号量机制中的down和up函数