Semaphore

从队列到信号量：计数、二值与中断里的 Give