P(op_mutex); Sleep(100); printf("Consumer_%d consumed ",id); buffer.removeHead(); V(op_mutex); V(empty);