0. 概述

在添加自定义算子前,请参阅算子列表,避免不必要的重复。

MNN 算子转换与实现结构

MNN 的算子转换与实现如下图,

  • 模型转换包括以下步骤,二选一:
    • 训练框架导出的Op与MNN的Op一一对应:前端直接转换
    • 用组合器(参考 tools/converter/source/optimizer/onnxextra 等目录)由 MNN 算子组合。
  • MNN 算子实现包括如下步骤
    1. 添加Schema描述(必须)
    2. 添加维度计算(若算子输出维度和输入一致可跳过)
    3. 添加几何计算实现(可选,如果实现几何计算,无须后续在各后端添加算子实现)
    4. 添加各后端算子实现(可选,选择需要部分进行实现)

image.png

添加算子的流程

image.png
简单来说,优先转换,然后组合,然后几何计算,最后各后端实现。

1. 添加Schema描述

若添加的算子不在MNN的算子列表中,需要添加模型描述 修改完模型描述后,需要调用generate脚本重新生成模型描述头文件。

添加算子类型

schema/default/MNN.fbs文件的OpType列表里追加算子名称,如:

  1. enum OpType : int {
  2. AbsVal,
  3. QuantizedAdd,
  4. ...
  5. MyCustomOp
  6. }

添加算子参数描述

如果算子不包含参数,则可以略过这一步。

首先,在schema/default/MNN.fbs文件的OpParameter列表里追加算子参数名称,如:

  1. union OpParameter {
  2. QuantizedAdd,
  3. ArgMax,
  4. AsString,
  5. ...
  6. MyCustomOpParam
  7. }

而后,添加参数描述。如果算子来自Caffe,选择CaffeOps.fbs;如果算子来自TensorFlow,就使用TensorflowOp.fbs

  1. table MyCustomOpParam {
  2. padX:int;
  3. padY:int;
  4. kernelX:int;
  5. kernelY:int;
  6. strideX:int;
  7. strideY:int;
  8. dataType:DataType=DT_FLOAT;
  9. }

2. 添加模型转换

用户可根据自己使用的框架,选择对应的模型转换模块去添加算子转换的支持 添加完模型转换后,需要重新cmake。

目前,MNN支持TensorFlow、TensorFlow Lite、Caffe和ONNX模型格式的转换。

TensorFlow模型转换

  1. 添加转换类
    tools/converter/source/tensorflow下添加MyCustomOpTf.cpp。可以直接声明转换类,也可以利用宏定义简化代码。

直接声明示例:

  1. class MyCustomOpTf : public tfOpConverter {
  2. public:
  3. virtual void run(MNN::OpT *dstOp, TmpNode *srcNode, TmpGraph *tempGraph);
  4. MyCustomOpTf() {}
  5. virtual ~MyCustomOpTf() {}
  6. virtual MNN::OpType opType();
  7. virtual MNN::OpParameter type();
  8. }

等效宏定义示例:

  1. DECLARE_OP_CONVERTER(MyCustomOpTf);

需要实现run、析构、opTypetype函数。其中,run函数用于解析模型的proto文件得到参数,然后赋值给flatbuffer自定义参数。参数srcNode保存有输入输出节点信息,可以根据输入输出节点在tempGraph中找到TmpNode。调用函数find_attr_value(const tensorflow::NodeDef& node, const char* key, tensorflow::AttrValue& value)获得对应参数的值。

注册转换类:

  1. REGISTER_CONVERTER(MyCustomOpTf, MyCustomOp);
  1. 添加映射
    OpMapper.hpp中添加相应的TensorFlow Op名字到MNN Op名字的映射:

    1. {"OpName1", MNN::OpType_MyCustomOp},
    2. {"OpName2", MNN::OpType_MyCustomOp},
  2. 处理Op附带的Const
    如果Const不作为此Op的参数,而是看成一个单独的Op,可以忽略此步骤;如果Op要把Const当成参数,要在文件TmpGraph.cpp里修改函数_genMinGraph(),把相应Const节点的isCovered属性设置为true。

TensorFlow Lite模型转换

  1. 添加转换类
    tools/converter/source/tflite下添加MyCustomOpTflite.cpp

宏定义示例:

  1. DECLARE_OP_COVERTER(MyCustomOpTflite);

