교착상태의 해결 방법 중 점유 및 대기 부정, 비선점 부정, 환형대기 부정 등은 어떤 기법에 해당하는가?