다중 프로그래밍 환경에서 Deadlock(교착), Starvation(기아) 상태 방지를 위해 한 순간에 하나의 작업만이 접근되어야 하는 임계구역 및 상호배제 원리를 지키는기술