当前位置：首页 > news >正文

大模型系统和应用——高效训练模型压缩

news 来源：原创 2024/5/10 23:05:15

引言

最近在公众号中了解到了刘知远团队退出的视频课程《大模型交叉研讨课》，看了目录觉得不错，因此拜读一下。
观看地址： https://www.bilibili.com/video/BV1UG411p7zv

自然语言处理&大模型基础
神经网络基础
Transformer&PLM
Prompt Tuning & Delta Tuning
高效训练&模型压缩
基于大模型的文本理解与生成
大模型与生物医学
大模型与法律智能
大模型与脑科学

背景介绍

预训练语言模型以每年十倍的速度增大，越大的模型往往表现出更好的性能；
但为了训练这些模型耗费也越来越昂贵，训练代码变得更复杂。

我们希望让训练过程变得更加简单，训练变得更高效，并且训练更加廉价。

首先我们要分析GPU内存；其次理解在多张显卡之间的合作模式是怎样的。

在这里插入图片描述
我们深度学习中最常见的矩阵乘法和向量加法适合于用GPU来计算。
CPU和GPU的合作方法通过CPU发送一些控制信号去控制GPU进行计算。

如果我们想把模型的向量加法或矩阵乘法放到GPU中计算的话，我们需要把这些数据从我们的CPU上拷贝到GPU上(.cuda)。

我们来看下显卡中有哪些显存的组成。

在这里插入图片描述

为了加速模型的前向传播，我们需要把模型所有的参数都放到显卡中。

在这里插入图片描述
在反向传播过程中，我们计算得到的梯度也保存到显卡中。

在这里插入图片描述
模型的中间计算结果，比如线性层 $y = W x$ ，为了计算反向传播，我们需要在前向传播时在显卡中保存模型的输入(中间结果)。

在这里插入图片描述

第四部分，在显存中占大头的一部分，就是我们的优化器，比如Adam，我们需要保存模型的梯度，和相关的历史信息( $m_t,v_t$ )。它们的参数量是和梯度等数量级的。

这四部分是我们预训练模型在显卡中主要的四个组成部分。
一个11B参数的预训练语言模型，每个需要用float类型(FP32)来存储
在这里插入图片描述
光模型参数就占用了40GB的显存。

我们现在知道显存都去了哪里，下面来看一下多GPU之间的合作模式是怎样的。

我们下面看几种模型训练的优化方式。

数据并行

在这里插入图片描述
数据并行的核心思路是：
在数据并行过程中，我们有一个参数服务器，它保持了模型的参数，以及完整的数据。前向传播过程中，参数服务器上的参数会被复制到所有的显卡上，这样每张显卡上都得到了和参数服务器一样的参数。然后把数据分成三份，每张显卡用这部分数据进行前向传播&反向传播，得到各自的梯度，为了让模型学到这份数据的所有知识，我们需要把这些梯度信息进行聚合。这里用了一个取平均操作，然后让聚合好的参数去更新模型。就能学到这三部分数据合起来完整的知识。

我们的参数服务器可以在0号显卡上，我们从0号显卡把模型的参数复制到1,2,3号显卡。这就像一个广播过程；而从1,2,3号显卡上对模型的梯度进行聚合(或规约)，我们把规约的结果放到服务器0号显卡上。

在这里插入图片描述
我们先来看第一个多张显卡的合作模式，广播算子。
广播算子做的事情就是把数据从其中的一张显卡上传到其他所有的显卡上。可以看到通过广播之后，在原本第二张显卡上的in这个向量广播到所有显卡上变成了out向量。

在这里插入图片描述

第二个多张显卡的通信算子，规约(Reduce)。
规约有很多种种类，可以是求和、平均、最值等。我们会把各张显卡上的数据进行一个规约，然后把规约得到的结果放到一张指定的显卡里面。比如这里把规约的结果放到2号显卡里面。假设规约操作是求和，那么2号显卡最终得到的out=int0+in1+in2+in3。

在这里插入图片描述

第三个操作算法是All Reduce。比规约多了一个All。什么意思，就是在规约的基础上，把规约得到的结果告诉所有的显卡(All)。
也就是说，最后得到的结果里面，每张显卡上都会得到完全一样的out=in0+in1+in2+in3。

