自动混合精度
torch. amp为混合精度提供了方便的方法,其中一些操作使用torch.float32(浮点)数据类型,而其他操作使用精度较低的浮点数据类型(lower_precision_fp):torch.float16(half)或torch.bfloat16。一些操作,如线性层和卷积,在lower_precision_fp中要快得多。其他操作,如缩减,通常需要float32的动态范围。混合精度试图将每个操作与其适当的数据类型相匹配。
通常,数据类型为torch. float16的"自动混合精度训练"一起使用torch.autocast和torch.cuda.amp.GradScaler。并且torch.autocast和torch.cuda.amp.GradScaler是模块化的,如果需要,可以单独使用。
对于CUDA和CPU,API也单独提供:
torch.autocast("cuda",args...)等价于torch.cuda.amp.autocast(args...)。
torch.autocast("cpu",args...)等价于torch.cpu.amp.autocast(args...)。对于CPU,目前仅支持torch.bfloat16的较低精度浮点数据类型。
自动转换(autocast)
torch.autocast(device_type , dtype=None , enabled=True , cache_enabled=None)
参数:
device_type (str, required) - 使用'cuda'或'cpu'设备
enabled (bool, optional) - 是否在区域中启用autocasting。默认值:True
dtype (torch_dtype, optional) - 是否使用torch.float16或torch.bfloat16。
cache_enabled (bool, optional) - 是否启用autocast内部的权重缓存。默认值:True
autocast可以用作上下文管理器或装饰器,允许脚本作用区域以混合精度运行。
在这些区域中,数据操作会以autocast选择的特定于该操作的dtype进行运行,以提高性能同时保持准确性。
进入启用autocast的区域时,张量可以是任何类型。使用autocast时,您不应在模型或输入上调用half()或bfloat16()。 autocast应仅包装网络的前向传递forward,包括loss计算。不建议在autocast下进行后向传递。后向操作以与autocast用于相应前向操作的运行类型相同。
CUDA示例:
python
# Creates model and optimizer in default precision
model = Net().cuda()
optimizer = optim.SGD(model.parameters(), ...)
for input, target in data:
optimizer.zero_grad()
# Enables autocasting for the forward pass (model + loss)
with autocast():
output = model(input)
loss = loss_fn(output, target)
# Exits the context manager before backward()
loss.backward()
optimizer.step()
在启用自动转换的区域中生成的浮点张量可能是float16。返回到禁用自动转换的区域后,将它们与不同dtype的浮点张量一起使用可能会导致类型不匹配错误。如果是这样,请将自动转换区域中生成的张量转换回float32(或其他dtype,如果需要)。如果来自自动转换区域的张量已经是float32,则转换是无操作的,并且不会产生额外的开销。
CUDA示例:
python
# Creates some tensors in default dtype (here assumed to be float32)
a_float32 = torch.rand((8, 8), device="cuda")
b_float32 = torch.rand((8, 8), device="cuda")
c_float32 = torch.rand((8, 8), device="cuda")
d_float32 = torch.rand((8, 8), device="cuda")
with autocast():
# torch.mm is on autocast's list of ops that should run in float16.
# Inputs are float32, but the op runs in float16 and produces float16 output.
# No manual casts are required.
e_float16 = torch.mm(a_float32, b_float32)
# Also handles mixed input types
f_float16 = torch.mm(d_float32, e_float16)
# After exiting autocast, calls f_float16.float() to use with d_float32
g_float32 = torch.mm(d_float32, f_float16.float())
CPU 训练示例:
python
# Creates model and optimizer in default precision
model = Net()
optimizer = optim.SGD(model.parameters(), ...)
for epoch in epochs:
for input, target in data:
optimizer.zero_grad()
# Runs the forward pass with autocasting.
with torch.autocast(device_type="cpu", dtype=torch.bfloat16):
output = model(input)
loss = loss_fn(output, target)
loss.backward()
optimizer.step()
CPU 推理示例:
python
# Creates model in default precision
model = Net().eval()
with torch.autocast(device_type="cpu", dtype=torch.bfloat16):
for input in data:
# Runs the forward pass with autocasting.
output = model(input)
CPU 使用jit trace的推理示例:
python
class TestModel(nn.Module):
def __init__(self, input_size, num_classes):
super().__init__()
self.fc1 = nn.Linear(input_size, num_classes)
def forward(self, x):
return self.fc1(x)
input_size = 2
num_classes = 2
model = TestModel(input_size, num_classes).eval()
# For now, we suggest to disable the Jit Autocast Pass,
# As the issue: https://github.com/pytorch/pytorch/issues/75956
torch._C._jit_set_autocast_mode(False)
with torch.cpu.amp.autocast(cache_enabled=False):
model = torch.jit.trace(model, torch.randn(1, input_size))
model = torch.jit.freeze(model)
# Models Run
for _ in range(3):
model(torch.randn(1, input_size))
autocast(enabled=False)子区域可以嵌套在启用autocast的区域中。在特定的数据类型中强制运行子区域时,局部禁用autocast是有用的。禁用autocast可以明确控制执行类型。在子区域中,来自周围区域的输入在使用之前应该被转换为指定的数据类型。
python
# 在默认数据类型(这里假设为float32)中创建一些张量
a_float32 = torch.rand((8, 8), device="cuda")
b_float32 = torch.rand((8, 8), device="cuda")
c_float32 = torch.rand((8, 8), device="cuda")
d_float32 = torch.rand((8, 8), device="cuda")
with autocast():
e_float16 = torch.mm(a_float32, b_float32)
with autocast(enabled=False):
# 调用e_float16.float()以确保使用float32执行
# (这是必需的,因为e_float16是在autocast区域中创建的)
f_float32 = torch.mm(c_float32, e_float16.float())
# 当重新进入启用autocast的区域时,无需手动转换类型。
# torch.mm仍然以float16运行并产生float16的输出,不受输入类型的影响。
g_float16 = torch.mm(d_float32, f_float32)
autocast状态是线程本地的。如果要在新线程中启用它,必须在该线程中调用上下文管理器或装饰器。
torch.cuda.amp.autocast(enabled=True, dtype=torch.float16, cache_enabled=True)
torch.cuda.amp.autocast(args...)等同于torch.autocast("cuda", args...)
*torch.cuda.amp.custom_fwd(fwd=None, , cast_inputs=None)
用于自定义自动求导函数(torch.autograd.Function的子类)的forward方法的辅助装饰器。
参数:
cast_inputs (torch.dtype或None, optional, default=None) - 如果不为None,在autocast-enabled区域中运行forward时,将传入的浮点数CUDA张量转换为目标数据类型(非浮点数张量不受影响),然后以禁用autocast的方式执行forward。如果为None,则forward的内部操作将根据当前的autocast状态执行
梯度缩放(Gradient Scaling)
如果某个操作的前向传递具有float16输入,则该操作的反向传递将产生float16梯度。具有较小幅度的梯度值可能无法表示为float16。这些值将被置零("underflow"),因此相应参数的更新将丢失。
为了防止underflow,"梯度缩放"通过将网络的损失乘以一个缩放因子,并在缩放后的损失上进行反向传递来进行。通过网络向后传播的梯度也会按照相同的因子进行缩放。换句话说,梯度值具有较大的幅度,因此它们不会被置零。
每个参数的梯度(.grad属性)在优化器更新参数之前应进行还原,以确保缩放因子不会干扰学习率的设置。
torch.cuda.amp.GradScaler(init_scale=65536.0, growth_factor=2.0, backoff_factor=0.5, growth_interval=2000, enabled=True)
get_backoff_factor() 返回一个包含缩放回退因子的Python浮点数。
get_growth_factor() 返回一个包含缩放增长因子的Python浮点数。
get_growth_interval() 返回一个包含增长间隔的Python整数。
get_scale() 返回一个包含当前缩放因子的Python浮点数,如果禁用缩放,则返回1.0。
**警告:**get_scale()会产生CPU-GPU同步。
is_enabled() 返回一个布尔值,指示此实例是否已启用。
load_state_dict(state_dict) 加载缩放器状态。如果此实例已禁用,则load_state_dict()不执行任何操作。
参数: state_dict (dict) -- 缩放器状态。应为调用state_dict()返回的对象。
scale(outputs) 将张量或张量列表按比例因子进行缩放。
返回缩放后的输出。如果未启用GradScaler的实例,则返回未修改的输出。
参数: outputs (Tensor或Tensor的可迭代对象) -- 要进行缩放的输出。
set_backoff_factor(new_factor) 参数: new_factor (float) -- 用作新缩放回退因子的值。
set_growth_factor(new_factor) 参数: new_factor (float) -- 用作新缩放增长因子的值。
set_growth_interval(new_interval) 参数: new_interval (int) -- 用作新增长间隔的值。
state_dict() 以字典形式返回缩放器的状态。它包含五个条目:
"scale" - 一个包含当前缩放的Python浮点数
"growth_factor" - 一个包含当前增长因子的Python浮点数
"backoff_factor" - 一个包含当前回退因子的Python浮点数
"growth_interval" - 一个包含当前增长间隔的Python整数
"_growth_tracker" - 一个包含最近连续未跳过步骤的数量的Python整数。
如果此实例未启用,则返回一个空字典。
注意:如果要在特定迭代之后检查点缩放器的状态,则应在update()之后调用state_dict()。
step(optimizer, *args, **kwargs)
step()执行以下两个操作:
1在内部调用unscale_(optimizer)(除非在迭代中之前显式调用了unscale_())。在unscale_()的一部分,会检查梯度是否包含inf/NaN。
2如果未发现inf/NaN梯度,则使用未缩放的梯度调用optimizer.step()。否则,将跳过optimizer.step()以避免破坏参数。
*args和**kwargs会被传递给optimizer.step()。
返回optimizer.step(*args, **kwargs)的返回值。
参数: optimizer (torch.optim.Optimizer) -- 应用梯度的优化器。
args --任何参数。
kwargs -- 任何关键字参数。
警告
目前不支持闭包使用。
unscale_(optimizer) 将优化器的梯度张量通过缩放因子进行除法("取消缩放")。
unscale_()是可选的,适用于在反向传播和步骤(step())之间修改或检查梯度的情况。如果未显式调用unscale_(),则梯度将在步骤(step())期间自动取消缩放。
简单示例,使用unscale_()来启用未缩放梯度的剪裁:
... scaler.scale(loss).backward() scaler.unscale_(optimizer) torch.nn.utils.clip_grad_norm_(model.parameters(), max_norm) scaler.step(optimizer) scaler.update() 参数: optimizer (torch.optim.Optimizer) -- 拥有待取消缩放梯度的优化器。
注意
unscale_()不会产生CPU-GPU同步。
警告
每次调用unscale_()时,应对于每个优化器在每个step()调用中仅调用一次,并且只在为该优化器的分配参数累积了所有梯度之后才调用。在每个step()之间对于给定优化器连续调用unscale_()两次会触发RuntimeError。
警告
unscale_()可能会以不可恢复的方式取消缩放稀疏梯度,替换.grad属性。
update(new_scale=None)[SOURCE] 更新缩放因子。
如果跳过了任何优化器步骤,则通过backoff_factor乘以缩放因子来减小它。如果连续出现growth_interval个未跳过的迭代,则通过growth_factor乘以缩放因子来增加它。
传递new_scale会手动设置新的缩放值。(new_scale不会直接使用,而是用于填充GradScaler的内部缩放张量。因此,如果new_scale是一个张量,对该张量的原地更改将不会进一步影响GradScaler内部使用的缩放。)
参数: new_scale(float或torch.cuda.FloatTensor,可选,默认为None) -- 新的缩放因子。
警告
update()应仅在迭代结束时调用,在该迭代中为所有使用的优化器调用了scaler.step(optimizer)。
Autocast Op 相关参考
Autocast Op 资格
无论是否启用自动转换,在float64或非float类型中运行的操作不被autocast转换操作,它们都将在原本类型中运行。 autocast只会对out-of-place 操作和张量方法产生影响。在启用autocast的区域中允许显式提供out=...tensor的in-place操作以及调用,但他们不会通过autocast。例如,在启用自动转换的区域中,a. addmm(b,c)可以自动转换,但a.addmm_(b,c,out=d)不能。为了获得最佳性能和稳定性,请在启用autocast的区域中优先使用 out-of-place 操作。 显式调用dtype=...的操作不符合autocast使用资格,并且将生成dtype参数的输出。
CUDA Op 特定行为
下面的列表描述了在启用自动转换的区域中具备资格的操作的行为。这些操作始终经过自动转换,无论它们作为 torch.nn.Module 的一部分被调用,作为函数被调用,还是作为 torch.Tensor 方法被调用。如果函数在多个命名空间中公开,无论命名空间如何,它们都经过自动转换。
下面未列出的操作不经过自动转换。它们根据其输入定义的类型运行。然而,如果它们是自动转换的操作的下游,自动转换仍然可能更改未列出的操作运行的类型。
如果一个操作未列出,我们假设它在 float16 中是数值稳定的。如果您认为未列出的操作在 float16 中数值不稳定,请提出问题。
可以自动转换为 float16 的 CUDA Ops
matmul、addbmm、addmm、addmv、addr、baddbmm、bmm、chain_matmul、multi_dot、conv1d、conv2d、conv3d、conv_transpose1d、conv_transpose2d、conv_transpose3d、GRUCell、linear、LSTMCell、matmul、mm、mv、prelu、RNNCell
可以自动转换为 float32 的 CUDA Ops
pow、rdiv、rpow、rtruediv、acos、asin、binary_cross_entropy_with_logits、cosh、cosine_embedding_loss、cdist、cosine_similarity、cross_entropy、cumprod、cumsum、dist、erfinv、exp、expm1、group_norm、hinge_embedding_loss、kl_div、l1_loss、layer_norm、log、log_softmax、log10、log1p、log2、margin_ranking_loss、mse_loss、multilabel_margin_loss、multi_margin_loss、nll_loss、norm、normalize、pdist、poisson_nll_loss、pow、prod、reciprocal、rsqrt、sinh、smooth_l1_loss、soft_margin_loss、softmax、softmin、softplus、sum、renorm、tan、triplet_margin_loss
可以提升到最广泛输入类型的CUDA Ops
这些操作对于稳定性不需要特定的数据类型,但需要多个输入并要求输入的数据类型匹配。如果所有输入都是 float16,则该操作在 float16 中运行。如果输入中有任何一个是 float32,则自动转换将所有输入转换为 float32,并在 float32 中运行该操作。
addcdiv、addcmul、atan2、bilinear、cross、dot、grid_sample、index_put、scatter_add、tensordot
这里未列出的一些操作(例如,add 等二元操作)在没有自动转换的干预下本身就可以提升输入。如果输入是 bfloat16 和 float32 的混合,这些操作将在 float32 中运行,并产生 float32 输出,无论是否启用自动转换。
优先使用 binary_cross_entropy_with_logits 而不是 binary_cross_entropy
torch.nn.functional.binary_cross_entropy()(以及包装它的 torch.nn.BCELoss)的反向传播可能会产生 float16 中无法表示的梯度。在启用自动转换的区域中,前向输入可能是 float16,这意味着反向传播的梯度必须是可以在 float16 中表示的(将 float16 前向输入自动转换为 float32 是无用的,因为该转换必须在反向传播中被反转)。因此,在启用自动转换的区域中,binary_cross_entropy 和 BCELoss 会引发错误。
许多模型在二元交叉熵层之前使用了一个 sigmoid 层。在这种情况下,使用 torch.nn.functional.binary_cross_entropy_with_logits() 或 torch.nn.BCEWithLogitsLoss 结合这两个层。binary_cross_entropy_with_logits 和 BCEWithLogits 是可以安全自动转换的。
CPU Op 特定行为
下面的列表描述了在启用自动转换的区域中具备资格的操作的行为。这些操作始终经过自动转换,无论它们作为 torch.nn.Module 的一部分被调用,作为函数被调用,还是作为 torch.Tensor 方法被调用。如果函数在多个命名空间中公开,无论命名空间如何,它们都经过自动转换。
下面未列出的操作不经过自动转换。它们根据其输入定义的类型运行。然而,如果它们是自动转换的操作的下游,自动转换仍然可能更改未列出的操作运行的类型。
如果一个操作未列出,我们假设它在 bfloat16 中是数值稳定的。如果您认为未列出的操作在 bfloat16 中数值不稳定,请提出问题。
可以自动转换为 bfloat16 的 CPU Ops
conv1d、conv2d、conv3d、bmm、mm、baddbmm、addmm、addbmm、linear、matmul、_convolution
可以自动转换为 float32 的 CPU
Ops conv_transpose1d、conv_transpose2d、conv_transpose3d、avg_pool3d、binary_cross_entropy、grid_sampler、grid_sampler_2d、_grid_sampler_2d_cpu_fallback、grid_sampler_3d、polar、prod、quantile、nanquantile、stft、cdist、trace、view_as_complex、cholesky、cholesky_inverse、cholesky_solve、inverse、lu_solve、orgqr、inverse、ormqr、pinverse、max_pool3d、max_unpool2d、max_unpool3d、adaptive_avg_pool3d、reflection_pad1d、reflection_pad2d、replication_pad1d、replication_pad2d、replication_pad3d、mse_loss、ctc_loss、kl_div、multilabel_margin_loss、fft_fft、fft_ifft、fft_fft2、fft_ifft2、fft_fftn、fft_ifftn、fft_rfft、fft_irfft、fft_rfft2、fft_irfft2、fft_rfftn、fft_irfftn、fft_hfft、fft_ihfft、linalg_matrix_norm、linalg_cond、linalg_matrix_rank、linalg_solve、linalg_cholesky、linalg_svdvals、linalg_eigvals、linalg_eigvalsh、linalg_inv、linalg_householder_product、linalg_tensorinv、linalg_tensorsolve、fake_quantize_per_tensor_affine、eig、geqrf、lstsq、_lu_with_info、qr、solve、svd、symeig、triangular_solve、fractional_max_pool2d、fractional_max_pool3d、adaptive_max_pool3d、multilabel_margin_loss_forward、linalg_qr、linalg_cholesky_ex、linalg_svd、linalg_eig、linalg_eigh、linalg_lstsq、linalg_inv_ex
可以提升到最宽输入类型的 CPU Ops
这些操作不需要特定的数据类型来保持稳定性,但需要多个输入并要求输入的数据类型匹配。如果所有输入都是 bfloat16,则该操作在 bfloat16 中运行。如果任何一个输入是 float32,则自动转换将所有输入转换为 float32,并在 float32 中运行该操作。
cat、stack、index_copy
这里未列出的一些操作(例如,add 等二元操作)在没有自动转换的干预下本身就可以提升输入。如果输入是 bfloat16 和 float32 的混合,这些操作将在 float32 中运行,并产生 float32 输出,无论是否启用自动转换。
补充:关于inplace 和 out of inplace的理解(理解inplace就明白了)
inplace=True指的是进行原地操作,选择进行原地覆盖运算。 比如 x+=1则是对原值x进行操作,然后将得到的结果又直接覆盖该值。y=x+5,x=y则不是对x的原地操作。
inplace=True操作的好处就是可以节省运算内存,不用多储存其他无关变量。
注意:当使用 inplace=True后,对于上层网络传递下来的tensor会直接进行修改,改变输入数据,具体意思如下面例子所示:
python
import torch
import torch.nn as nn
relu = nn.ReLU(inplace=True)
input = torch.randn(7)
print("输入数据:",input)
output = relu(input)
print("ReLU输出:", output)
print("ReLU处理后,输入数据:")
print(input)
torch.autograd.grad
函数是PyTorch中用于计算梯度的函数之一。它用于计算一个或多个标量函数相对于一组变量的梯度。
函数签名如下:
mathematicaCopy code
torch.autograd.grad(outputs, inputs, grad_outputs=None, retain_graph=None, create_graph=False, only_inputs=True, allow_unused=False)
参数说明:
outputs
:包含需要计算梯度的标量函数的张量或张量列表。inputs
:需要计算梯度的变量的张量或张量列表。grad_outputs
:与outputs
具有相同形状的张量或张量列表,用于指定在计算梯度时的外部梯度。默认为None,表示使用单位梯度(即1)。retain_graph
:布尔值,指定在计算完梯度后是否保留计算图以进行后续计算。默认为None,表示自动判断是否需要保留计算图。create_graph
:布尔值,指定是否创建一个新的计算图用于计算高阶导数。默认为False。only_inputs
:布尔值,指定是否只计算输入的梯度。默认为True,表示仅计算输入的梯度。allow_unused
:布尔值,指定是否允许在计算梯度时存在未使用的输入。默认为False,表示不允许存在未使用的输入。
函数返回一个与inputs
具有相同形状的张量或张量列表,表示相对于inputs
的梯度。如果某个输入不需要梯度,对应位置的梯度将为None。
以下是一个示例用法:
pythonCopy codeimport torch
x = torch.tensor([2.0], requires_grad=True)
y = x ** 2
grads = torch.autograd.grad(y, x)
print(grads) # 输出 [tensor([4.])]
上述示例中,我们计算了y = x ** 2
相对于x
的梯度,并通过torch.autograd.grad
函数获取了结果。在这个例子中,grads
的值为4.0,表示y
相对于x
的梯度为4.0。