Vom Prinzip her ist ein Semaphor eine Art Zähler, den die Threads inkrementieren oder dekrementieren können.
En principe, un sémaphore est une sorte de compteur que les threads peuvent incrémenter ou décrémenter.
Wenn demzufolge ein Thread versucht, einen Semaphor zu dekrementieren, der bereits Null ist, wird dieser Thread blockiert, bis ein anderer Thread den Semaphor inkrementiert.
Si par conséquent un thread tente de décrémenter un sémaphore déjà à zéro, ce thread est bloqué jusqu'à ce qu'un autre thread incrémente le sémaphore.