如何将自定义代码生成TVM

如何将自定义代码生成TVM

如何将自定义代码生成TVM

本文参考链接:

https://tvm.apache.org/docs/dev/how_to/relay_bring_your_own_codegen.html

https://blog.csdn.net/weixin_42164269/article/details/104291635

简介

深度学习针对的硬件设备的数量不断增加,用户需要在各种设备上实现高性能所需的知识。硬件后端提供者要么提供像MKLDNN或cuDNN类的库,包含许多常用的深度学习运算符,要么提供诸如TensorRT这样的框架,用户以某种方式描述模型实现高性能。但是,用户尝试在新的库或设备上工作时,必须学习新的编程接口。结果,对统一编程接口的需求变得越来越重要。

1)让所有用户和硬件后端提供者站在同一页面上

2)提供一种可行的解决方案,允许专用硬件或库仅支持具有极高性能的广泛使用的运算符,但不支持的运算符回退到CPU / GPU等常规设备。

本文主要内容如下:

目录

简介

1. 生成C代码。

2. 生成任何其它图形表示。

实现一个C代码生成器

实现【CodegenC】

运算符代码生成

输入变量的代码生成

代码发送

实现【CSourceCodegen 】

实现【GenCFunc 】

实现【CreateCSourceModule 】

注册代码生成

实现一个代码生成表示

实现【ExampleJsonCodeGen 】

实现自定义runtime

实现构造函数

实现【GetFunction 】

实现运行

实现【SaveToBinary】和【LoadFromBinary 】

总结

在本开发人员指南中,演示了作为硬件后端提供者,如何轻松实现自定义代码生成,注册为Relay后端编译器,支持硬件设备/库。本文根据需要的不同图形表示形式,涵盖两种类型的代码生成器:

1. 要生成C代码。

如果硬件已经具有经过优化的C/C ++库,如对CPU拥有Intel CBLAS / MKL,GPU拥有NVIDIA CUBLAS,这就是所需要的。幸运的是,C源代码模块与TVM runtime模块完全兼容,生成的代码可以由具有适当编译标志的任何C / C ++编译器进行编译,唯一的任务就是实现一个为子图生成C代码的代码生成器和一个C源模块,集成到TVM runtime模块中。在下一节中,将演示如何为硬件实现C代码生成器。

2. 生成任何其它图形表示。

硬件可能需要其它形式的图形表示形式,如JSON。在这种情况下,不仅需要实现代码生成,还需要实现自定义的TVM runtime模块,使TVM runtime知道应如何执行图形表示。如果已经为硬件配备了完整的图形执行引擎,如用于GPU的TensorRT,可以考虑采用这种解决方案。

在完成代码生成和runtime后,可以让客户使用自定义标签注释模型使用。

实现一个C代码生成器

在这一部分中,演示如何实现使用预实现的运算符函数,生成C代码的代码生成器。简化起见,示例代码生成器不依赖于第三方库。相反,在C中手动实现了两个宏:

#define CSOURCE_BINARY_OP_1D(p_ID_, p_OP_, p_DIM1_)         \

    extern "C" void p_ID_(float* a, float* b, float* out) { \

        for (int64_t i = 0; i < p_DIM1_; ++i) {             \

            out[i] = a[i] p_OP_ b[i];                       \

        }                                                   \

    }

 

#define CSOURCE_BINARY_OP_2D(p_ID_, p_OP_, p_DIM1_, p_DIM2_)  \

    extern "C" void p_ID_(float* a, float* b, float* out) {   \

        for (int64_t i = 0; i < p_DIM1_; ++i) {               \

            for (int64_t j = 0; j < p_DIM2_; ++j) {           \

                int64_t k = i * p_DIM2_ + j;                  \

                out[k] = a[k] p_OP_ b[k];                     \

            }                                                 \

        }                                                     \

    }

使用这两个宏,可以为一维和二维张量,生成二进制运算符。如给定一个子图如下。假设所有输入都是二维张量,形状为(10,10)。

c_compiler_input0

       |

      add <-- c_compiler_input1

       |

    subtract <-- c_compiler_input2

       |

    multiply <-- c_compiler_input3

       |

      out

目标是生成以下可编译代码执行子图:

#include <tvm/runtime/c_runtime_api.h>

#include <tvm/runtime/packed_func.h>

#include <dlpack/dlpack.h>

#include <cstdint>

#include <cstring>

#include <iostream>

 

#define GCC_BINARY_OP_1D(p_ID_, p_OP_, p_DIM1_)           \

  extern "C" void p_ID_(float* a, float* b, float* out) { \

    for (int64_t i = 0; i < p_DIM1_; ++i) {               \

      out[i] = a[i] p_OP_ b[i];                           \

    }                                                     \

  }

 

#define GCC_BINARY_OP_2D(p_ID_, p_OP_, p_DIM1_, p_DIM2_)  \

  extern "C" void p_ID_(float* a, float* b, float* out) { \

    for (int64_t i = 0; i < p_DIM1_; ++i) {               \

      for (int64_t j = 0; j < p_DIM2_; ++j) {             \

        int64_t k = i * p_DIM2_ + j;                      \

        out[k] = a[k] p_OP_ b[k];                         \

      }                                                   \

    }                                                     \

  }

 