在这里插入图片描述

第四个合作方式是Reduce Scatter。它和All Reduce的相同之处在于，都会把规约得到的结果发送给所有的显卡。不同之处在于，Reduce Scatter最后每张显卡上只得到了一部分的规约结果。比如0号显卡就会得到我们in0的前1/4的参数＋in1的前1/4参数＋in2的前1/4参数＋in3的前1/4参数。而3号显卡会得到我们in0的最后1/4的参数＋in1的最后1/4参数＋in2的最后1/4参数＋in3的最后1/4参数。

在这里插入图片描述
最后一个合作方式是收集(All Gather)，收集的意思是拼接每张显卡上的结果。比如in0拼接in1拼接in2拼接in3得到0号显卡的out，然后广播到所有显卡上。

可以看到数据并行有两个核心点。一，我们通过把数据分成很多份，让每张显卡计算得到各自梯度之后，为了得到所有数据的知识，我们需要把这些梯度进行一个规约操作。二，通过使用参数服务器,让规约后的梯度去更新参数服务器上的参数。然后通过广播的操作，让每张显卡上同步得到更新之后的参数。

在这里插入图片描述

而分布式参数并行对此进行了优化，舍弃了专门的参数服务器，让每张显卡各自去完成参数的更新，保证它们参数更新之后的结果一致。

具体来说，初始时，每张显卡上都有一个相同的模型参数，得到了一部分数据。通过前向传播&反向传播得到各自的梯度信息，然后对梯度信息进行一个规约。为了让每张显卡都得到相同的梯度信息，使用All Reduce，它会把规约结果告诉所有的显卡。这样，我们每一张显卡上都能得到完整的规约之后的梯度，每张显卡都有一样的参数，就可以分别通过模型的优化器进行更新。每轮更新之后，既然参数一样，梯度一样，优化器之前的历史信息一样，那么更新之后，各张显卡上的参数也会保持一致。

在这里插入图片描述
我们来分析一样数据并存的方法所带来的显存上的优化，我们前面知道中间结果是一个和batch乘以句子长度和模型维度相关的显存占用。我们在使用数据并存的时候，我们把一批数据分成了很多份，让每张显卡只处理其中的一部分数据。等效的来看，我们每张显卡上所处理的batch大小就降低到了原来的显卡数量(n)分之一。通过把输入的维度进行了降低，那么模型整体的中间结果量也会进行降低。

模型并行

既然一张显卡上无法存放模型的所有参数，那么我们就想办法把一个模型分成很多个小的部分。
在这里插入图片描述
模型并行的思路是，比如针对线性层矩阵乘法的例子，假设我们有一个 $\times 2$ 的矩阵。它乘上一个 $\times 1$ 的向量，那么本质上我们可以把它的结果分成三部分。如上图所示。

这里的 $\times 2$ 的矩阵就是线性层中的参数 $W$ ，向量就是线性层的输入。我们可以通过矩阵乘法的性质，把模型的参数横向切成很多份(n)，最后得到线性层的结果就是很多个这样小的矩阵乘上线性层的输入，最后把结果进行拼接。

通过这样的方式，我们线性层的参数就可以划分到多张显卡上。同时我们需要保证多张显卡上模型的输入是一样的。那么我们就不能使用数据并行的方式对数据进行划分。

在这里插入图片描述
我们需要保证每张显卡上的输入是一样的，所以它们是同样一批数据，我们这里对线性层参数进行划分。每张显卡上得到线性层参数矩阵的一小部分，通过这一小部分参数和数据进行矩阵乘法，就得到了很多个子结果。这里我们通过All Gather收集算子进行拼接，然后广播给所有的显卡。

这样，每张显卡上只需要保存原来的N分之一的模型参数，N是显卡数量。由于只保留了这么一小部分参数，梯度也只需要保留这么多，同时优化器也只需要保持同样级别的参数量。但模型计算的中间结果没有减少，这也是该方法的一个弊端。当batch size很大的时候，仍然会出现显存溢出的问题。

下面我们来介绍另一种方法。

