tvm
executable.h
Go to the documentation of this file.
1 /*
2  * Licensed to the Apache Software Foundation (ASF) under one
3  * or more contributor license agreements. See the NOTICE file
4  * distributed with this work for additional information
5  * regarding copyright ownership. The ASF licenses this file
6  * to you under the Apache License, Version 2.0 (the
7  * "License"); you may not use this file except in compliance
8  * with the License. You may obtain a copy of the License at
9  *
10  * http://www.apache.org/licenses/LICENSE-2.0
11  *
12  * Unless required by applicable law or agreed to in writing,
13  * software distributed under the License is distributed on an
14  * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15  * KIND, either express or implied. See the License for the
16  * specific language governing permissions and limitations
17  * under the License.
18  */
19 
23 #ifndef TVM_RUNTIME_VM_EXECUTABLE_H_
24 #define TVM_RUNTIME_VM_EXECUTABLE_H_
25 
26 #include <tvm/ffi/function.h>
27 #include <tvm/runtime/module.h>
28 #include <tvm/runtime/object.h>
29 #include <tvm/support/io.h>
30 #include <tvm/support/serializer.h>
31 
32 #include <string>
33 #include <unordered_map>
34 #include <vector>
35 
36 #include "./bytecode.h"
37 
38 // Convention: this version should set to minimum TVM version it support
39 // NOTE: this file only changes if we change relax vm format
40 // for example if relax vm format do not change in 0.15, this should remain as 0.14
41 // if it changes in 0.16, we will change it to 0.16
42 #define VM_VERSION "0.14"
43 
44 namespace tvm {
45 namespace runtime {
46 namespace vm {
47 
54 struct VMFuncInfo {
56  enum class FuncKind : int {
58  kPackedFunc = 0,
60  kVMFunc = 1,
62  kVMTIRFunc = 2,
63  };
67  std::string name;
77  std::vector<std::string> param_names;
78 
79  // defined customized loader save
80  void Save(support::Stream* writer) const;
81  bool Load(support::Stream* reader);
82 };
83 
90 class VMExecutable : public ffi::ModuleObj {
91  public:
93  int GetPropertyMask() const final { return ffi::Module::kBinarySerializable; };
94 
100  std::string Stats() const;
118  ffi::String AsText() const;
123  ffi::String AsPython() const;
128  ffi::Bytes SaveToBytes() const final;
134  static ffi::Module LoadFromBytes(const ffi::Bytes& bytes);
140  void WriteToFile(const ffi::String& file_name, const ffi::String& format) const final;
142  ffi::Module VMLoadExecutable() const;
144  ffi::Module VMProfilerLoadExecutable() const;
146  bool HasFunction(const ffi::String& name) const;
152  static ffi::Module LoadFromFile(const ffi::String& file_name);
153 
155  std::vector<VMFuncInfo> func_table;
157  std::unordered_map<std::string, Index> func_map;
159  std::vector<ffi::Any> constants;
161  std::unordered_map<Index, std::string> memory_scopes;
163  std::vector<Index> instr_offset;
165  std::vector<ExecWord> instr_data;
166 
167  virtual ~VMExecutable() {}
168 
169  TVM_MODULE_VTABLE_BEGIN("relax.VMExecutable");
177 
178  private:
183  void SaveGlobalSection(support::Stream* strm) const;
188  void SaveMemoryScopeSection(support::Stream* strm) const;
193  void SaveConstantSection(support::Stream* strm) const;
198  void SaveCodeSection(support::Stream* strm) const;
203  void SavePackedFuncNames(support::Stream* strm) const;
208  void LoadGlobalSection(support::Stream* strm);
213  void LoadMemoryScopeSection(support::Stream* strm);
218  void LoadConstantSection(support::Stream* strm);
223  void LoadCodeSection(support::Stream* strm);
228  void LoadPackedFuncNames(support::Stream* strm);
229 };
230 
231 } // namespace vm
232 } // namespace runtime
233 } // namespace tvm
234 
235 namespace tvm {
236 namespace support {
237 template <>
239  static constexpr bool enabled = true;
240  static void Write(Stream* strm, const ::tvm::runtime::vm::VMFuncInfo& data) { data.Save(strm); }
241  static bool Read(Stream* strm, ::tvm::runtime::vm::VMFuncInfo* data) { return data->Load(strm); }
242 };
243 } // namespace support
244 } // namespace tvm
245 #endif // TVM_RUNTIME_VM_EXECUTABLE_H_
The bytecode for the virtual machine.
The virtual machine executable emitted by the VM compiler.
Definition: executable.h:90
void WriteToFile(const ffi::String &file_name, const ffi::String &format) const final
Write the VMExecutable to the provided path as a file containing its serialized content.
ffi::Module VMLoadExecutable() const
Create a Relax virtual machine and load this as the executable.
static ffi::Module LoadFromFile(const ffi::String &file_name)
Load VMExecutable from the file.
TVM_MODULE_VTABLE_BEGIN("relax.VMExecutable")
Instruction GetInstruction(Index i) const
Get the i-th instruction from the executable.
std::vector< Index > instr_offset
The offset of instruction.
Definition: executable.h:163
ffi::Module VMProfilerLoadExecutable() const
Create a Relax virtual machine with profiler and load this as the executable.
TVM_MODULE_VTABLE_ENTRY("as_python", &VMExecutable::AsPython)
void SetInstructionData(Index i, Index j, ExecWord val)
Set j-th byte data of i-th instruction to val.
std::unordered_map< Index, std::string > memory_scopes
The VDevice memory scopes.
Definition: executable.h:161
std::vector< ffi::Any > constants
The global constant pool.
Definition: executable.h:159
ffi::String AsText() const
Print the instructions as text format.
std::unordered_map< std::string, Index > func_map
A map from globals (as strings) to their index in the function map.
Definition: executable.h:157
TVM_MODULE_VTABLE_ENTRY("stats", &VMExecutable::Stats)
TVM_MODULE_VTABLE_ENTRY("as_text", &VMExecutable::AsText)
ffi::Bytes SaveToBytes() const final
Write the VMExecutable to the binary stream in serialized form.
bool HasFunction(const ffi::String &name) const
Check if the VMExecutable contains a specific function.
TVM_MODULE_VTABLE_ENTRY("has_function", &VMExecutable::HasFunction)
ffi::String AsPython() const
Print the instructions as python program.
static ffi::Module LoadFromBytes(const ffi::Bytes &bytes)
Load VMExecutable from the binary stream in serialized form.
std::vector< ExecWord > instr_data
The byte data of instruction.
Definition: executable.h:165
std::vector< VMFuncInfo > func_table
The virtual machine's function table.
Definition: executable.h:155
int GetPropertyMask() const final
Get the property of the runtime module .
Definition: executable.h:93
TVM_MODULE_VTABLE_ENTRY("vm_load_executable", &VMExecutable::VMLoadExecutable)
std::string Stats() const
Print the detailed statistics of the given code, i.e. number of globals and constants,...
TVM_MODULE_VTABLE_ENTRY("vm_profiler_load_executable", &VMExecutable::VMProfilerLoadExecutable)
Abstract binary stream for serialization.
Definition: io.h:57
Binary stream I/O interface.
Definition: builtin.h:29
ExecWord Index
An alias for the integer type used ubiquitously in the VM.
Definition: bytecode.h:48
int64_t ExecWord
The storage type for the bytecode in the VM.
Definition: bytecode.h:40
An object that builds and maintains block scope and StmtSref mapping for Dependence analysis.
Definition: analyzer.h:37
A managed object in the TVM runtime.
Runtime container of the functions generated by TVM, This is used to support dynamically link,...
Serializer<T> specializations for tvm::support::Stream.
A single virtual machine instruction.
Definition: bytecode.h:72
Information entry in executable function table.
Definition: executable.h:54
Index register_file_size
The register file size of the function.
Definition: executable.h:75
Index num_args
The number of arguments of the function.
Definition: executable.h:73
FuncKind kind
The kind of function.
Definition: executable.h:65
std::vector< std::string > param_names
The function parameter names.
Definition: executable.h:77
Index start_instr
The start instruction index of the function.
Definition: executable.h:69
FuncKind
kind of the function.
Definition: executable.h:56
@ kPackedFunc
system level packed function
std::string name
The function's name, global symbol.
Definition: executable.h:67
bool Load(support::Stream *reader)
void Save(support::Stream *writer) const
Index end_instr
The end instruction index of the function.
Definition: executable.h:71
static void Write(Stream *strm, const ::tvm::runtime::vm::VMFuncInfo &data)
Definition: executable.h:240
static bool Read(Stream *strm, ::tvm::runtime::vm::VMFuncInfo *data)
Definition: executable.h:241
Primary Serializer template. Specialize for each serializable type.
Definition: io.h:42
static constexpr bool enabled
Definition: io.h:43