교착 상태 해결 중, 사전에 시스템을 제어하는 방법으로 은행원 알고리즘이 사용되는 기법은?