ZERO

在这里插入图片描述
Zero Redundancy优化器是基于数据并行建立的一套框架，在数据并行中我们需要对模型的梯度进行规约。为了保证每轮迭代之后每张显卡上的参数仍然是一致的。我们就让每张显卡都得到了规约后的参数。然后每张显卡各自进行更新。

我们可以发现每张显卡用的是同样的一批数据，和同样的一批梯度去进行参数更新。那么它们各自去进行参数优化，是不是就带来了计算上的重复和冗余。

为了消除这样的冗余，那么本小节介绍的方法是每张显卡只获得一部分的梯度，然后只更新一部分参数。这样多张显卡通过合作的方式来更新模型的完整参数。

ZeRO-Stage 1
在这里插入图片描述

具体来说，由于它也是基于数据并行的架构，因此它每张显卡上保存了完整的模型参数。有一部分数据，通过前向传播&反向传播得到各自的梯度。之后在规约的时候，不是使用All Reduce的方式，而是使用Reduce Scatter让每张显卡得到一部分reduce的结果。这样让每张显卡上得到的部分梯度去更新对应的部分模型参数，最后通过收集的操作All Gather将每张显卡分工合作之后的结果告诉所有的显卡。这样，每张显卡上得到了完全一样的参数和一致的结果。

ZeRO-Stage 2
在这里插入图片描述

在第二个阶段中，进行了一个优化。在第一阶段中，需要在反向传播得到所有梯度之后，对梯度进行Reduce Scatter，然后让每张显卡上各得到一部分规约后的梯度Gradient*。原来的梯度就不需要保存在显卡上了。
在第一阶段，在反向传播结束之后，才把这个梯度移除。那可以在反向传播的过程中先把Gradient*算出来，然后把之前一步的Gradient删掉。

ZeRO-Stage 3

在这里插入图片描述
在第3个阶段，对模型的参数进一步划分。因为每张显卡上只保留了一部分梯度去进行参数更新，参数更新也只更新一部分的模型参数。这样，实际上每张显卡可以只保存它自己参数更新所负责的那一部分参数。在FP&BP的过程中，需要的时候，我们把模型的参数进行一个All Gather的操作，用完之后，就可以将参数从显卡中释放。

然后我们比较一下这三个阶段的显存占比：

在这里插入图片描述
在第1个阶段中，每张显卡只需要处理一部分的模型梯度，优化器降低到了原来的显卡数分之一，同时把中间结果的量也降低到原来的卡数分之一；
第2个阶段中，进一步地把模型的梯度划分提前，把Reduce Scatter提前到了反向传播的过程中，实际上不需要保留完整的梯度。
第3个阶段中，进一步地划分参数。

通过这三部分的优化，显卡上的四大组成部分：参数、梯度、优化器和中间结果都得到了划分，每张显卡只需要保持自己的那部分参数。

Pipeline并行

最后我们来介绍流水线的并行方法。
在这里插入图片描述它与模型的并行方法有类似之处，模型并行的方法通过把线性层分成很多个小的矩阵，然后把这些小的矩阵分到各张显卡上。
而对流水线的并行方法，把模型的不同层分给不同的显卡。比如我们有一个三层的Transformer，我们可以把Transformer的第一层分到第一张显卡上；第二层分到第二张显卡上，等等。
进行前向传播的过程中，我们需要在第一张显卡上完成第一层的模型计算，然后把计算结果告诉第二张显卡，第二章显卡进行计算，再把计算结果传给下一张显卡。
可以看到，这样的方法，显存占比都得到了划分，因为每张显卡上只保留了某些层的参数，也只用保留对应的梯度。虽然没有使用数据并行的方法，但模型层数变少了，这样中间结果也得到了减少。
但这种方法存在的弊端在于，0号显卡计算的时候，1号和2号显卡实际上处于空闲的状态。

下面我们介绍一些技术的优化细节。

技术细节

混合精度

比如C语言中有float类型、double类型和long double类型。数值表示范围依次增大。

