wasm虚拟机相关接口定义实现

执行流程

controller::push_transaction()  // 事务

-> transaction_context::exec()  // 事务

-> transaction_context::dispatch_action() // 通过便利transaction中的各个action来分发执行

-> apply_context::exec() // action

-> apply_context::exec_one() // action 执行具体的智能合约

-> controller::get_wasm_interface()->apply() // 进入虚拟机开始执行对应智能合约

-> wasm_interface_impl::get_instantiated_module()->apply() // 加载智能合约并执行

-> wavm_instantiated_module::apply() // 具体模块开始接收调用

-> wavm_instantiated_module::call() // 开始执行具体函数

-> Runtime::invokeFunction() // 进入到wasm运行时库开始执行具体函数

接口定义

  • wasm_interface_impl wasm虚拟机实现类

1.加载模块实现

std::unique_ptr<wasm_instantiated_module_interface> &get_instantiated_module(const digest_type &code_id,const shared_string &code,transaction_context &trx_context)

{

...

IR::Module module;

try

{

// 将模块序列化到内存并加载模块

Serialization::MemoryInputStream stream((const U8 *)code.data(), code.size());

WASM::serialize(stream, module);

module.userSections.clear();

}

catch(...){

...

}

...

/**

* 这里是注入拦截代码,用于拦截计算相应cpu和内存数据

*/

wasm_injections::wasm_binary_injection injector(module); //如下

injector.inject();

...

}

  • wasm_eosio_injection wasm虚拟机注入
    • 默认通过内存计算
    • using standard_module_injectors = module_injectors<max_memory_injection_visitor>
  • max_memory_injection_visitor 最大内存拦截

监控模块适用内存数

void max_memory_injection_visitor::inject( Module& m ) {

if(m.memories.defs.size() && m.memories.defs[0].type.size.max > maximum_linear_memory/wasm_page_size)

m.memories.defs[0].type.size.max = maximum_linear_memory/wasm_page_size;

}

2.执行智能合约

void wasm_interface::apply(const digest_type &code_id, const shared_string &code, apply_context &context)

{

// 智能合约虚拟机加载模块

// 加载模块时会通过如下的injection来注入监控

// 默认:eos监控最大使用内存:max_memory_injection_visitor

// 通过apply来执行相应智能合约

my->get_instantiated_module(code_id, code, context.trx_context)->apply(context);

}

  • wasm_instantiated_module_interface wasm模块基类
  • wavm_instantiated_module wavm模块实现类
  • wavm_instantiated_module wavm模块实现类

// 函数执行

void apply(apply_context& context) override {

// 默认3个参数

// receiver/account/name

// 其他参数通过context获取

vector<Value> args = {Value(uint64_t(context.receiver)),

Value(uint64_t(context.act.account)),

Value(uint64_t(context.act.name))};

call("apply", args, context);

}

void call(const string &entry_point, const vector <Value> &args, apply_context &context) {

try {

FunctionInstance* call = asFunctionNullable(getInstanceExport(_instance,entry_point));

if( !call )

return;

the_running_instance_context.memory = default_mem;

the_running_instance_context.apply_ctx = &context;

// 加载instance

resetGlobalInstances(_instance);

// 调用初始化函数

runInstanceStartFunc(_instance);

// 这里就调用到了wasm runtime来调用智能合约

Runtime::invokeFunction(call,args);

}

}

  • wabt_instantiated_module wabt模块

整体实现过程同wavm,局部有差异

虚拟机启动

  • controller_impl 控制器实现类

在controller构造函数中构建wasm_interface对象

controller_impl( const controller::config& cfg, controller& s  )

...略...

wasmif( cfg.wasm_runtime ), //根据配置来构建wasm_interface对象

...略...