// Note 1

GCC_BINARY_OP_2D(gcc_0_0, *, 10, 10);

GCC_BINARY_OP_2D(gcc_0_1, -, 10, 10);

GCC_BINARY_OP_2D(gcc_0_2, +, 10, 10);

 

// Note 2

extern "C" void gcc_0_(float* gcc_input0, float* gcc_input1,

                       float* gcc_input2, float* gcc_input3, float* out) {

  float* buf_0 = (float*)malloc(4 * 100);

  float* buf_1 = (float*)malloc(4 * 100);

  gcc_0_2(gcc_input0, gcc_input1, buf_0);

  gcc_0_1(buf_0, gcc_input2, buf_1);

  gcc_0_0(buf_1, gcc_input3, out);

  free(buf_0);

  free(buf_1);

}

 

// Note 3

extern "C" int gcc_0_wrapper(DLTensor* arg0, DLTensor* arg1, DLTensor* arg2,

                             DLTensor* arg3, DLTensor* out) {

  gcc_0_(static_cast<float*>(arg0->data), static_cast<float*>(arg1->data),

         static_cast<float*>(arg2->data), static_cast<float*>(arg3->data),

         static_cast<float*>(out->data));

  return 0;

}

TVM_DLL_EXPORT_TYPED_FUNC(gcc_0, gcc_0_wrapper);

在这里,突出显示上面代码中标记的注释:

Note1,子图中三个节点的函数实现。

Note2,一个函数,通过分配中间缓冲区,调用相应函数执行子图。

Note3,TVM runtime兼容的包装函数。接受一个输入张量和一个输出张量的列表(最后一个参数),转换为正确的数据类型,调用Note2中描述的子图函数。此外,【TVM_DLL_EXPORT_TYPED_FUNC】是一个TVM宏,生成另一个函数【gcc_0】,【gcc_0】具有统一的函数参数,通过把所有的参数张量打包成【TVMArgs】。结果,TVM runtime可以直接调用gcc_0执行子图,无需付出额外的努力。使用上面生成的代码,TVM可以与图的其余部分一起编译,导出单个库以进行部署。

在本节的其余部分,将逐步实现一个codegen生成上述代码。自定义代码源必须位于src/relay/backend/contrib/<your-codegen-name>/。在示例中,将代码源命名为“ codegen_c”,将放在“此处<https://github.com/apache/incubator-tvm/blob/master/src/relay/backend/contrib/codegen_c/codegen.cc>下`_。可以随时检查文件,获取完整的实现。

在此文件中实现两个类,这是相互关系:

                     subgraph                                subgraph

TVM backend -----------------------------> CSourceCodegen -------------> CodegenC

       ^                                       |    ^                       |

       |                                       |    |                       |

       ----------------------------------------      ------------------------

          generated C source runtime module              generated C code

当TVM后端在Relay中找到一个函数(子图)时,使用已注册的编译器标记进行注释(【ccompiler】在此示例中),TVM后端将调用【CSourceCodegen】,转换该子图。【CSourceCodegen】的成员函数【CreateCSourceModule】将

1)为子图生成C代码,

2)将生成的C代码包装到C源runtime模块中,供TVM后端编译和部署。

特别地,C代码生成对于【CodegenC】类是透明的,因为提供了许多有用的实用程序,简化代码生成的实现。以下各节将以自底向上的顺序实现这两个类。

实现【CodegenC】

在src/relay/backend/contrib/codegen_c/codegen.cc中,先在【tvm.relay.contrib】名称空间下,创建一个代码生成类骨架:

#include <tvm/relay/expr_functor.h>

#include <tvm/relay/transform.h>

#include <tvm/relay/type.h>

#include <tvm/runtime/module.h>

#include <tvm/runtime/object.h>

 

#include <fstream>

#include <sstream>

 

#include "codegen_c.h"

 

namespace tvm {

namespace relay {

namespace contrib {

 

class CodegenC : public ExprVisitor, public CodegenCBase {

  public:

    explicit CodegenC(const std::string& id) { this->ext_func_id_ = id; }

 

    void VisitExpr_(const VarNode* node) { ; }

    void VisitExpr_(const CallNode* call) final { ; }

    std::string JIT() { ; }

 

  private:

    /*! \brief The function id that represents a C source function. */

    std::string ext_func_id_ = "";

    /*! \brief The index of a wrapped C function. */

    int func_idx = 0;

    /*! \brief The index of allocated buffers. */

    int buf_idx_ = 0;

    /*! \brief The arguments of a C compiler compatible function. */

    std::vector<std::string> ext_func_args_;

    /*! \brief The statements of a C compiler compatible function. */

    std::vector<std::string> ext_func_body;

    /*! \brief The declaration statements of a C compiler compatible function. */

    std::vector<std::string> func_decl_;

    /*! \brief The declaration statements of buffers. */

    std::vector<std::string> buf_decl_;

    /*! \brief The name and index pairs for output. */