比如double类型比float类型有更大的表示范围和更高的有效位精度，但是double类型的计算会更慢。
同理FP16和FP32是一样的，前者的数值表示范围和有效位数更小，同时计算会更快。
在一般模型的训练中，我们可能使用FP32作为默认训练参数的表示。实际上，模型的参数一般不会超过千这个数量级，那么完全可以使用FP16。

那我们能否从FP32转到FP16得到运行速度上的提升呢？其实会面临一个问题，在参数更新的时候，一般学习率是比较小的：1e-5、1e-3等。而FP16能表示的最小值，是1e-5数量级的数，假如我们的梯度乘上学习率低于FP16的表示范围，那么参数更新量就会产生丢失(下溢)。

那么既然FP32能达到出更高的表示范围，我们可以把FP16的梯度乘上学习率得到的参数更新量表示为FP32，但模型的参数是更低精度的FP16。那我们无法直接把参数更新量加到模型参数上，此时需要在优化器上额外保留单精度(FP32)的一个参数。

在这里插入图片描述
在一般的模型训练中，模型会有FP32的参数和FP32的梯度，然后优化器会使用FP32的梯度进行参数优化。

而在混合精度训练中，为了加速模型的前向传播&反向传播，模型中会使用半精度(FP16)的参数，和半精度的梯度，把梯度传到优化器里进行优化器的更新。同时把优化器的更新量保存为FP32类型，把这个FP32类型通过优化器里临时创建的FP32参数进行累积，之后转回到FP16的参数来与模型进行计算。

Offloading

以Adam为例，优化器的参数量会是模型参数量两倍的关系，显然它是一个显存占用的大头。我们能否把它从显卡中移除呢？

在这里插入图片描述
其实是可以的，我们可以把它从显卡上移到CPU上。
这样需要我们先把模型参数的梯度从显卡中传给CPU，在CPU上进行优化器的优化，将优化的结果传回显卡上。在使用了ZeRO3梯度优化之后，参数划分为显卡数分之一，通过把一张显卡绑定到多张CPU上，就可以让每张CPU上的计算量足够低，能让CPU不成为模型训练的瓶颈。

Overlapping

在这里插入图片描述
本节介绍的技巧是通信的计算的重叠。在GPU中的内存操作一般是异步的，我们可以提前给内存发送一个请求，可以去进行其他的计算，其他计算完成之后，对那个内存请求进行接收。

在模型前向传播过程中，我们需要把Layer1的参数通过Gather操作，然后对Layer2的参数进行优化。在获得完Layer1参数之后，在Layer1前向传播计算过程中，异步地把Layer2参数的获得进行提前。在Layer1前向传播计算完之后，Layer2的参数也已经获得，那么就可以马上进行Layer2前向传播计算。

Checkpointing

Checkpointing就是检查点，就像单机游戏中的存档。

为了支持模型的反向传播，我们需要把模型计算的所有中间结果保持在显卡中，我们是否可以通过存档的方式进行优化。

即我们不把所有结果都保持到显卡中，而只保持一定的存档点。

在这里插入图片描述
以Transformer为例，我们只保留Transformer大层的输入作为检查点，在反向传播过程中，那么如何为大层中的线性层梯度进行计算。此时可以通过重计算，就是说我们通过Transformer每个大层的输入，在反向传播过程中，重新对它进行一个前向的传播。临时得到每个大层里面所有线性层的输入，那么得到了中间结果，就可以进行反向传播。
完成了这一层的反向传播之后，我们就可以把检查点和临时重计算的中间结果从显存中清理掉。这样我们就不需要保存那么多中间结果。

BMTrain——使用介绍

本小节介绍BMTrain性能上的提升。

在这里插入图片描述
据说可以使用更少的机器，达到更快的速度。

在这里插入图片描述
使用上也简单，替换一些包名前缀。就可以用到前面提到的一些技术。

下面介绍大规模预训练模型压缩的一些技术，主要介绍他们的工具包BMCook。

模型压缩

背景就是大模型的规模增长非常快。

在这里插入图片描述

接下来介绍模型压缩的一些技术，目的是希望把大规模的模型压缩成更小规模。
在这里插入图片描述

知识蒸馏

