*해설

<문제 해설>
- 세마포어(Semaphore): 동기화를 구현 할 수 있는 기법 중 하나로,각 프로세스에 제어신호를 전달하여 순서대로 작업을 수행하도록 하는 기법이다. 다익스트라(E.J.Dijkstra)가 제안했으며, 사용되는 연산에는 P와 v,초기치 연산이 있고,상호 배제의 원리를 보장한다.