    std::vector<std::pair<std::string, int>> out_;

}

【CodegenC】类继承两个类:【ExprVisitor】提供遍历子图,收集所需的信息并生成子图的功能的能力,如【gcc_0_】; 【CodegenCBase】提供了生成包装函数的功能和用法,如gcc_0上面的示例。可以看出,只需要在此codegen类中,实现三个函数即可工作。

运算符代码生成

先实现【VisitExpr_(const CallNode* call)】。遍历子图时,此函数访问所有调用节点。每个调用节点都包含一个要卸载到硬件上的运算符。结果,需要按照拓扑顺序使用正确的运算符,生成相应的C代码。按以下步骤逐步实现此功能。

1. 生成函数声明

结果示例:【GCC_BINARY_OP_2D(gcc_0_0, *, 10, 10);】

如上所示,要生成函数声明,需要

1)函数名称(例如gcc_0_0)

2)运算符的类型(如*)

3)输入张量形状(如(10, 10))。

幸运的是,可以从【CallNode】位置轻松获取此信息:

 

std::ostringstream macro_stream;

std::ostringstream decl_stream;

std::ostringstream buf_stream;

 

// Generate a unique function name you like.

std::string func_name = ext_func_id_ + "_" + std::to_string(func_idx++);

 

// Make function declaration string.

macro_stream << "CSOURCE_BINARY_OP_" << call->args.size() << "D(" << func_name << ", ";

 

// Check the operator type.

if (IsOp(call, "add")) {

  macro_stream << "+";

} else if (IsOp(call, "subtract")) {

  macro_stream << "-";

} else if (IsOp(call, "multiply")) {

  macro_stream << "*";

} else {

  LOG(FATAL) << "Unrecognized op";

}

 

// Extract the input tensor shape.

auto in_shape = GetShape(call->args[0]->checked_type());

for (size_t i = 0; i < in_shape.size(); ++i) {

  macro_stream << ", " << in_shape[i];

}

macro_stream << ");";

func_decl_.push_back(macro_stream.str());

可以看出,将生成的代码放到类成员变量【func_decl_】。在完成遍历整个子图后,已经收集了所有必需的函数声明,唯一需要做的就是让由GCC进行编译。【VisitExpr_(const CallNode* call)】的实现,也遵循此概念。

2. 生成函数调用

结果示例:【gcc_0_0(buf_1, gcc_input3, out);】

生成函数声明后,需要生成具有正确输入和输出的函数调用。要知道在调用此函数时,应放置哪些输入或缓冲区,必须访问参数:

bool first = true;

decl_stream << func_name << "(";

for (size_t i = 0; i < call->args.size(); ++i) {

  VisitExpr(call->args[i]); // Note 1

  for (auto out : out_) {

    if (!first) {

      decl_stream << ", ";

    }

    first = false;

    decl_stream << out.first;

  }

}

// Note 2

同样,要突出显示以上代码中的注释:

Note1:【VisitExpr(call->args[i])】是递归调用,访问当前函数的参数。参数可以是另一个节点的输出或输入张量。在示例实现中,确保每个节点在离开访问器前,都更新一个类变量【out_】。这是一个例子:

  arg_node                 arg_node <- Visit arg (Note 1)       arg_node

     |                        |                                    |

 curr_node <- Process      curr_node                            curr_node <- Put "buf_0" as an input buffer

 

(a) out_ = {}            (b) out_ = {}                   (c) out_ = {("buf_0", 20)}

可以在上图中看到,在访问参数节点前,类变量【out_】为空,填充了【arg_node】输出缓冲区的名称和大小。结果,当完成访问参数节点时,可以通过查看【out_】,应该放置适当的输入缓冲区。将在本节末尾和下一节中找到更新【out_】的方式。

