Optimum Quanto
🤗 Optimum Quanto 是 optimum 的 PyTorch 量化后端。
它的设计注重多功能性和简单性:
- 所有功能在即时模式下可用(适用于不可追踪的模型),
- 量化后的模型可以放置在任何设备上(包括 CUDA 和 MPS),
- 自动插入量化和反量化存根,
- 自动插入量化的函数操作,
- 自动插入量化的模块(支持的模块列表见下文),
- 提供从浮点模型到动态再到静态量化模型的无缝工作流程,
- 序列化兼容 PyTorch 的
weight_only
和 🤗 的safetensors
, - 在 CUDA 设备上加速矩阵乘法(int8-int8、fp16-int4、bf16-int8、bf16-int4),
- 支持 int2、int4、int8 和 float8 权重,
- 支持 int8 和 float8 激活。
尚未实现的功能:
- 动态激活平滑,
- 所有设备上所有混合矩阵乘法的内核,
- 与 torch compiler(又称 dynamo)的兼容性。
性能
简而言之:
- 精度:使用
int8
/float8
权重和float8
激活编译的模型与全精度模型非常接近, - 延迟:当有优化内核可用时,仅量化模型权重的量化模型推理与全精度模型相当,
- 设备内存:大约除以浮点位数/整数位数。
以下段落仅为示例。请参阅 bench
文件夹了解每个模型用例的详细结果。
meta-llama/Meta-Llama-3.1-8B
安装
Optimum Quanto 可通过 pip 包安装。
pip install optimum-quanto
Hugging Face 模型的量化工作流程
optimum-quanto
提供了辅助类来量化、保存和重新加载 Hugging Face 量化模型。
LLM 模型
第一步是量化模型
from transformers import AutoModelForCausalLM
from optimum.quanto import QuantizedModelForCausalLM, qint4
model = AutoModelForCausalLM.from_pretrained('meta-llama/Meta-Llama-3-8B')
qmodel = QuantizedModelForCausalLM.quantize(model, weights=qint4, exclude='lm_head')
注意:量化后的模型权重将被冻结。如果你想保持它们未冻结以便训练,你需要直接使用 optimum.quanto.quantize
。
量化后的模型可以使用 save_pretrained
保存:
qmodel.save_pretrained('./Llama-3-8B-quantized')
之后可以使用 from_pretrained
重新加载:
from optimum.quanto import QuantizedModelForCausalLM
qmodel = QuantizedModelForCausalLM.from_pretrained('Llama-3-8B-quantized')
Diffusers 模型
你可以量化 diffusers pipeline 内的任何子模型,并稍后无缝地将它们包含在另一个 pipeline 中。
这里我们量化 Pixart
pipeline 的 transformer
。
from diffusers import PixArtTransformer2DModel
from optimum.quanto import QuantizedPixArtTransformer2DModel, qfloat8
model = PixArtTransformer2DModel.from_pretrained("PixArt-alpha/PixArt-Sigma-XL-2-1024-MS", subfolder="transformer")
qmodel = QuantizedPixArtTransformer2DModel.quantize(model, weights=qfloat8)
qmodel.save_pretrained("./pixart-sigma-fp8")
之后,我们可以重新加载量化模型并重新创建 pipeline:
from diffusers import PixArtTransformer2DModel
from optimum.quanto import QuantizedPixArtTransformer2DModel
transformer = QuantizedPixArtTransformer2DModel.from_pretrained("./pixart-sigma-fp8")
transformer.to(device="cuda")
pipe = PixArtSigmaPipeline.from_pretrained(
"PixArt-alpha/PixArt-Sigma-XL-2-1024-MS",
transformer=None,
torch_dtype=torch.float16,
).to("cuda")
pipe.transformer = transformer
原生 PyTorch 模型的量化工作流程(低级 API)
使用低级 quanto API 时要记住的一点是,默认情况下模型权重是动态量化的:必须显式调用来"冻结"量化权重。
典型的量化工作流程包括以下步骤:
1. 量化
第一步将标准浮点模型转换为动态量化模型。
from optimum.quanto import quantize, qint8
quantize(model, weights=qint8, activations=qint8)
在这个阶段,只有模型的推理被修改为动态量化权重。
2. 校准(如果没有量化激活则可选)
Quanto 支持校准模式,允许在通过量化模型传递代表性样本时记录激活范围。
from optimum.quanto import Calibration
with Calibration(momentum=0.9):
model(samples)
这会自动激活量化模块中的激活量化。
3. 调优,即量化感知训练(可选)
如果模型性能下降太多,可以对其进行几个 epoch 的调优以恢复浮点模型性能。
import torch
model.train()
for batch_idx, (data, target) in enumerate(train_loader):
data, target = data.to(device), target.to(device)
optimizer.zero_grad()
output = model(data).dequantize()
loss = torch.nn.functional.nll_loss(output, target)
loss.backward()
optimizer.step()
4. 冻结整数权重
冻结模型时,其浮点权重被替换为量化的整数权重。
from optimum.quanto import freeze
freeze(model)
5. 序列化量化模型
量化模型的权重可以序列化为 state_dict
,并保存到文件中。
支持 pickle
和 safetensors
(推荐)。
from safetensors.torch import save_file
save_file(model.state_dict(), 'model.safetensors')
为了能够重新加载这些权重,你还需要存储量化模型的量化映射。
import json
from optimum.quanto import quantization_map
with open('quantization_map.json', w) as f:
json.dump(quantization_map(model))
5. 重新加载量化模型
可以使用 requantize
辅助函数从 state_dict
和 quantization_map
重新加载序列化的量化模型。
注意,你需要先实例化一个空模型。
import json
from safetensors.torch import load_file
state_dict = load_file('model.safetensors')
with open('quantization_map.json', r) as f:
quantization_map = json.load(f)
# 从你的建模代码创建一个空模型并重新量化它
with torch.device('meta'):
new_model = ...
requantize(new_model, state_dict, quantization_map, device=torch.device('cuda'))
请参阅 examples 了解该工作流程的实例。
设计概述
张量
quanto 的核心是一个 Tensor 子类,对应于:
- 将源 Tensor 投影到给定目标类型的最佳范围,
- 将投影值映射到目标类型。
对于浮点目标类型,映射由原生 PyTorch 转换完成(即 Tensor.to()
)。
对于整数目标类型,映射是一个简单的四舍五入操作(即 torch.round()
)。
投影的目标是通过最小化以下数量来提高转换的准确性:
- 饱和值(即映射到目标类型的最小/最大值)
- 归零值(因为它们低于目标类型可以表示的最小数值)
对于int8
和float8
,投影是按张量或按通道对称的,对于更低位宽则是分组仿射(带有偏移或'零点')。
使用较低位宽表示的好处之一是您可以利用目标类型的加速操作,这通常比高精度等效操作更快。
Quanto不支持使用混合目标类型转换张量。
模块
Quanto提供了一种通用机制,可以将torch
模块替换为能够处理quanto张量的optimum-quanto
模块。
optimum-quanto
模块在模型冻结之前动态转换其权重,这会稍微减慢推理速度,但如果需要调整模型则是必要的。
权重通常沿第一维度(输出特征)按通道量化。
偏置不进行转换以保持典型addmm
操作的准确性。
解释:为了与未量化的算术运算保持一致,偏置需要使用等于输入和权重尺度乘积的尺度进行量化,这会导致非常小的尺度,相反需要很高的位宽来避免截断。通常,对于int8
输入和权重,偏置需要至少用12
位量化,即int16
。由于现在大多数偏置是float16
,这是一种浪费时间的做法。
激活函数使用静态尺度按张量动态量化(默认范围为[-1, 1]
)。
为了保持准确性,需要校准模型以评估最佳激活尺度(使用动量)。
以下模块可以量化:
- Linear (QLinear)。 权重始终量化,偏置不量化。输入和输出可以量化。
- Conv2d (QConv2D)。 权重始终量化,偏置不量化。输入和输出可以量化。
- LayerNorm, 权重和偏置__不__量化。输出可以量化。
量化激活时需要避免的陷阱
激活始终按张量量化,因为模型图中的大多数线性代数运算与按轴输入不兼容:您simply无法将不以相同基础表示的数字相加("你不能把苹果和桔子相加")。
相反,矩阵乘法中涉及的权重始终沿其第一个轴量化,因为所有输出特征都是独立评估的。
无论如何,量化矩阵乘法的输出总是会被反量化,即使激活被量化,因为:
- 结果累积值的表示位宽要高得多(通常为
int32
或float32
),而激活位宽通常为int8
或float8
, - 它们可能与
float
偏置结合。
将激活按张量量化为int8
可能会导致严重的量化误差,如果相应的张量包含大的离群值。通常,这会导致大多数值设置为零的量化张量(除了离群值)。
解决这个问题的一种可能方法是静态"平滑"激活,如SmoothQuant所示。您可以在external/smoothquant下找到平滑某些模型架构的脚本。
更好的选择是使用float8
表示激活。