상호배제 문제를 해결하기 위하여 사용된다.

정수의 변수로서 양의 값만을 가진다.

여러 개의 프로세스가 동시에 그 값을 수정하지 못한다.

세마포어에 대한 연산은 처리 도중에 인터럽트 되어서는 안 된다.