Vom Prinzip her ist ein Semaphor eine Art Zähler, den die Threads inkrementieren oder dekrementieren können.
In principle, a semaphore is a kind of counter that the threads can increment or decrement.
Wenn demzufolge ein Thread versucht, einen Semaphor zu dekrementieren, der bereits Null ist, wird dieser Thread blockiert, bis ein anderer Thread den Semaphor inkrementiert.
Accordingly, if a thread tries to decrement a semaphore that is already zero, that thread is blocked until another thread increments the semaphore.