Semaphore 本质上是一种计数信号量,内部维护一个许可计数,每个线程在进入时需要申请一个许可(acquire),完成后释放该许可(release)。当许可计数为零时,其他线程会阻塞,直到有线程释放许可。