Optimizing Differential Computation for Large-Scale Graph Processing