[EuroSys 15] PowerLyra基于基于混合切分策略的大图处理系统学习总结

我不是女神ヾ 2022-05-22 01:46 234阅读 0赞

今天要讲的文章是EuroSys 2015年的一篇文章，PowerLyra：Differentiated Graph Computation and Partitioning on Skewed Graphs。本文主要想解决的问题就是：现有的图数据，如社交网络、Web网页等都是一种Power-law幂律图的特征。所谓Power-law幂律图就是指在图数据中顶点的度数分配不均匀。有的图顶点的度数很高，有的顶点度数很低。并且顶点度数呈现着幂律分布的特征，对于这种Power-law的图数据，会存在很大的计算分配不均匀的特征。现有的工作PowerGraph分析了在幂律图的特征情况下，采用vertex-cut划分的策略。对于高度顶点，采用vertex-cut，切分成若干个Mirror顶点。利用Mirror顶点减少了高度顶点计算任务繁重的问题，并且采用vertex-cut划分策略产生很少一部分的Mirror。但是PowerLyra的作者发现，在幂律图的情况下，单单只采用vertex-cut的划分策略对于低度顶点来说会产生更多的Mirror。但是低度顶点的度很少，它希望顶点计算尽量在本地执行。所以PowerLyra就采用了一种Hybrid 切分策略，对于高度顶点采用vertex-cut的策略，对于低度顶点采用edge-cut的切分方式。现在我们具体来说说PowerLyra是怎么做的。

## 1.BackGround    ##

现如今我们生活在大数据这样的一个时代, 在这样数据的背后吸引着数据科学家们设计出常用的数据分析算法可以作为其中图计算。如交通生物与社交网络。如何使大数据十分有效率处理成为一个重要而及时的话题。

## 1.1 Graph-parallel Processing ##

大多数现有的图处理系统都遵循一个顶点哲学：设计一个图处理算法作为一个以顶点为中心的图处理程序去并行处理每个顶点，并且沿着这些顶点的边进行通信。列如PageRank就可以表示为迭代通信计算模型。每个顶点都会收集它邻居顶点的Rank值，并累加这些Rank值作为它自己新的Rank值，并且这个顶点也会触发激活这个顶点的邻居顶点。最终所有的顶点都达到最终收敛状态。一个进行PageRank的算法程序就像这样。

![70][]

首先Gather阶段收集邻居顶点数据信息。将收集的信息进行累加，得到一个最终的sum值。

![70 1][]

然后通过Update阶段将累加后的Sum值进行本地更新，将顶点属性值更新到一个全新的状态。

![70 2][]

最后更新Master顶点所有Mirror的属性值，并且根据邻居顶点的出边将邻居顶点执行状态更新为激活状态。

### 1.2 Natural Graphs are Skewed ###

目前研究表面，在现实世界中图计算具有真正的挑战性。网络图通常遵循幂律分布。这就意味着有大多数顶点有相对较少的邻居，而少数顶点有着相对较多的邻居。社交网络图是这样一个典型的列子。有的图顶点的度数很高，有的顶点度数很低。并且顶点度数呈现着幂律分布的特征，对于这种Power-law的图数据，会存在很大的计算分配不均匀的特征。

![70 3][]

## 2.Challenge: LOCALITY vs. PARALLELISM ##

程序是在本地去执行的。所以一个最直接的方法就是使资源在本地可以访问的到所以去降低网络延迟。然而对于高度的顶点去聚集它的followers的资源并且当接受到来自邻居节点激活顶点消息，高度的顶点会成为高度抢占的中心。这样对于那些度很高的顶点会造成严重的负载不均衡和网络通信开销。这样唯一的解决方案就是将这样一个高负载的顶点分开到多个机器中去使其负载均衡。并且他们能够被并行执行。然而这样的分开策略将会带来更多的通信和计算。

![70 4][]

对于低度顶点来说，低度顶点希望顶点计算LOCALITY更好，具体来说，就是低度顶点希望顶点计算都能够在本地执行，并且能够隐藏网络延迟。高度顶点采用edge-cut，由于高度顶点的边很多，采用edge-cut会造成更多的Mirror。但是对于高度顶点来说，会造成严重的负载不均衡以及很高的锁抢占的开销，以及会带来很高的网络传输的开销。

![70 5][]

对于高度顶点来说，高度顶点希望所有的顶点被并行的执行，高度顶点被切分成多个Mirror顶点来防止顶点执行负载不均衡。但是对于低度顶点来说，低度顶点采用vertex-cut划分的策略会造成更多的Mirror。这样会造成更多的冗余计算和通信开销。在高度顶点PARALLELISM和低度顶点LOCALITY之间，存在一个locality和Parallelism的冲突选择。它们中的任何一个特性都是不能被忽视。

## 3.Existing Efforts: One Size Fits All ##

然而现有的系统采用“一刀切”的设计忽视不同度数的顶点特性。For Example Pregel And GraphLab都注重LOCALITY。他们都采用边切分的策略：平均分配各个顶点（以及这个顶点的边）到每个机器上去，最小程度降低边跨越机器的数量。然而在LOCALITY内部采用Message-Passing 或则 replica的机制，收集邻居节点的信息在本地机器上。这种方式对于高度的顶点来说会造成imblance、High contention、Heavy network traffic。

对于PowerGraph和GrpahX都会更加注重Parallelism。他们采用点划分策略：均匀分配每个边到各个机器中去，最小程度降低顶点跨越机器的数量。它将一个顶点的通信量分解到多个机器上去。但是对于Skew-Graph。大多数顶点只含有少部分的邻居顶点。这样结构会造成次优的性能，因为对于一些低度顶点来说会造成更多的复制因子以及一些不必要的通信。

