TenserRT（四）在 PYTORCH 中支持更多 ONNX 算子

第四章：在 PyTorch 中支持更多 ONNX 算子 — mmdeploy 0.12.0 文档

PyTorch扩充。

PyTorch转换成ONNX：

• PyTorch有实现。
• PyTorch可以转化成一个或者多个ONNX算子。
• ONNX有相应算子。

如果即没有PyTorch实现，且缺少PyTorch与ONNX的映射关系，则需要：

• Pytorch算子
  • 组合现有算子
  • 添加TorchScript算子
  • 添加普通C++拓展算子
• 映射方法
  • 为ATen算子添加符号函数
  • 为TorchScript算子添加符号函数
  • 封装成torch.autograd.Function并添加符号函数
• ONNX算子
  • 使用现用ONNX算子
  • 定义新ONNX算子

不同的情况需要灵活的选用和组合这些方法。

支持 ATen 算子

算子在ATen中已经实现，ONNX也有相关算子定义，但是相关算子映射成ONNX的规则没有写。为ATen算子补充描述映射规则的符号函数。

PyTorch C++ API — PyTorch master documentation ATen是PyTorch内置的C++张量计算库，PyTorch算子在底层绝大多数计算都是用ATen实现的。

例如ONNX的Asinh https://github.com/onnx/onnx/blob/main/docs/Operators.md#Asinh 算子在ATen中有实现，但缺少映射到ONNX算子的符号函数，则需要补全符号函数，并导出一个包含该算子的ONNX模型。

获取 ATen 中算子接口定义

torch/_C/_VariableFunctions.pyi和 torch/nn/functional.pyi 两个文件可以获取函数的输入定义，这两个文件是编译pytorch时自动生成的，里面包含了ATen算子的pytorch调用接口，在torch/_C/_VariableFunctions.pyi中搜索asinh接口为

def asinh(input: Tensor, *, out: Optional[Tensor]=None) -> Tensor: ...

缺失算子为asinh，在ATen中实现的算子，在_VariableFunctions.pyi找到对应接口，需要补充对应的符号函数，使其在转场ONNX时不在报错。

添加符号函数

符号函数，看成pytorch的静态方法，将pytroch转换成ONNX模型时，pytroch算子的符号函数将被依次调用，已完成Pytorch算子到ONNX算子的转换。

def symbolic(g: torch._C.Graph, input_0: torch._C.Value, input_1: torch._C.Value, ...):

torch._C.Graph 和 torch._C.Value对应Pytorch的C++实现里的一些类。第一个参数g，表示和计算图相关内容；后面的参数input是算子输入，需要和算子的前向推理接口输入已知。对于ATen算子来说就时两个.pyi文件里的函数接口。

g有一个op方法。把pytorc算子转换成ONNX算子时，需要在符号函数中调用此方法来最终计算投图添加一个ONNX算子

def op(name: str, input_0: torch._C.Value, input_1: torch._C.Value, ...)

name：算子名称，如ONNX算子名称。

简单情况，将pytorch算子的输入用g.op()一一对应到ONNX算子上，并把g.op()的返回值作为符号函数的返回值。复杂的情况，将一个pytorch算子新建为若干个ONNX算子。

from torch.onnx import register_custom_op_symbolic
def asinh_symbolic(g, input):return g.op("custom_domain::Asinh", input)register_custom_op_symbolic('custom_ops::asinh', asinh_symbolic, 9)

asinh_symbolic就是asinh符号函数，输入参数需要按照在ATen中的定义

def asinh(input: Tensor, *, out: Optional[Tensor]=None) -> Tensor: ...

符号函数的函数体重g.op("custom_domain::Asinh", input)完成了ONNX算子的定义，第一个参数custom_domain::Asinh是算子在ONNX中的名称，之于第二个参数input，这个算子只有一个输入，主需要把符号函数的输入参数input对应过去就可以了。ONNX的custom_domain::Asinh输出和ATen的asinh的输出一直，因此直接把g.op()结果返回即可。

使用pytorch API中register_op将富含函数和原来的ATen算子绑定在一起，

register_custom_op_symbolic('custom_ops::asinh', asinh_symbolic, 9)

第一个参数custom_ops::asinh是目标ATen算子名。

第二个参数asinh_symbolic是要注册的符号函数。

第三个参数9表示算子集注册。