需要实现函数:

  1. MyCustomOpTflite::opType(bool quantizedModel);
  2. MyCustomOpTflite::type(bool quantizedModel);
  3. MyCustomOpTflite::run(MNN::OpT *dstOp,
  4. const std::unique_ptr<tflite::OperatorT> &tfliteOp,
  5. const std::vector<std::unique_ptr<tflite::TensorT> > &tfliteTensors,
  6. const std::vector<std::unique_ptr<tflite::BufferT> > &tfliteModelBuffer,
  7. const std::vector<std::unique_ptr<tflite::OperatorCodeT> > &tfliteOpSet,
  8. bool quantizedModel)

其中,run函数相比TensorFlow的版本,多一个quantizedModel参数。若qu``antizedModel为true,则模型为量化模型,需转为相应的量化Op;若为false,转为浮点Op。在run函数中需要设置输入、输出tensor的index:

  1. // set input output index
  2. dstOp->inputIndexes.resize(1);
  3. dstOp->outputIndexes.resize(1);
  4. dstOp->inputIndexes[0] = tfliteOp->inputs[0];
  5. dstOp->outputIndexes[0] = tfliteOp->outputs[0];

注册转换类:

  1. using namespace tflite;
  2. REGISTER_CONVERTER(MyCustomOpTflite, BuiltinOperator_OPName);

Caffe模型转换

  1. 添加转换类
    /tools/converter/source/caffe下添加MyCustomOp.cpp。

类声明示例:

  1. class MyCustomOp : public OpConverter {
  2. public:
  3. virtual void run(MNN::OpT* dstOp,
  4. const caffe::LayerParameter& parameters,
  5. const caffe::LayerParameter& weight);
  6. MyCustomOp() {}
  7. virtual ~MyCustomOp() {}
  8. virtual MNN::OpType opType();
  9. virtual MNN::OpParameter type();
  10. };

实现runopTypetype函数,在run函数中解析caffe参数得到具体参数。其中参数parameters保存有Op的参数信息,weight保存有卷积、BN等数据参数。

注册转换类:

  1. static OpConverterRegister<MyCustomOp> a("MyCustomOp");

ONNX模型转换

  1. 添加转换类
    /tools/converter/source/onnx下添加MyCustomOpOnnx.cpp。

类声明示例:

  1. DECLARE_OP_CONVERTER(MyCustomOpOnnx);

需要实现函数:

  1. MNN::OpType MyCustomOpOnnx::opType();
  2. MNN::OpParameter MyCustomOpOnnx::type();
  3. void MyCustomOpOnnx::run(MNN::OpT* dstOp,
  4. const onnx::NodeProto* onnxNode,
  5. std::vector<const onnx::TensorProto*> initializers);

run函数中,onnxNode即onnx原始节点信息,权重等数据信息需从initializers取。

注册转换类:

  1. REGISTER_CONVERTER(MyCustomOpOnnx, MyCustomOp);

3. 添加维度计算

如果该Op的输出Tensor大小与第1个输入Tensor一致,并且不需要分析FLOPS,可以跳过这步。 添加完形状计算代码后,需要在根目录下运行 python3 tools/scripts/register.py,并重新cmake。

  1. 添加计算类
    /source/shape下添加ShapeMyCustomOp.cpp:
    1. class MyCustomOpSizeComputer : public SizeComputer {
    2. public:
    3. virtual bool onComputeSize(const MNN::Op* op, const std::vector<Tensor*>& inputs,
    4. const std::vector<Tensor*>& outputs) const override {
    5. // set tensor->buffer.type
    6. // .dimensions
    7. // .dim[x].extent
    8. // .dim[x].stride
    9. // .dim[x].flag
    10. return true;
    11. }
    12. virtual float onComputeFlops(const MNN::Op* op,
    13. const std::vector<Tensor*>& inputs,
    14. const std::vector<Tensor*>& outputs) const {
    15. return flops_for_calc_output_from_input;
    16. }
    17. };

onComputeSize函数中,根据输入tensor的维度信息,计算输出tensor的维度信息,并设置输出tensor的数据类型。计算完成后返回true;若输入维度信息未知返回false。
onComputeFlops函数中,根据输入、输出tensor的维度信息,返回总计算量。

注册计算类:

  1. REGISTER_SHAPE(MyCustomOpSizeComputer, OpType_MyCustomOp);

4. 添加实现

添加完算子实现后,需要在根目录下运行 python3 tools/scripts/register.py,并重新cmake。

添加CPU实现

