Pregel

顶点标示符

对应的用户自定义的值

边和源定点关联 对应用户自定义的值，记录了其目标定点的标示符。

这些超级步之间通过一些全局的同步点分隔，

在每个超级步中，顶点的计算都是并行的

并发送消息给其他顶点(这些消息将会在下一个超级步中被接收

边，在这种计算模式中并不是核心对象，没有相应的计算运行在其上。

顶点通过将其自身的status设置成“halt”来表示它已经不再active。

，除非被再次被外部触

整个计算在所有顶点都达到“inactive”状态，并且没有message在传送的时候宣告结束。

比如一个聚类算法，就有可能是从一个大图中生成的非连通顶点组成的小集合；

顶点会从接收到的消息中选出一个最大值，并将这个值传送给其所有的相邻顶点

而我们的消息传递模式通过异步和批量的方式传递消息，可以缓解这种远程读取的延迟。

链式MapReduce

MapReduce作业各执行阶段需要的协同工作

超级步

出边的迭代器提供的方法来查看修改出边对应的值

消息值的数据类型是由用户通过Vertex类的模版参数来指定。

3.1 消息传递机制

系统可以将发往同一个顶点的多个消息合并成一个消息

△-stepping

本地增减能够立即生效