图计算系统发展简史（三）

本文是一系列文章的第三篇，将介绍图计算系统领域在Pregel/GraphLab/PowerGraph/GraphChi这些奠基性工作出现后的进展。我们将按照两个维度：使用的机器数量、是否使用外存作为内存的扩展，将图计算系统分为四个象限——单机内存、单机外存、多机内存、以及多机外存，分别介绍每个象限中的代表性系统。

单机内存

现代的多路服务器已经可以⽀持TB级别的内存容量，⾜够容纳边数在百亿规模以下的⼤部分现实世界的图数据。此时，使⽤单台服务器完成图数据处理便成为了最直接的选择。

Ligra

Ligra提供了⼀套基于顶点集合和边集合的编程接口，⽤户可以调⽤两个原语分别对所有活跃的顶点和所有活跃的边（即所有活跃顶点的出边）进⾏处理，处理的具体内容取决于⽤户⾃定义的函数。对于活跃边集的处理，Ligra巧妙地利⽤了**推送（push）和拉取（pull）**两种处理模式在并⾏图计算环境下所具有的不同优劣，在运⾏时会⾃适应地在两种模式之间动态切换。

Galois

Galois是另⼀个⾯向单机内存的图数据处理系统。相⽐之前的系统，Galois让⽤户可以使⽤更底层的接口表达原先被编程或处理模型所限制的算法；另⼀⽅⾯，Galois 允许⽤户针对特定应⽤，实现⾃定义的优先调度策略来提⾼部分算法的收敛速度（类似GraphLab的异步模式）。

Polymer