Vom Prinzip her ist ein Semaphor eine Art Zähler, den die Threads inkrementieren oder dekrementieren können.
Về nguyên tắc, semaphore là một loại bộ đếm mà các luồng có thể tăng hoặc giảm.
Wenn demzufolge ein Thread versucht, einen Semaphor zu dekrementieren, der bereits Null ist, wird dieser Thread blockiert, bis ein anderer Thread den Semaphor inkrementiert.
Do đó, nếu một luồng cố giảm một semaphore vốn đã bằng không, luồng này sẽ bị chặn cho đến khi một luồng khác tăng semaphore đó.