Shove aside, push : the case for pull-based graph processing