注意2:可能会注意到,在此步骤中没有关闭函数调用字符串。当前的函数调用字符串,如下所示:【gcc_0_0(buf_1, gcc_input3】。这是因为没有将最后一个参数(即输出)放入此调用。函数调用的输出可以是分配的临时缓冲区,也可以是子图输出张量。简化起见,在此示例中,为每个调用节点分配一个输出缓冲区(下一步),将结果从最后一个缓冲区复制到输出张量。

3.生成输出缓冲区

结果示例: 【float* buf_0 = (float*)malloc(4 * 100);】

如上一步所述,除了子图输入和输出张量外,可能还需要缓冲区来保留中间结果。为了生成缓冲区,提取形状信息以确定缓冲区的类型和大小:

// This example only supports single output.

auto type_node = call->checked_type().as<TensorTypeNode>();

CHECK(type_node != nullptr && runtime::TypeMatch(type_node->dtype, kDLFloat, 32))

      << "Only support single output tensor with float type";

 

// Generate a unique buffer name.

std::string out = "buf_" + std::to_string(buf_idx_++);

 

// Extract the shape to be the buffer size.

auto out_shape = GetShape(call->checked_type());

int out_size = 1;

for (size_t i = 0; i < out_shape.size(); ++i) {

  out_size *= out_shape[i];

}

 

// Make the buffer allocation and push to the buffer declarations.

buf_stream << "float* " << out << " = (float*)std::malloc(4 * " << out_size << ");";

buf_decl_.push_back(buf_stream.str());

分配输出缓冲区后,现在可以关闭函数调用字符串,将生成的函数调用,放到类变量【ext_func_body】。

decl_stream << ", " << out << ");";

ext_func_body.push_back(decl_stream.str());

4. 更新输出缓冲区

为了接受当前调用节点的输出,作为输入的下一个节点,知道应使用的缓冲区,需要在离开此访问函数前,更新类变量【out_】。

out_.clear();

out_.push_back({out, out_size});

恭喜!已经完成了本文中最困难的功能。在接下来的两节中,只需要组成此函数中的一些次要缺失部分。

输入变量的代码生成

回想一下,通过访问调用节点的参数,收集输入缓冲区的信息(上一节的第二步),处理了参数是另一个调用节点的情况(第四步)。在本节中,以【VarNode】示例,演示如何处理其它节点。

【VarNode】表示模型中的输入张量。拥有的唯一的,但重要的信息是名称提示(如data,weight等)。在访问【VarNode】时,只需更新类变量【out_】传递名称提示,以便后代调用节点可以生成正确的函数调用。

void VisitExpr_(const VarNode* node) {

  ext_func_args_.push_back(node->name_hint());

  out_.clear();

  out_.push_back({node->name_hint(), 0});

}

在此示例中,假设要卸载的子图仅具有调用节点和变量节点。如果子图包含其它类型的节点,如TupleNode,需要访问并绕过输出缓冲区信息。

代码发送

该【codegen】类的最后一部分是一个【JIT】函数,该函数为子图发送C函数,将刚生成的C代码用作函数体。除了前面几节中生成的子图函数外,需要一个包装器函数,该函数具有统一的参数,TVM runtime可以调用和传递数据。幸运的是,继承的基类已经提供了实现【JitImpl】来生成函数。例如,可以调用【JitImpl】如下:

JitImpl("gcc_0" /* Subgraph symbol (ID) */,

        {"gcc_input0", "gcc_input1", "gcc_input2", "gcc_input3"} /* Input arguments */,

        {"float *buf_0 = (float*)malloc(4 * 20)", ...} /* Buffer allocations */,

        {"gcc_0_2(gcc_input0, gcc_input1, buf_0);"} /* Function body */,

        {"out"} /* Output */);

上面的调用将生成三个函数(一个来自TVM包装器宏):

1. 子图函数【gcc_0_】(在函数名的末尾,还有一个下划线),包含生成的所有C代码以执行子图。

2. 装饰函数【gcc_0__wrapper_】带有【DLTensor】参数列表,该参数列表将数据转换为正确的类型,调用【gcc_0_】。

3. TVM runtime兼容函数【gcc_0】具有TVM统一函数参数,可解压缩TVM打包的张量,调用【gcc_0__wrapper_】。

 

因此,【JIT】实现过程中唯一需要做的,就是将生成的所有子图函数代码传递给【JitImpl】:

std::string JIT() {

  // Write function macros

  for (auto decl : func_decl_) {

    code_stream_ << decl << "\n";

  }

  return JitImpl(ext_func_id_, ext_func_args_, buf_decl_, ext_func_body, out_);

}

传递的所有的变量(【ext_func_id】等)都是类变量,在遍历子图时会被填充。

实现【CSourceCodegen 】

同样,​​创建一个类框架,实现所需的功能。注意,继承【CSourceModuleCodegenBase】

class CSourceCodegen : public CSourceModuleCodegenBase {

 public:

  // Pass a subgraph function, and generate the C code.

  void GenCFunc(const Function& func) { ; }

 

  // Use GenCFunc to generate the C code and wrap it as a C source module.

  runtime::Module CreateCSourceModule(const NodeRef& ref) override { ; }

 

 private:

  std::ostringstream code_stream_;

};

实现【GenCFunc 】

【GenCFunc】只需使用【CodegenC】,只是实现遍历Rel​​ay函数(子图),获得生成的C代码即可。内置函数【GetExtSymbol】在Relay 函数中,检索唯一的符号名称(例如gcc_0),用作C函数名称,因为该符号将用于DSOruntime查找。

 

void GenCFunc(const Function& func) {

  CHECK(func.defined()) << "Input error: expect a Relay function.";

 

  // Record the external symbol for runtime lookup.

  auto sid = GetExtSymbol(func);

 

  CodeGenC builder(sid);

  builder.VisitExpr(func->body);

  code_stream_ << builder.JIT();

}

实现【CreateCSourceModule 】

该函数为外部库创建一个runtime模块。在此示例中,创建了一个【CSourceModule】,可以直接编译,与TVM生成的DSOModule链接在一起。实现【CodegenC】后,实现此功能相对简单:

runtime::Module CreateCSourceModule(const NodeRef& ref) override {

  // Create headers

  code_stream_ << "#include <cstdint>\n";

  code_stream_ << "#include <iostream>\n";

  code_stream_ << "#include <cstdlib>\n";

  code_stream_ << "#include <stdio.h>\n";

  code_stream_ << "#include <cstring>\n";

  code_stream_ << "#include <tvm/runtime/c_runtime_api.h>\n";

  code_stream_ << "#include <dlpack/dlpack.h>\n";

 

  // Append some common macro for operator definition.

  const char* operator_macro = R"op_macro(

  #define CSOURCE_BINARY_OP_1D(p_ID_, p_OP_, p_DIM1_)       \

    extern "C" void p_ID_(float* a, float* b, float* out) { \

      for (int64_t i = 0; i < p_DIM1_; ++i) {               \

        out[i] = a[i] p_OP_ b[i];                           \

      }                                                     \

    }

 

  #define CSOURCE_BINARY_OP_2D(p_ID_, p_OP_, p_DIM1_, p_DIM2_)  \

    extern "C" void p_ID_(float* a, float* b, float* out) {     \

      for (int64_t i = 0; i < p_DIM1_; ++i) {                   \

        for (int64_t j = 0; j < p_DIM2_; ++j) {                 \

          int64_t k = i * p_DIM2_ + j;                          \

          out[k] = a[k] p_OP_ b[k];                             \

        }                                                       \

      }                                                         \

    }

  )op_macro";

 

  code_stream_ << operator_macro << "\n\n";

 

  // Generate C code for the subgraph.

  if (ref->IsInstance<FunctionNode>()) {

    GenCFunc(Downcast<Function>(ref));

  } else if (ref->IsInstance<relay::ModuleNode>()) {

    relay::Module mod = Downcast<relay::Module>(ref);

    for (const auto& it : mod->functions) {

      GenCFunc(Downcast<Function>(it.second));

    }

  } else {

    LOG(FATAL) << "The input ref is expected to be a Relay function or module"

               << "\n";

  }

 

  // Create a CSourceModule

  const auto* pf = runtime::Registry::Get("module.csource_module_create");

  CHECK(pf != nullptr) << "Cannot find csource module to create the external runtime module";

  return (*pf)(code_stream_.str(), "cc");

}