import torch
from torch.onnx import register_custom_op_symbolic#创建一个简单的神经网络层，实现forward方法，
class Model(torch.nn.Module):def __init__(self):super().__init__()def forward(self, x):return torch.asinh(x)#计算反双曲正弦值def asinh_symbolic(g, input, *, out=None):#pytorch的计算图有节点Node和边edge组成，Node表示操作（加减乘除卷积）#边表示张量间数据流关系，一个Asinh的节点，以input作为输入，输出就是Asinh(input)return g.op("Asinh", input)#将Model中的asinh操作重新绑定为asinh_symbolic，重命名该节点为“Asinh”，使用9号算法集
register_custom_op_symbolic('aten::asinh', asinh_symbolic,  9)model = Model()
input = torch.rand(1, 3, 10, 10)
torch.onnx.export(model, input, 'asinh.onnx')
#总结，就是声明一个torch.asinh的操作，该操作通过register_custom_op_symbolic注册为，9号算法集中Asinh操作

 

import onnxruntime
import torch
import numpy as npclass Model(torch.nn.Module):def __init__(self):super().__init__()def forward(self, x):return torch.asinh(x)model = Model()
input = torch.rand(1, 3, 10, 10)
torch_output = model(input).detach().numpy()#torch做了一次推理，然后转成numpy格式sess = onnxruntime.InferenceSession('asinh.onnx')
ort_output = sess.run(None, {'onnx::Asinh_0': input.numpy()})[0]
#这里的名字要和onnx中图节点的名字一致啊
assert np.allclose(torch_output, ort_output)#判断torch值和onnxruntime值一致，assert断言返回值，allclose判断两个张量是否一致

支持torcscript算子

pytorch算子无法直接满足复杂实现，需要自定义一个pytorch算子，然后转成ONNX形式。

为算子添加符号函数：

1、获取原算子的前向推理接口。#forward

2、获取目标ONNX算子的定义。#https://github.com/onnx/onnx/blob/main/docs/Operators.md

3、编写符号函数并绑定。#asinh_symbolic，register_custom_op_symbolic

使用torchscript算子

import torch
import torchvision#定义一个包含算子的模型
class Model(torch.nn.Module):def __init__(self):super().__init__()self.conv1 = torch.nn.Conv2d(3, 18, 3)#作为形变卷积的偏移张量self.conv2 = torchvision.ops.DeformConv2d(3, 3, 3)#形变卷积def forward(self, x):return self.conv2(x, self.conv1(x))

自定义 ONNX 算子

