条件变量并不是一个变量,它应该是一个等待队列。正因为它不是一个共享的变量,所以它的功能弱于 Semaphore