CtrLog: What Constitutes Progress in MapReduce?