注册代码生成

最后一步是将代码生成器注册到TVM后端。先实现一个简单的函数,调用代码生成器,生成一个runtime模块。

runtime::Module CCompiler(const NodeRef& ref) {

  CSourceCodegen csource;

  return csource.CreateCSourceModule(ref);

}

最后,将此功能注册到TVM后端:

TVM_REGISTER_GLOBAL("relay.ext.ccompiler").set_body_typed(CCompiler);

其中【ccompiler】是一个自定义标签,用于TVM知道这是在用【ccompiler】注释子图时,应使用生成和卸载子图的代码生成器。

最后,一个好的做法是设置CMake配置标志,仅为客户提供编译器。先创建一个cmake文件【cmake/modules/contrib/CODEGENC.cmake】:

if(USE_CODEGENC)

  file(GLOB CSOURCE_RELAY_CONTRIB_SRC src/relay/backend/contrib/codegen_c/codegen.cc)

  list(APPEND COMPILER_SRCS ${CSOURCE_RELAY_CONTRIB_SRC})

endif(USE_CODEGENC)

这样,用户可以在配置TVM时,使用【config.cmake】以下命令,配置是否包括编译器:

set(USE_CODEGENC ON)

为表示实现一个代码生成

尽管已经演示了如何实现C代码生成,但是硬件可能需要其它的图形表示形式,如JSON。在这种情况下,可以修改【CodegenC】类,已经实现了自定义图形表示,实现定制的runtime模块,使TVM runtime知道,如何执行该图形表示。

为了简化,在本文中定义了一个名为“ ExampleJSON”的图表示。ExampleJSON不是真正的JSON,仅仅是没有控制流的图的简单表示。例如,假设有一个名为【subgraph_0】的子图:

 input0

   |

  add <-- input1

   |

subtract <-- input2

   |

multiply <-- input3

   |

  out

然后,该子图的【ExampleJON】如下所示:

subgraph_0

  input 0 10 10

  input 1 10 10

  input 2 10 10

  input 3 10 10

  add 4 inputs: 0 1 shape: 10 10

  sub 5 inputs: 4 2 shape: 10 10

  add 6 inputs: 5 3 shape: 10 10

【input】关键字声明输入张量的ID和形状; 其它语句则以语法描述计算:

【<op> <output ID> inputs: [input ID] shape: [shape]】

在本节中,目标是实现以下定制的TVM runtime模块,执行【ExampleJSON】图。

runtime::Module ExampleJsonCompiler(const NodeRef& ref) {

    ExampleJsonCodeGen codegen(ref);

    std::string code = codegen.gen(); // Note 1

    const auto* pf = runtime::Registry::Get("module.examplejson_module_create"); // Note 2

    CHECK(pf != nullptr) << "Cannot find ExampleJson module to create the external runtime module";

    return (*pf)(code);

}

TVM_REGISTER_GLOBAL("relay.ext.examplejsoncompiler").set_body_typed(ExampleJsonCompiler);

Note1:将实现自定义代码生成,通过子图生成ExampleJSON代码字符串。

Note2:此行获得指向用于创建定制runtime模块的函数的指针。可以看到采用了刚刚生成的ExampleJSON格式的子图代码,初始化了runtime模块。

在以下各节中,将介绍

1)如何实现【ExampleJsonCodeGen】

2)如何实现和注册【examplejson_module_create】。

实现【ExampleJsonCodeGen 】

类似于C代码生成器,从【ExprVisitor】派生了【ExampleJsonCodeGen】,利用访问者模式,进行子图遍历的方法。另一方面,不需要继承【CodegenCBase】,因为不需要TVM C ++装饰器。codegen类的实现如下:

