정답은 2번입니다. 데커 알고리즘은 임계 구역의 중복 접근을 방지하여 상호 배제를 보장합니다. 따라서 프로세스가 임계 영역에 들어가는 것에 대한 엄격한 조건을 설정합니다.