source/backend/CPU目录下添加CPUMyCustomOp.hppCPUMyCustomOp.cpp

  1. 实现类声明

    1. class CPUMyCustomOp : public Execution {
    2. public:
    3. // 若执行onExecute需要使用缓存,在此函数中申请,若无可不声明
    4. virtual ErrorCode onResize(const std::vector<Tensor *> &inputs,
    5. const std::vector<Tensor *> &outputs) override;
    6. // 具体的Op执行函数
    7. virtual ErrorCode onExecute(const std::vector<Tensor *> &inputs,
    8. const std::vector<Tensor *> &outputs) override;
    9. };
  2. 实现onResizeonExecute
    onResize中,调用backend()->onAcquireBuffer(&mCache, Backend::DYNAMIC)进行缓存的申请,调用backend()->onReleaseBuffer(&mCache, Backend::DYNAMIC)回收缓存。释放后的内存可以被复用。
    onExecute中,做必要的输入的检查,有利于提前发现问题。若执行完毕正确返回NO_ERROR。

  3. 注册实现类

    1. class CPUMyCustomOpCreator : public CPUBackend::Creator {
    2. public:
    3. virtual Execution *onCreate(const std::vector<Tensor *> &inputs,
    4. const std::vector<Tensor *> &outputs,
    5. const MNN::Op *op,
    6. Backend *backend) const override {
    7. return new CPUMyCustomOp(backend);
    8. }
    9. };
    10. REGISTER_CPU_OP_CREATOR(CPUMyCustomOpCreator, OpType_MyCustomOp);

添加Metal实现

  1. 添加Shader
    source/backend/Metal目录下添加MetalMyCustomOp.metal,并添加进Xcode工程。metal可以参考目录下已有实现。

  2. 实现类声明
    source/backend/Metal目录下添加MetalMyCustomOp.hppMetalMyCustomOp.cpp,并添加进Xcode工程:

    1. class MetalMyCustomOp : public Execution {
    2. public:
    3. virtual ErrorCode onResize(const std::vector<Tensor *> &inputs,
    4. const std::vector<Tensor *> &outputs) override;
    5. virtual ErrorCode onExecute(const std::vector<Tensor *> &inputs,
    6. const std::vector<Tensor *> &outputs) override;
    7. };
  3. 实现onResizeonExecute
    不同于CPU Tensor将数据存储在host指针中,Metal数据指针存放在deviceId中,deviceId上存储的是id<MTLBuffer>

    1. auto buffer = (__bridge id<MTLBuffer>)(void *)tensor->deviceId();

Metal Op的特定参数等可以通过id<MTLBuffer>存储。buffer数据类型可以与tensor不同,buffer甚至可以混合多种数据类型,只需保证创建时指定了正确的长度即可。例如:

  1. auto buffer = [context newDeviceBuffer:2 * sizeof(int) + 2 * sizeof(__fp16) access:CPUWriteOnly];
  2. ((__fp16 *)buffer.contents)[0] = mAlpha / mLocalSize; // alpha
  3. ((__fp16 *)buffer.contents)[1] = mBeta; // beta
  4. ((int *)buffer.contents)[1] = mLocalSize; // local size
  5. ((int *)buffer.contents)[2] = inputs[0]->channel(); // channel

在创建buffer时,需要指定访问控制权限。目前共有三种权限:

  • CPUReadWrite,数据在CPU/GPU间共享存储,一般用于device buffer;
  • CPUWriteOnly,数据通过CPU写入后不再读取,一般用于参数buffer;
  • CPUTransparent,数据只在GPU中,一般用于heap buffer;

MNNMetalContext在创建buffer上,有两套相近的接口,区别只在数据的生命周期上:

  • device占用的内存在单次推理过程中都不会被复用;
  • 而heap占用的内存,在调用-[MNNMetalContext releaseHeapBuffer:]之后,可以被其他Op复用;

一般而言,heap只会与CPUTransparent一起使用。heap实际只在iOS 10+上有效,iOS 9-上会回退到device上。

使用Metal时,如非特殊情况,禁止自行创建device和library。加载library、编译function都是耗时行为,MNNMetalContext上做了必要的缓存优化。通过context执行Metal的示例如下:

  1. auto context = (__bridge MNNMetalContext *)backend->context();
  2. auto kernel = /* metal kernel name NSString */;
  3. auto encoder = [context encoder];
  4. auto bandwidth = [context load:kernel encoder:encoder];
  5. /* encoder set buffer(s)/sampler(s) */
  6. [context dispatchEncoder:encoder
  7. threads:{x, y, z}
  8. maxThreadsPerGroup:maxThreadsPerThreadgroup]; // recommended way to dispatch
  9. [encoder endEncoding];
  1. 注册实现类
    1. class MetalMyCustomOpCreator : public MetalBackend::Creator {
    2. public:
    3. virtual Execution *onCreate(const std::vector<Tensor *> &inputs,
    4. const MNN::Op *op, Backend *backend) const {
    5. return new MetalMyCustomOp(backend);
    6. }
    7. };
    8. REGISTER_METAL_OP_CREATOR(MetalMyCustomOpCreator, OpType_MyCustomOp);