eos wasm虚拟机相关接口定义实现的更多相关文章

  1. Spring中Aware相关接口原理

    Spring中提供一些Aware相关接口,像是BeanFactoryAware. ApplicationContextAware.ResourceLoaderAware.ServletContextA ...

  2. Servlet相关接口和Servlet的生命周期

    http://www.cnblogs.com/luotaoyeah/p/3860292.html Servlet相关接口和Servlet的生命周期 创建一个Servlet类最直接的方式是实现javax ...

  3. USB 3.0连接器引脚、接口定义及封装尺寸

    上篇整理了USB 2.0A型.B型和Mini USB接口定义及封装,本文补充USB 3.0接口定义,USB 3.0采用的双总线结构,在速率上已经达到4.8Gbps,所以称为Super speed,在U ...

  4. USB 2.0 A型、B型、Mini和Micro接口定义及封装

    USB全称Universal Serial Bus(通用串行总线),目前USB 2.0接口分为四种类型A型.B型.Mini型还有后来补充的Micro型接口,每种接口都分插头和插座两个部分,Micro还 ...

  5. 数据结构 链式哈希表(Hash Table)的接口定义与实现分析(完整代码)

    链式哈希表的接口定义 关于哈希表与链式哈希表的描述可以参阅:http://www.cnblogs.com/idreamo/p/7990860.html 链式哈希表的操作与属性有:初始化.销毁.插入元素 ...

  6. 开地址哈希表(Hash Table)的接口定义与实现分析

    开地址哈希函数的接口定义 基本的操作包括:初始化开地址哈希表.销毁开地址哈希表.插入元素.删除元素.查找元素.获取元素个数. 各种操作的定义如下: ohtbl_init int ohtbl_init ...

  7. 【Android 应用开发】Android 网络编程 API笔记 - java.net 包相关 接口 api

    Android 网络编程相关的包 : 9 包, 20 接口, 103 类, 6 枚举, 14异常; -- Java包 : java.net 包 (6接口, 34类, 2枚举, 12异常); -- An ...

  8. 【Spring源码分析系列】ApplicationContext 相关接口架构分析

    [原创文章,转载请注明出处][本文地址]http://www.cnblogs.com/zffenger/p/5813470.html 在使用Spring的时候,我们经常需要先得到一个Applicati ...

  9. Android 网络编程 API笔记 - java.net 包相关 接口 api

    Android 网络编程相关的包 : 9 包, 20 接口, 103 类, 6 枚举, 14异常; -- Java包 : java.net 包 (6接口, 34类, 2枚举, 12异常); -- An ...

随机推荐

  1. 【Single Num II】cpp

    题目: Given an array of integers, every element appears three times except for one. Find that single o ...

  2. Leetcode 645.最长数对链

    最长数对链 给出 n 个数对. 在每一个数对中,第一个数字总是比第二个数字小. 现在,我们定义一种跟随关系,当且仅当 b < c 时,数对(c, d) 才可以跟在 (a, b) 后面.我们用这种 ...

  3. [oldboy-django][2深入django]rest-framework教程

    # rest-framework教程 - settings.py INSTALL-APPS = [ 'snippets', # app 'rest-framework', ] - 创建model # ...

  4. 课堂笔记III

  5. 我的第一个python程序——猜数字

    #Author:xiaoxiao age = 22 #标准正确答案 counter = 0 #计数器 for i in range(10): #循环10次 if counter < 3: gue ...

  6. "二进制" 转化为 "十六进制

    //"二进制" 转化为 "十六进制" void To_string(uint8 *dest,char * src,uint8 length) { uint8 * ...

  7. 【距离GDOI:141天】 滚入数位DP的坑

    作为博客园的第一篇...我都不知道要写什么了 ... 其实今天很没状态,就当吐槽吧... 嗯,被黄神带去写treap+可持久化线段树,然后在可持久化的删除上面跪了两天,真的是一跪不起.我已经连续多久没 ...

  8. Sabota?

    Sabota? 题目描述 某个公司有n个人, 上下级关系构成了一个有根树.其中有个人是叛徒(这个人不知道是谁).对于一个人, 如果他下属(直接或者间接, 不包括他自己)中叛徒占的比例超过x,那么这个人 ...

  9. jspspy database help

    .

  10. 【转】 #define用法详解

    #define用法详解   1.#define 的作用 在C或C++语言源程序中允许用一个标识符来表示一个字符串,称为“宏”.被定义为“宏”的标识符称为“宏名”.在编译预处理时,对程序中所有出现的“宏 ...