Vom Prinzip her ist ein Semaphor eine Art Zähler, den die Threads inkrementieren oder dekrementieren können.
Về nguyên tắc, một 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ố gắng giảm một semaphore đã bằng 0, luồng đó sẽ bị chặn cho đến khi một luồng khác tăng semaphore lên.