An effective framework for asynchronous incremental graph processing