什么是知识
在这里插入图片描述
这里知识指的是模型的参数本身，本质是把模型从输入映射到输出的过程。知识蒸馏就是想把这种映射能力从大模型迁移到小模型上。

在这里插入图片描述
对于输入数据，会有大模型作为Teacher，它会算出当前数据的预测结果，logits。
同时，该数据也可以输入给一个小得多的Student模型，该模型对于数据也能给出logits，知识蒸馏想做的事情是让这两个logits尽可能地接近。

在这里插入图片描述

第一篇关于预训练模型的知识蒸馏工作称为PKD，它是面向BERT做的知识蒸馏。

它针对传统的知识蒸馏进行改进，让student模型可以从teacher模型中间层进行学习。
PKD针对模型很多层都有输出，或者说隐藏状态。它想做的事情是让student模型的隐藏状态和教师的尽可能接近。而不是仅拟合最终的输出。

在这里插入图片描述

还有一个非常有代表性的工作是，TinyBERT。它进一步地推广了能学习的信号。从Teacher模型中找到了更多的可用于知识蒸馏的中间表示。比如输入的嵌入向量以及Attention矩阵。

模型剪枝

在这里插入图片描述
这里剪枝做的事情，比如对于参数矩阵W，可能有很多元素非常接近于0。那么是否可以把这些参数丢掉。
核心是去除参数冗余部分，去除的依据是根据重要性，重要性最直观的依据是看元素绝对值大小，如果非常接近于0，那么就认为它不重要。

剪枝分为结构化剪枝和非结构化剪枝。
现在比较有用的是结构化剪枝，它考虑一次性删除矩阵中的一行/一列/一块。这样删掉之后矩阵还是一个比较规整的形状，从而比较利于并行化计算。

在这里插入图片描述
关于预训练模型结构化剪枝的工作。首先对于注意力层进行剪枝，针对注意力中的冗余。如果把某个注意力head丢掉，观察对与机器翻译和语言理解任务上的影响，从上图可以看到，这种做法不一定会对模型造成负面的影响，甚至很多时候还带来结果的提升。

模型量化

标准的神经网络数值计算是浮点计算，那么表示的位数相对多一些。观察发现，神经网络其实不需要这么高的精度，所以可以把浮点的表示转换成定精度的表示。

在这里插入图片描述

BMInf

BMInf是OpenBMB发布的第一个工具包。

主要的目的是能让你在便宜的GPU，比如GTX 1060上，也能运行起来大模型。

深入理解Transformer

我们来深入分析模型，看如何优化模型。

在这里插入图片描述

Transformer模型中主要的就是线性层，比如对于CMP-2中90%的参数都是在线性层中。

所以我们先来针对线性层。我们在允许一些精度损失的前提下，来优化线性层的运算效率。

在这里插入图片描述
目前常用的是FP32，但目前模型比较大，为了降低开销，逐渐在训练过程中引入FP16。

在这里插入图片描述
为了进一步降低开销，有没有可能使用INT8来表示参数。

量化

在这里插入图片描述
使用整数来模拟浮点矩阵运算。

首先找到矩阵里面最大的那个数，然后缩放到-127，得到缩放系数。然后把浮点矩阵中所有元素除以该缩放系数，每个元素值经过四舍五入就能得到新的整数。这样可以把浮点数矩阵拆成缩放系数和一个整数矩阵。

就让能让矩阵中值从FP16变成了INT8。

在这里插入图片描述
在完成了矩阵量化之后，如果用INT8来模拟矩阵乘法呢？

针对线性层来说，分别对它的输入和权重进行量化，就可以得到两个INT8的矩阵和对应的缩放系数。接着在这两个INT8的矩阵中进行矩阵乘法。这会得到一个整数结果，但该结果INT8是存不下来的，此时会用INT32来存储。同时针对缩放系数进行一个标量惩罚，得到一个新的缩放系数，然后把整数结果乘上这个新缩放系数还原成浮点数。

但是该方法直接应用在Transformer上效果不理想。在这里插入图片描述
此时我们需要更加精细的量化方法。我们可以将量化的粒度从原来的整个矩阵变成一行或一列，计算单行/列的缩放系数。这种方法能在Transformer上达到不错的效果。