#include <tvm/relay/expr_functor.h>

#include <tvm/relay/transform.h>

#include <tvm/relay/type.h>

#include <tvm/runtime/module.h>

#include <tvm/runtime/object.h>

 

#include <fstream>

#include <sstream>

 

namespace tvm {

namespace relay {

namespace contrib {

 

class ExampleJsonCodeGen : public ExprVisitor {

  public:

    explicit ExampleJsonCodeGen();

 

    // Note 1

    void VisitExpr_(const VarNode* node) { /* Skip in this example. */ }

    void VisitExpr_(const CallNode* call) final { /* Skip in this example. */ }

 

    // Note 2

    std::string gen(NodeRef& ref) {

        this->code = "";

        if (ref->IsInstance<FunctionNode>()) {

            this->visit(Downcast<Function>(ref));

        } else if (ref->IsInstance<relay::ModuleNode>()) {

            relay::Module mod = Downcast<relay::Module>(ref);

            for (const auto& it : mod->functions) {

                this->visit(Downcast<Function>(it.second));

            }

        } else {

            LOG(FATAL) << "The input ref is expected to be a Relay function or module";

        }

        return this->code;

    }

 

  private:

      /*! \brief The function id that represents a C source function. */

     std::string code;

}

Note1:再次实现相应的访问者函数,生成ExampleJSON代码,将存储到类变量【code】中(在本示例中,跳过了访问器函数的实现,因为概念与C代码基本相同)。完成图访问后,应该在【code】中有一个ExampleJSON图。

Note2:定义了一个内部API gen,获取子图生成ExampleJSON代码。该API可以采用喜欢的任意名称。

下一步是实施自定义的runtime,输出ExampleJsonCodeGen。

实现自定义runtime

在本节中,将逐步实现自定义的TVM runtime,将注册到TVM runtime模块。自定义的runtime应位于src/runtime/contrib/<your-runtime-name>/。在示例中,将runtime命名为“ example_ext_runtime”,将放在“ here <src / runtime / contrib / example_ext_runtime / example_ext_runtime.cc>” _下。随时检查此文件,获取完整的实现。

再次,先定义一个自定义的runtime类,如下所示。该类必须从TVM派生【ModuleNode】,以便与其它TVM runtime模块兼容。

#include <dmlc/logging.h>

#include <tvm/runtime/c_runtime_api.h>

#include <tvm/runtime/memory.h>

#include <tvm/runtime/module.h>

#include <tvm/runtime/ndarray.h>

#include <tvm/runtime/object.h>

#include <tvm/runtime/packed_func.h>

#include <tvm/runtime/registry.h>

 

#include <fstream>

#include <cmath>

#include <map>

#include <sstream>

#include <string>

#include <vector>

 

namespace tvm {

namespace runtime {

class ExampleJsonModule : public ModuleNode {

 public:

  explicit ExampleJsonModule(std::string graph_json);

 

  PackedFunc GetFunction(const std::string& name,

                         const ObjectPtr<Object>& sptr_to_self) final;

 

  const char* type_key() const { return "examplejson"; }

 

  void SaveToBinary(dmlc::Stream* stream) final;

 

  static Module LoadFromBinary(void* strm);

 

  static Module Create(const std::string& path);

 

  std::string GetSource(const std::string& format = "");

 

  void Run(int id, const std::vector<int>& inputs, int output);

 

  void ParseJson(const std::string& json);

 

 private:

  /* \brief The json string that represents a computational graph. */

  std::string graph_json_;

  /* \brief The subgraph that being processed. */

  std::string curr_subgraph_;

  /*! \brief A simple graph from subgraph id to node entries. */

  std::map<std::string, std::vector<NodeEntry> > graph_;

  /* \brief A simple pool to contain the tensor for each node in the graph. */

  std::vector<NDArray> data_entry_;

  /* \brief A mapping from node id to op name. */

