Vom Prinzip her ist ein Semaphor eine Art Zähler, den die Threads inkrementieren oder dekrementieren können.
原理的にはセマフォは一種の計数器であり、スレッドがインクリメントまたはデクリメントできる。
Wenn demzufolge ein Thread versucht, einen Semaphor zu dekrementieren, der bereits Null ist, wird dieser Thread blockiert, bis ein anderer Thread den Semaphor inkrementiert.
したがってスレッドが既にゼロであるセマフォをデクリメントしようとすると、別のスレッドがそのセマフォをインクリメントするまでそのスレッドはブロックされる。