E. J. Dijkstra가 제안한 방법으로 반드시 상호 배제의 원리가 지켜져야 하는 공유 영역에 대하여 각각의 프로세스들이 접근하기 위하여 사용되는 두 개의 연산 P와 V라는 연산을 통해서 프로세스 사이의 동기를 유지하고 상호배제의 원리를 보장하는 것은?