  std::vector<std::string> op_id_;

};

特别的,必须在【ExampleJsonModule】中,实现一些【ModuleNode】派生的函数:

构造函数:此类的构造函数应接受一个子图(以表示形式),以所需的任何方式,进行处理和存储。保存的子图可由以下两个函数使用。

【GetFunction】:这是此类中最重要的函数。当TVM runtime要使用编译器标记执行子图时,TVM runtime会从自定义runtime模块调用此函数。提供函数名称以及runtime参数,【GetFunction】应返回打包的函数实现,供TVM runtime执行。

【SaveToBinary】和【LoadFromBinary】:【SaveToBinary】将runtime模块序列化为二进制格式,供以后部署。用户使用【export_libraryAPI 】时,TVM将调用此函数。另一方面,由于现在使用自定义图表示形式,因此必须确保【LoadFromBinary】能够通过采用【SaveToBinary】生成的序列化二进制文件,构造相同的runtime模块。

【GetSource】(可选):如果想查看生成的【ExampleJSON】代码,可以实现此函数转储;否则,可以跳过实施。

其它功能和类变量将与上述必备功能的实现一起引入。

实现构造函数

explicit ExampleJsonModule(std::string graph_json) {

  this->graph_json_ = graph_json;

  ParseJson(this->graph_json_);

}

然后,实现【ParseJson】解析ExampleJSON格式的子图,在内存中构造一个图,供以后使用。由于在此示例中不支持带有分支的子图,因此仅使用数组,按顺序存储子图中的每个节点。

void ParseJson(const std::string& json) {

  std::string line;

  std::string curr_subgraph;

  std::stringstream ss(json);

 

  while (std::getline(ss, line, '\n')) {

    std::stringstream ss2(line);

    std::string token;

    int id = 0;

 

    ss2 >> token;

    if (token.find("subgraph_") != std::string::npos) {

      curr_subgraph = token;

      continue;

    }

 

    ss2 >> id;

    if (op_id_.size() <= static_cast<size_t>(id)) {

      op_id_.resize(id + 1);

      data_entry_.resize(id + 1);

    }

 

    int64_t total_elements = 1;

    std::vector<int64_t> shape;

    if (token == "input") {

      int64_t size = 0;

      while (ss2 >> size) {

        total_elements *= size;

        shape.push_back(size);

      }

    } else {

      op_id_[id] = token; // Note 1

      bool shape_data = false;

      NodeEntry entry;

      while (ss2 >> token) {

        if (token == "shape:") {

          shape_data = true;

        } else if (shape_data) {

          total_elements *= std::stoll(token);

          shape.push_back(std::stoll(token));

        } else if (token != "inputs:") {

          entry.inputs.push_back(std::stoi(token));

        }

      }

      entry.id = id;

      entry.output = id;

      graph_[curr_subgraph].push_back(entry); // Note 2

    }

    DLContext ctx;

    ctx.device_type = static_cast<DLDeviceType>(1);

    ctx.device_id = 0;

    data_entry_[id] = NDArray::Empty(shape, DLDataType{kDLFloat, 32, 1}, ctx); // Note 3

  }

}

Note1:使用类变量【op_id_】将子图节点ID,映射到运算符名称(如【add】),可以在runtime调用相应的运算符函数。

Note2:使用类变量【graph_】,将子图名称映射到节点数组。【GetFunction】将在runtime通过子图ID查询图节点。

Note3:使用类变量【data_entry_】,将子图节点ID映射到张量数据占位符。将在runtime将输入和输出放入相应的数据条目。

实现【GetFunction 】

构造后,应该准备好上述类变量。然后,实现【GetFunction】为TVM runtime,提供可执行的子图函数:

PackedFunc GetFunction(const std::string& name,

                       const ObjectPtr<Object>& sptr_to_self) final {

  if (this->graph_.find(name) != this->graph_.end()) {

    this->curr_subgraph_ = name;

    return PackedFunc([sptr_to_self, this](TVMArgs args, TVMRetValue* rv) {

 

      // Copy input tensors to corresponding data entries.

      for (auto i = 0; i < args.size(); ++i) {

        CHECK(args[i].type_code() == kNDArrayContainer || args[i].type_code() == kArrayHandle)

            << "Expect NDArray or DLTensor as inputs\n";

        if (args[i].type_code() == kArrayHandle) {

          DLTensor* arg = args[i];

          this->data_entry_[i].CopyFrom(arg);

        } else {

          NDArray arg = args[i];

          this->data_entry_[i].CopyFrom(arg);

        }

      }

 

      // Execute the subgraph.

      for (const auto& it : this->graph_[this->curr_subgraph_]) {

        this->Run(it.id, it.inputs, it.output);

      }

      CHECK_GT(graph_.count(this->curr_subgraph_), 0U);

 

      // Copy the output from a data entry back to TVM runtime argument.

      auto out_idx = graph_[this->curr_subgraph_].back().output;

      if (args[args.size() - 1].type_code() == kArrayHandle) {

        DLTensor* arg = args[args.size() - 1];

        this->data_entry_[out_idx].CopyTo(arg);

      } else {

        NDArray arg = args[args.size() - 1];

        this->data_entry_[out_idx].CopyTo(arg);

      }

      *rv = data_entry_.back();

    });

  } else {

    LOG(FATAL) << "Unknown subgraph: " << name << "\n";

    return PackedFunc();

  }

}

可以看出,【GetFunction】由三个主要部分组成。第一部分将数据从TVM runtime参数复制到在构造函数中分配的相应数据条目。第二部分使用【Run】函数(将在以后实现)执行子图,将结果保存到另一个数据条目中。第三部分将结果从输出数据条目,复制回相应的TVM runtime参数进行输出。

实现运行

现在让实现【Run】函数。此函数接受:

1)一个子图ID;

2)输入数据条目索引的列表

3)输出数据条目索引。

void Run(int id, const std::vector<int>& inputs, int output) {

  // Make a list data entry indexs.

  std::vector<int> args(inputs.begin(), inputs.end());

  args.push_back(output);

 

  // Initialize data holders.

  std::vector<TVMValue> values(args.size());

  std::vector<int> type_codes(args.size());

 

  // Initialize a TVM arg setter with TVMValue and its type code.

  TVMArgsSetter setter(values.data(), type_codes.data());

 

  // Set each argument to its corresponding data entry.

  if (op_id_[id] == "add" || op_id_[id] == "sub" || op_id_[id] == "mul") {

    for (size_t i = 0; i < args.size(); i++) {

      setter(i, data_entry_[args[i]]);

    }

  }

 

  // Invoke the corresponding operator function.

  if (op_id_[id] == "add") {

    Add(values.data(), type_codes.data(), args.size());

  } else if (op_id_[id] == "sub") {

    Sub(values.data(), type_codes.data(), args.size());

  } else if (op_id_[id] == "mul") {

    Mul(values.data(), type_codes.data(), args.size());

  } else {

    LOG(FATAL) << "Unknown op: " << op_id_[id] << "\n";

  }

}

【Run】函数主要有两个部分。第一部分分配一个【TVMValue】列表,映射相应的数据条目块。这将成为运算符函数的参数。第二部分将调用运算符函数。虽然使用与前面的例子相同的C函数,可以用自定义引擎更换Add,Sub及Mul。只需要确保引擎将结果存储到最后一个参数,就可以将传输回TVM runtime。

通过实现上述功能,自定义的代码生成和runtime现在可以执行子图。最后一步是注册API(【examplejson_module_create】)以创建此模块:

TVM_REGISTER_GLOBAL("module.examplejson_module_create")

.set_body_typed([](std::string code){

    auto n = make_object<ExampleJsonModule>(code);

    return runtime::Module(n);

});

实现【SaveToBinary】和【LoadFromBinary 】

到目前为止,已经实现了自定义runtime的主要功能,可以用作其它TVM runtime。但是,当用户要将已构建的runtime保存到磁盘以进行部署时,TVM不知道如何保存。这就是要实现【SaveToBinary】和【LoadFromBinary】的原因,告诉TVM如何保留和恢复自定义的runtime。

先实现【SaveToBinary】,允许用户将该模块保存在磁盘中的功能。

void SaveToBinary(dmlc::Stream* stream) final {

    stream->Write(this->graph_json_);

}

可以发现此函数非常简单。回想一下,在构造函数中使用的唯一参数是一个子图表示,只需要一个子图表示,即可构造/恢复此定制的runtime模块。结果,【SaveToBinary】只需将子图写入输出DMLC流。当用户使用【export_library】API导出模块时,自定义模块将是子图的ExampleJSON流。

同样,【LoadFromBinary】读取子图流,重新构建自定义的runtime模块:

static Module LoadFromBinary(void* strm) {

  dmlc::Stream* stream = static_cast<dmlc::Stream*>(strm);

  std::string graph_json;

  stream->Read(&graph_json);

  auto n = tvm::runtime::make_object<ExampleJsonModule>(graph_json);

  return Module(n);

}

需要注册此函数,启​​用相应的Python API:

TVM_REGISTER_GLOBAL("module.loadbinary_examplejson")

.set_body_typed(ExampleJsonModule::LoadFromBinary);

上面的注册当用户调用【tvm.runtime.load(lib_path)】API,导出的库具有ExampleJSON流时,【LoadFromBinary】将被调用,创建相同的自定义runtime模块。

另外,如果想直接从ExampleJSON文件支持模块创建,可以实现一个简单的函数,注册Python API,如下所示:

static Module Create(const std::string& path) {

    std::ifstream filep;

    filep.open(path, std::ios::in);

    std::string graph_json;

    std::string line;

    while (std::getline(filep, line)) {

        graph_json += line;

        graph_json += "\n";

    }

    filep.close();

    auto n = tvm::runtime::make_object<ExampleJsonModule>(graph_json);

    return Module(n);

}

 

TVM_REGISTER_GLOBAL("module.loadfile_examplejson")

.set_body([](TVMArgs args, TVMRetValue* rv) {

    *rv = ExampleJsonModule::Create(args[0]);

});

用户可以手动编写/修改ExampleJSON文件,使用Python API 【tvm.runtime.load("mysubgraph.examplejson", "examplejson")】构造自定义模块。

 

总结

总之,这是一份清单供参考:

派生自【ExprVisitor】和【CodegenCBase】的代码生成类和(仅对于C代码生成),具有以下函数。

【VisitExpr_(const CallNode* call)】 收集调用节点信息。

收集子图信息所需的其它访问器函数。

【JIT 】生成子图代码。

注册代码生成器。

创建【CSourceModule】的函数(用于C代码生成)。

从【ModuleNode】派生的runtime模块类,具有下面的函数(用于图形表示)。

构造函数。

【GetFunction】生成TVM runtime兼容的【PackedFunc】。

【Run 】执行子图。

注册runtime创建API。

【SaveToBinary】和【LoadFromBinary】序列化/反序列化自定义的runtime模块。

注册【LoadFromBinary】API以支持【tvm.runtime.load(your_module_lib_path)】。

(可选)【Create】从表示中的子图文件,支持定制的runtime模块构造。

一个用于对用户Relay程序进行注释的注释器,利用编译器和runtime(TBA)。

 

 

参考链接:

https://tvm.apache.org/docs/dev/how_to/relay_bring_your_own_codegen.html

https://blog.csdn.net/weixin_42164269/article/details/104291635

posted @ 2021-11-14 07:09  吴建明wujianming  阅读(197)  评论(0编辑  收藏  举报