在生产者消费者算法中,某部分的算法代码如下: item buffer[n]; semaphore full=0; semaphore empty=n; semaphore mutex=1; void proceducer(){ do { producer an item nextp; ... wait(empty); wait(mutex); buffer[in] := nextp; in:=(in+1) mod n; signal(mutex); signal(full); } } 其中,用于唤醒消费进程的是: