[common c/c++] 为什么使用 semaphore 的生产者消费者模型需要两个信号量