【USENIX ATC'22】支持异构 GPU 集群的超大规模模型的高效的分布式训练框架 Whale

近日，阿里云机器学习 PAI 关于深度学习模型高效的分布式训练框架的论文《 Whale: Efficient Giant Model Training over Heterogeneous GPUs 》被计算机系统领域国际顶级学术会议 USENIX ATC'22 接收。

Whale 是阿里云机器学习 PAI 平台自研的分布式训练框架，开源后的名称是 EPL(Easy Parallel Library)，Whale 通过对不同并行化策略进行统一抽象、封装，在一套分布式训练框架中支持多种并行策略，并进行显存、计算、通信等全方位的优化，来提供易用、高效的分布式训练框架。Whale 提供简洁易用的接口，用户只需添加几行 annotation 即可组合各种混合并行策略。同时 Whale 提供了基于硬件感知的自动化分布式并行策略，感知不同硬件的算力、存储等资源，根据这些资源来合理的切分模型，均衡不同硬件上的计算量，最大化计算效率。借助 Whale 的硬件感知负载均衡算法，Bert-Large、Resnet50 和 GNMT 模型 在异构 GPU 训练上提速 1.2 至 1.4 倍。同时，使用 Whale 框架， 万亿 M6 模型使用 480 张 V100 在 3 天内完成预训练。相比此前业界训练同等规模的模型，节省算力资源超 80%，且训练效率提升近 11 倍。进一步使用 512 GPU 在 10 天内即训练出具有可用水平的 10 万亿模型。

背景和挑战

随着近些年深度学习的火爆，模型的参数规模也增长迅速，OpenAI 数据显示：

• 2012 年以前，模型计算耗时每 2 年增长一倍，和摩尔定律保持一致；

• 2012 年后，模型计算耗时每 3.4 个月翻一倍，远超硬件发展速度；

特别最近两年模型参数规模飞速增长，谷歌、英伟达、阿里、智源研究院都发布了万亿参数模型，有大厂也发布了百亿、千亿参数模型。随着模型参数规模增大，模型效果也在逐步提高，但同时也为训练框架带来更大的挑战。当前已经有一些分布式训练框架，例如：Horovod、Tensorflow Estimator、PyTorch DDP 等支持数据并行，Gpipe、PipeDream、PipeMare 等支持流水并行，Mesh Tensorflow、FlexFlow、OneFlow、MindSpore 等支持算子拆分，但当我们要训练一个超大规模的模型时会面临一些挑战：

1. 当前的分布式训练框架只支持少量的并行策略，缺乏一个统一的抽象来支持所有的并行策略及其混合策略。

2. 实现复杂的并行策略需要大量的模型代码改造和对底层系统的理解，大大增加了用户的使用难度。

3. 由于集群中异构 GPU 计算能力和显存的差异，静态的并行化策略无法充分利用异构资源实现高效训练。

破局

为了应对当前分布式训练的挑战，我们研发了高效、通用、硬件感知的分布式训练框架 Whale。Whale 抽象并定义了两个分布式原语(replicate 和 split) 。用户可以通过在模型上添加几行原语标记，即来表达和转换各种并行化策略及其组合，极大降低了分布式框架的使用门槛。Whale runtime 将用户的标记信息融合到计算图中，自动完成模型的并行化优化。同时 Whale 提供了基于硬件感知的自动化分布式并行策略，优化在异构 GPU 集群上分布式训练性能。Whale 的设计很好地平衡了模型用户的干预和系统优化机会，让每一个算法工程师都能轻松高效训练分布式大模型任务。

技术架构

Whale 框架如下图所示，主要分为以下几个模块：

• 接口层：用户的模型编程接口基于 TensorFlow，同时 Whale 提供了易用的并行化策略表达接口，让用户可以组合使用各种混合并行策略；

• 中间表达层：将用户模型和并行策略转成化内部表达，通过 TaskGraph、VirtualDevices 和策略抽象来表达各种并行策略；

• 并行化引擎层：基于中间表达，Whale 会对计算图做策略探索，结合硬件资源进行显存/计算/通信优化，并自动生成分布式计算图。

• Runtime 执行引擎：将分布式执行图转成 TFGraph，再调用 TF 的 Runtime 来执行；

并行化策略表达

Whale 通过 strategy annotation 的方式来划分模型为多个 TaskGraph，并在此基础上进行并行化。 Whale 有两类 strategy：replicate 和 split。通过这两种并行化接口，可以表达出各种不同的并行化策略，例如：

• 数据并行: 下面这个例子是一个数据并行的例子，每个模型副本用一张卡来计算。如果用户申请了 8 张卡，就是一个并行度为 8 的数据并行任务。

• 流水并行：在下面的例子里，模型被切分成 2 个 TaskGraph, "stage0"和"stage1"，用户可以通过配置 pipeline.num_micro_batch 参数来设定 pipeline 的 micro batch 数量。 在这个例子里，"stage_0"和"stage_1"组成一个模型副本，共需要 2 张 GPU 卡。如果用户申请了 8 张卡，Whale 会自动在 pipeline 外嵌套一层并行度为 4 的数据并行（4 个 pipeline 副本并行执行）。

• 算子拆分并行：在以下例子中，Whale 会对 split scope 下的模型定义做拆分，并放置在不同的 GPU 卡上做并行计算。

