증명할 수 있는 효율적인 MapReduce 스케줄러 설계를 위한 새로운 분석 기법 | Synapse