여러 프로세스가 공유 자원에 접근할 때 우선순위를 정하기 위해 사용

P(S) 연산: 세마포어 값이 0 이하이면 대기, 양수면 1 감소

V(S) 연산: 세마포어 값을 1 증가