• 同时 Whale 支持对上述并行策略进行组合和嵌套，来组成各种混合并行策略，更多示例可以参考开源代码的文档和示例。

Parallel Planner

Paraller Planner 是 Whale runtime 的重要一环，它的职责是生成一个高效的分布式执行 plan。Parallel Planner 的流程包含 (a) Paraller Planner 的输入包含用户模型、用户标记(可选)、硬件计算资源和其他用户配置配置。 (b) 将物理计算资源映射成 VirtualDevice, 用户无需担心如何将算子放置在分布式物理设备上。(c) 模型被分割成 TaskGraph 子图。因为 Whale 允许对不同的 TaskGraph 应用不同的分布式策略，所以在 TaskGraph 之间可能存在输入/输出 shape 不匹配。在这种情况下，Paraller Planner 将自动在两个 TaskGraphs 之间插入相应的桥接层。

硬件感知的负载均衡算法

当模型训练资源包含异构硬件（比如混合了 V100 和 T4），硬件感知的负载均衡算法可以提高在异构资源下的训练效率。Whale 设计了两种平衡策略：Intra-TaskGraph 和 Inter-TaskGraph 的平衡。

（1）对于 Intra-TaskGraph 的计算平衡，Whale 会 profile 出模型的算力 FLOP，并按照机器的计算能力按比例分配对应的计算负载，以此均衡每个 step 不同卡型上的模型计算时间。对于数据并行，我们可以通过调整不同副本上的 batch 大小来实现计算负载的均衡（保持全局 batch 不变）。对于算子拆分，我们可以通过不均匀的维度拆分来实现不同卡上子模块的计算负载均衡。

（2）当多个 TaskGraph 在多个异构 GPU 上执行流水并行，我们需要 Inter-TaskGraph 的计算平衡来提升整体的计算效率。由于流水并行的计算特点，前面的 TaskGraph 会比后面的 TaskGraph 多缓存一些前向计算的结果，因此对于 Transformer 类模型均衡 layer 切分的情况下，前面的 TaskGraph 会有更大的显存压力。因此在 TaskGraph 放置的时候，Whale 会优先将前面的 TaskGraph 放置在显存容量更大的 GPU 卡上。与此同时，Whale 会按照 GPU 卡的算力去切分模型，使得切分后的 TaskGraph 计算 load 和 GPU 算力成正比。

应用示例

借助 Whale 框架，我们 4 行代码实现 M6 模型数据并行+专家并行的混合并行训练。

如下图所示，MoElayer 采用专家并行，其他 layer 采用数据并行：

并首次在 480 V100 上，3 天内完成万亿 M6 模型的预训练。相比此前业界训练同等规模的模型，此次仅使用 480 张 V100 32G GPU 就成功训练出万亿模型 M6，节省算力资源超 80%，且训练效率提升近 11 倍。进一步使用 512 GPU 在 10 天内即训练出具有可用水平的 10 万亿模型。

结语

Whale 通过统一的抽象支持各种并行化策略，并提出简洁的并行化原语来提高框架的易用性。同时，Whale 提供了异构硬件感知的自动分布式计算图优化，实现高效的分布式模型训练。我们希望 Whale 能够成为一个大规模深度学习训练的基石，进一步推进模型算法创新和系统优化，使大模型训练技术能够广泛应用在实际生产环境中。Whale 已经开源(https://github.com/alibaba/EasyParallelLibrary)，欢迎大家来试用和共建。

• 论文名称：Whale: Efficient Giant Model Training over Heterogeneous GPUs

• 论文作者：贾贤艳，江乐，王昂，肖文聪，石子骥，张杰，李昕元，陈浪石，李永，郑祯，刘小勇，林伟

• 论文链接：https://arxiv.org/pdf/2011.09208.pdf
  

• Whale（EPL）开源链接：https://github.com/alibaba/easyparallellibrary
  

参考文献：

[1] Junyang Lin, An Yang, Jinze Bai, Chang Zhou, Le Jiang, Xianyan Jia, Ang Wang, Jie Zhang, Yong Li, Wei Lin, et al. M6-10t: A sharing-delinking paradigm for effi- cient multi-trillion parameter pretraining. arXiv preprint arXiv:2110.03888, 2021.

[2] Junyang Lin, Rui Men, An Yang, Chang Zhou, Ming Ding, Yichang Zhang, Peng Wang, Ang Wang, Le Jiang, Xianyan Jia, Jie Zhang, Jianwei Zhang, Xu Zou, Zhikang Li, Xiaodong Deng, Jie Liu, Jinbao Xue, Huiling Zhou, Jianxin Ma, Jin Yu, Yong Li, Wei Lin, Jingren Zhou, Jie Tang, and Hongxia Yang. M6: A chinese multimodal pretrainer, 2021.

[3] William Fedus, Barret Zoph, and Noam Shazeer. Switch transformers: Scaling to trillion parameter models with simple and efficient sparsity, 2021.

[4] Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R Devanur, Gregory R Ganger, Phillip B Gibbons, and Matei Zaharia. Pipedream: gen- eralized pipeline parallelism for dnn training. In Pro- ceedings of the 27th ACM Symposium on Operating Systems Principles, pages 1–15, 2019.