세마포어가 1이면 하나의 프로세스만 접근 가능하다. 굳이 세마포어 변수를 이용하는 이유는 P와 V연산에 1을 더하고 빼는 것이 원자적으로 연산된다고 가정하는 것이다. 실제 세마포어는 synchronization hardware를 통해 구현된다.P0가 S를 얻고 cpu를