PowerLyra：我们讨论针对高度顶点和低度顶点不同的计算处理和分区策略在skewed graphs 。它提供了一种混合切分策略：对于一些低度的顶点保持他们的locality。对于一些高度的顶点保持他们的parallelism。他既提高了locality并且减少了通信带了的开销。

## 4. Graph Partitioning ##

现在我们来研究PowerLyra的Graph Partitioning .对于高度和低度的不同切分方法的改进是收到了edge-cut和vertex-cut的启发。这里有一个列子来描述low-cut和high-cut。

![70 6][]

Low-cut：平均分配低度的顶点沿着他们的边（只能是一个方向的边,比如是入边）通过hash目标顶点均匀分配到各个机器中。

High-Cut：平均分配高度的入边到每个机器中通过hash他们source顶点。

![70 7][]

从上图中我们发现，PowerLyra的hybrid-cut混合切分策略，复制因子更少。PowerLyra的混合切分策略能够减少复制因子的生成，使整个系统的复制因子更少。

## 5.Constructing Hybrid-cut ##

如何有效率的构造这样一个Hybrid-cut。我们使用一个通用的文件格式去构造图结构并且假设这样图文件以及被放入这样一个分布式文件系统中 不比如HDFS.

1. 首先第一步就是每个机器去并行加载这样一个图数据文件。

![70 8][]

2.第二步就是对所有的边使用这样一个low-cut并且每个机器要去计算每个顶点的入度多少去识别high-degreee的顶点。

![70 9][]

3. 第三步，每个机器的high-degree顶点的入边将会被重新分配。θ=3  通过hash这样入边的source-vertex来均匀分配到各个机器中。

![70 10][]

4. 第四步在每台本地机器上创建副本。

![70 11][]

## 6. Graph Computation ##

我们介绍hybrid计算模型：对于与我们的高度顶点和低度顶点都有着不同的计算模型。对于高度顶点来说：分解高度顶点的负载不均衡问题。对于低度顶点模型来说：最小化低度顶点通信开销。

![70 12][]

对于高度的顶点计算来说：作者为了降低跨机器之间的通信开销，作者通过组合 更新mirror信息（在apply阶段之后 Master讲更新后的顶点数据发送给mirror顶点进行同步）和Master发送激活消息给mirror顶点。作者通过组合这二者的消息合并一并发送来降低跨越机器的通信开销。

对于低度的顶点计算来说：作者保留了GAS接口的情况下 还提供了一种新的计算模型。对于混合切割来说，作者提出了一种单向访问局部性顶点计算方法。作者观察到对于大多数算法来说，gather和scatter阶段只有一个方向。PowerLyra利用这个特性提出了单向访问局部性算法通过沿着它的边放置顶点的时候只在一个方向。由上图可以看出，由于收集所需要的所有边缘以及放置在本地，所有gather阶段和apply阶段可以在没有mirror的帮助下，由master本地完成。PowerLyra利用这个本地gather和分布式scatter去最小化降低通信开销。

## 7. Optimization    ##

我们都知道在并行图处理系统都有着很差的locality以及很高的通信干扰。在这里我们只讨论通信中存在的问题。通常来说Messages在Master和mirror中交换消息会被批次周期打包发送。并且接收到消息来自不同的节点将会并行的更新顶点信息通过额外的RPC。这将会造成极差的locality由于不匹配的顺序在消息发送方和接受方之间。并且还会造成严重的通信干扰（抢占）。  
PowerLyra 则通过局部意识图形布局优化图处理系统中通信极差的locality和通信抢占问题。

PowerLyra 强制在通信上优化locality，但是这也造成了图数据初始化的进入时间开销。

![70 13][]

## 8. Evaluation ##

![70 14][]

![70 15][]

![70 16][]

![70 17][]

[70]: /images/20220522/9eab797fc44b4722b8676203b7a20a83.png
[70 1]: /images/20220522/8d87495a78874ffc87cc73afb8e63994.png
[70 2]: /images/20220522/62dd58f8b24d4a4a8ba968dd4890280f.png
[70 3]: /images/20220522/cd1708a35b7c4001b3904b8fc9ef2648.png
[70 4]: /images/20220522/49bcfd37136e42c0b38417cf5381d473.png
[70 5]: /images/20220522/659fcb30b7af4a4cb3dde6cf0162b7a3.png
[70 6]: /images/20220522/9497172777df4b039d1853f064e5a2b0.png
[70 7]: /images/20220522/8ae990fef96544afa6ff3e4d28e9e9ea.png
[70 8]: /images/20220522/f8653b308b1942d8b3c929d327aa60b2.png
[70 9]: /images/20220522/a174c9a790f7479e895fe570ba15db76.png
[70 10]: /images/20220522/723f420636d040da9bc1ee42cca62183.png
[70 11]: /images/20220522/f0327238c23e4fdc9759efe8a57b04f8.png
[70 12]: /images/20220522/e5d6bbf7bbe84d4185785a621993f88d.png
[70 13]: /images/20220522/285b0143c06240cb950e519538b7761a.png
[70 14]: /images/20220522/41cedf646b3b4506b66f43ff22774f27.png
[70 15]: /images/20220522/ee6eae98ac8c47e7969d21d8b8b350e1.png
[70 16]: /images/20220522/0d23d89cf81340a1bae8cf0a6e892ec9.png
[70 17]: /images/20220522/59dcd92632f244fca44e1d717acf116c.png