操作系统？互斥变量、条件变量、信号量+pv操作