Dijkstra가 제시한 상호 배제 알고리즘이다.

세마포어 변수는 양의 정수값만을 가질 수 있다.

V 조작은 블록 큐에 대기 중인 프로세스를 깨우는 신호(wake-up)로서, 흔히 signal 동작이라 한다.

P 조작은 영계 영역을 사용하려는 프로세서들의 진입여부를 결정하는 조작으로, 흔히 wait 동작이라 한다.