之前一直以为pv操作的信号量是可以小于0的，教材也确实是这么讲的。最近发现实际中为了降低复杂度，实际实现情况并不是这样

顺便：看了篇好玩的文章

讲作者团队用semaphore实现condition variable的过程中出现的种种错误遇到的种种困难