*해설

<문제 해설>
세마포어 : 공유 자원에 동시 억세스 가능한 프로그램 수를 나타내는 값입니다. 이 값을 증감시킴으로서 배타적 제어가 가능해집니다.

카운팅 세마포어 : 0 이상의 모든 정수값을 가질 수 있는 경우
바이너리 세마포어 : 0나 1의 두 종류의 값만 가질 수 있는 경우