P조작은 프로세스를 대기시키는 wait 동작이다.

V조작은 대기 중인 프로세스를 깨우는 신호를 보내는 signal 동작이다.

세마포어는 항상 양수 값을 가진다.

프로세스 블록 큐는 임계영역에 진입할 수 없는 프로세스를 블록화하여 대기시키는 순서를 유지하는 데 사용하는 큐이다.