添加注册代码后,重新运行一下 CMake ,自动变更注册文件

添加Vulkan实现

  1. 添加Shader
    source/backend/vulkan/execution/glsl目录下添加具体的shader(*.comp)。若输入内存布局为NC4HW4,则按image实现,否则采用buffer实现。可以参考目录下已有实现。然后,执行makeshader.py脚本编译Shader。

  2. 实现类声明
    在目录source/backend/vulkan/execution/下添加VulkanMyCustomOp.hppVulkanMyCustomOp.cpp

    1. class VulkanMyCustomOp : public VulkanBasicExecution {
    2. public:
    3. VulkanMyCustomOp(const Op* op, Backend* bn);
    4. virtual ~VulkanMyCustomOp();
    5. ErrorCode onEncode(const std::vector<Tensor*>& inputs,
    6. const std::vector<Tensor*>& outputs,
    7. const VulkanCommandPool::Buffer* cmdBuffer) override;
    8. private:
    9. // GPU Shader所需的参数
    10. std::shared_ptr<VulkanBuffer> mConstBuffer;
    11. // Pipeline
    12. const VulkanPipeline* mPipeline;
    13. // Layout Descriptor Set
    14. std::shared_ptr<VulkanPipeline::DescriptorSet> mDescriptorSet;
    15. };
  3. 实现
    实现函数onEncode,首先需要做内存布局检查:若为NC4HW4,则Shader用image实现,否则用buffer。执行完毕返回NO_ERROR。

  4. 注册实现类

    1. class VulkanMyCustomOpCreator : public VulkanBackend::Creator {
    2. public:
    3. virtual Execution* onCreate(const std::vector<Tensor*>& inputs,
    4. const MNN::Op* op,
    5. Backend* backend) const override {
    6. return new VulkanMyCustomOp(op, backend);
    7. }
    8. };
    9. static bool gResistor = []() {
    10. VulkanBackend::addCreator(OpType_MyCustomOp, new VulkanMyCustomOpCreator);
    11. return true;
    12. }();

添加OpenCL实现

  1. 添加Kernel
    source/backend/opencl/execution/cl目录添加具体的kernel(*.cl)。目前feature map均使用image2d实现。可以参考目录下已有实现。然后执行opencl_codegen.py来生成kernel映射。

  2. 实现类声明
    在目录source/backend/opencl/execution/下添加MyCustomOp.hMyCustomOp.cpp

    1. template <typename T>
    2. class MyCustomOp : public Execution {
    3. public:
    4. virtual ErrorCode onResize(const std::vector<Tensor *> &inputs,
    5. const std::vector<Tensor *> &outputs) override;
    6. virtual ErrorCode onExecute(const std::vector<Tensor *> &inputs,
    7. const std::vector<Tensor *> &outputs) override;
    8. };
  3. 实现
    实现函数onResize(可选)、onExecute。执行完毕返回NO_ERROR。

  4. 注册实现类

    1. OpenCLCreatorRegister<TypedCreator<MyCustomOp<cl_data_t>>> __my_custom_op(OpType_MyCustomOp);

添加OpenGL实现

  1. 添加Shader
    source/backend/opengl/glsl下添加具体的shader(*.glsl),不用加文件头,feature map 均采用image3d表示。可以参考目录下已有实现。而后,在source/backend/opengl目录下执行makeshader.py

  2. 添加Executor
    source/backend/opengl/execution/目录下添加GLMyCustomOp.hGLMyCustomOp.cpp: ```cpp class GLMyCustomOp : public Execution { public: GLMyCustomOp(const std::vector &inputs, const Op op, Backend bn); virtual ~GLMyCustomOp(); virtual ErrorCode onExecute(const std::vector &inputs,

    1. const std::vector<Tensor *> &outputs) override;

    virtual ErrorCode onResize(const std::vector &inputs,

    1. const std::vector<Tensor *> &outputs) override;

private: std::shared_ptr mProgram; };

  1. 3. 实现<br />实现函数`onResize`(可选)、`onExecute`。执行完毕返回NO_ERROR
  2. 4. 注册实现类-
  3. ```cpp
  4. GLCreatorRegister<TypedCreator<GLMyCustomOp>> __my_custom_op(OpType_MyCustomOp);