#定义一个包含算子的模型
class Model(torch.nn.Module):def __init__(self):super().__init__()self.conv1 = torch.nn.Conv2d(3, 18, 3)#作为形变卷积的偏移张量self.conv2 = torchvision.ops.DeformConv2d(3, 3, 3)#形变卷积点https://pytorch.org/vision/stable/ops.htmldef forward(self, x):return self.conv2(x, self.conv1(x))
#@parse_args装饰器，torchscripp算子的符号函数要求标注出么米一个输入参数的数据类型，
#v表示torch库中的value类型，一般用于标注张量
#i表示int类型
#f表示float
#none表示该数据为空。
#可以在torch.onny.symbolic_helper.py中查看
@parse_args("v", "v", "v", "v", "v", "i", "i", "i", "i", "i", "i", "i", "i", "none")
def symbolic(g,input,#张量vweight,#张量voffset,#张量vmask,#张量vbias,#张量vstride_h, stride_w, #int ipad_h, pad_w,dil_h, dil_w,n_weight_grps,n_offset_grps,use_mask):#以查询到的DeformConv2d算子输入参数作为符号函数的输入#custom是命名空间，以区别官方的算子#只使用input和offset来构造ONNX算子return g.op("custom::deform_conv2d", input, offset)#只是简单的例子，如何定义一个onnx中的deform节点，所以不做具体实现。
from torch.onnx import register_custom_op_symbolic
register_custom_op_symbolic("torchvision::deform_conv2d", symbolic, 9)model = Model()
input = torch.rand(1, 3, 10, 10)
torch.onnx.export(model, input, 'dcn.onnx')

 使用torch.autograd.Function

为 PyTorch 添加 C++ 拓展

//my_add.cpp
#include <torch/torch.h>torch::Tensor my_add(torch::Tensor a, torch::Tensor b)//torch::Tensor就是c++中torch张量
{return 2 * a + b;
}PYBIND11_MODULE(my_lib, m)//PYBIND11_MODULE为C++提供python调用接口。这里的my_lib是将来要在python中导入的模块名
{m.def("my_add", my_add);//my_add是python调用的接口名称，这里的接口名称与c++函数名称不一定要一样，但是这一命名辨识度比较高。
}

python setup.py develop
#编译文件

用 torch.autograd.Function 封装底层调用

import torch
import my_lib
#Function类本身是pytorch的一个可导函数，只需要实现前向推理和反向传播实现。
class MyAddFunction(torch.autograd.Function):#pytorch自动调用该函数，合适的执行前向和反向计算。@staticmethoddef forward(ctx, a, b):#forward函数中调用c++函数,my_lib是库名，my_add函数名，这两个名字是在#PYBIND11_MODULE中定义的。return my_lib.my_add(a, b)#对模型部署来说，function类有个很好的性质：如果定义了symbolic静态方法，#该function在执行torch.onnx.export()时就可以根据symbolic中定义的规则，#转换成ONNX算子，这个symbolic就是前面提到的符号函数，只是这里的名称必须是symbolic而已。@staticmethoddef symbolic(g, a, b):#g.op()只需要根据ONNX算子定义的规则把输入参数填入即可#ONNX中把新建常量当成一个算子来看待，尽管这个算子并不会以节点形式出现在ONNX模型的可视化结果里。two = g.op("Constant", value_t=torch.tensor([2]))#常量算子，把pytorch张量值传入value_t参数a = g.op('Mul', a, two)#乘法return g.op('Add', a, b)#加法
my_add = MyAddFunction.apply#apply是torch.autograd.Function的方法，这个方法完成了Function在前向推理或者反向传播的调度。
#在使用Function的派生类做推理时，不应该显示的调用forward，而应该调用apply方法。class MyAdd(torch.nn.Module):#把my_add封装成一个神经网络中的计算层。def __init__(self):super().__init__()def forward(self, a, b):return my_add(a, b)

测试算子

import torch
import my_lib
#Function类本身是pytorch的一个可导函数，只需要实现前向推理和反向传播实现。
class MyAddFunction(torch.autograd.Function):#pytorch自动调用该函数，合适的执行前向和反向计算。@staticmethoddef forward(ctx, a, b):#forward函数中调用c++函数,my_lib是库名，my_add函数名，这两个名字是在#PYBIND11_MODULE中定义的。return my_lib.my_add(a, b)#对模型部署来说，function类有个很好的性质：如果定义了symbolic静态方法，#该function在执行torch.onnx.export()时就可以根据symbolic中定义的规则，#转换成ONNX算子，这个symbolic就是前面提到的符号函数，只是这里的名称必须是symbolic而已。@staticmethoddef symbolic(g, a, b):#g.op()只需要根据ONNX算子定义的规则把输入参数填入即可#ONNX中把新建常量当成一个算子来看待，尽管这个算子并不会以节点形式出现在ONNX模型的可视化结果里。two = g.op("Constant", value_t=torch.tensor([2]))#常量算子，把pytorch张量值传入value_t参数a = g.op('Mul', a, two)#乘法return g.op('Add', a, b)#加法
my_add = MyAddFunction.apply#apply是torch.autograd.Function的方法，这个方法完成了Function在前向推理或者反向传播的调度。
#在使用Function的派生类做推理时，不应该显示的调用forward，而应该调用apply方法。class MyAdd(torch.nn.Module):#把my_add封装成一个神经网络中的计算层。def __init__(self):super().__init__()def forward(self, a, b):return my_add(a, b)model = MyAdd()
input = torch.rand(1, 3, 10, 10)
torch.onnx.export(model, (input, input), 'my_add.onnx')
torch_output = model(input, input).detach().numpy()import onnxruntime
import numpy as np
sess = onnxruntime.InferenceSession('my_add.onnx')
ort_output = sess.run(None, {'a.1': input.numpy(), 'b.1': input.numpy()})[0]assert np.allclose(torch_output, ort_output)

 总结

• ATen是pytorch的C++张量库，~\Lib\site-packages\torch\_C\_VariableFunctions.pyi 和~\\Lib\site-packages\torch\nn可以知道ATen算子的python接口定义。
• register_op可以为ATen算子补充注册符号函数。
• register_custom_op_symbolic可以为TorchScript算子补充注册符号函数
• 在Pytorch里添加C++扩展，#include <torch/torch.h> 、PYBIND11_MODULE(my_lib, m)、setup
• torch.autograd.Function封装一个自定义的pytorch算子
• symbolic编写符号函数。
• g.op()把一个pytorch算子映射成一个或者多个ONNX算子。