712.7 스케줄링 알고리즘의 분류