文档章节

Neo 虚拟机

NEO-FANS
 NEO-FANS
发布于 01/21 18:53
字数 911
阅读 2
收藏 0

上一篇《Neo 编译器》中说明了Neo编译器是怎么把CIL转成neo虚拟机的opcode,那么vm虚拟机又是怎么处理这些代码的,这篇文章我们看一下虚拟机的代码。

框架

虚拟机所处的位置

 

在框架图中,我们可以看出Virtual Machine有以下作用

  1. 读取Opcode(smart contract),在Execution Engine中执行
  2. Execution Engine可以进行逻辑运算
  3. Interop Service可以调用External Data
  4. 系统调用(OP_SYSCALL)可以访问区块链账本的信息

下面我们先看一下虚拟机如何读取Opcode。

VM对象关系

下面展示的图不是UML, UML太麻烦,还是脑图比较符合思维逻辑的发展。

 

关键的几个对象

  1. Execution Engine:执行引擎
  2. Execution Context:执行上下文
  3. Stack Item:堆栈的一条数据
  4. Crypto:C#的加密库

执行引擎

执行引擎

  1. IScriptTable里面存贮了AppCall命令可以调用的其他contract的代码,这一块需要研究一下区块链的实现,这个以后再仔细研究。
  2. InteropService专门用来响应SYSCALL,具体有哪些是系统调用,用来干什么的,后面通过例子再来说明。
  3. InvocationStack是调用栈,传入参数,调用其他合约都会有一个新的调用栈
  4. EvaluationStack是计算栈,用来执行操作
  5. AltStack是备用栈,计算栈算出的中间结果可以保存在备用栈

执行上下文

执行上下文

 

每个变量都蛮好理解的,重点是下面看看怎么用的。

vm执行流程

vm代码执行流程

  1. 构造,此时可以传入script container,script table,后面我们看看在区块链上这些都是从哪里来的,这里只专注于vm的执行流程,暂且不深究了。
    2.加载.avm,avm是编译器编译出来的一串数字,通过engine.LoadScript可以加载。
  2. execute开始执行, 下面看一下代码
   public void Execute()
        {
            State &= ~VMState.BREAK;
            while (!State.HasFlag(VMState.HALT) && !State.HasFlag(VMState.FAULT) && !State.HasFlag(VMState.BREAK))
                StepInto();
        }
 public void StepInto()
        {
            if (InvocationStack.Count == 0) State |= VMState.HALT;
            if (State.HasFlag(VMState.HALT) || State.HasFlag(VMState.FAULT)) return;
            OpCode opcode = CurrentContext.InstructionPointer >= CurrentContext.Script.Length ? OpCode.RET : (OpCode)CurrentContext.OpReader.ReadByte();
            try
            {
                ExecuteOp(opcode, CurrentContext);
            }
            catch
            {
                State |= VMState.FAULT;
            }
        }

看一下这行代码,OpCode opcode = CurrentContext.InstructionPointer >= CurrentContext.Script.Length ? OpCode.RET : (OpCode)CurrentContext.OpReader.ReadByte();

  1. 代码执行完了以后,插入OpCode.RET
  2. 如果不是RET,则read一个字节的opcode

ExecuteOp函数就是具体的执行OpCode的语义,我们通过一个例子来说明

具体的一个例子

还是上次的那个代码

using Neo.SmartContract.Framework;
using Neo.SmartContract.Framework.Services.Neo;

public class Sum : SmartContract
{
    public static int Main(int a, int b)
    {
        return a + b;
    }
}

测试虚拟机的代码

using System;
using System.IO;
using System.Linq;
using Neo;
using Neo.VM;
using Neo.Cryptography;

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            var engine = new ExecutionEngine(null, Crypto.Default);
            engine.LoadScript(File.ReadAllBytes(@"C:\……\Test1.avm")); 

            using (ScriptBuilder sb = new ScriptBuilder())
            {
                sb.EmitPush(4); // 对应形参 b
                sb.EmitPush(3); // 对应形参 a
                engine.LoadScript(sb.ToArray());
            }

            engine.Execute(); // 开始执行

            var result = engine.EvaluationStack.Peek().GetBigInteger(); // 在这里设置返回值
            Console.WriteLine($"执行结果 {result}");
            Console.ReadLine();
        }
    }
}

执行的具体过程

生成的代码太长了,需要有点耐心才能看完,如果图片不清晰,可以去代码仓库下载pdf

具体的执行过程

 

总结

文章只是过了一下一个简单的代码,后面我们需要研究一下系统调用和访问外部存贮,智能合约之间互相调用的情况。

 

进技术群交流:795681763

本文转载自:https://www.jianshu.com/p/b7a50b7e0db0

共有 人打赏支持
NEO-FANS
粉丝 0
博文 47
码字总数 3396
作品 1
成都
私信 提问
基于NEO的私链(Private Blockchain)或者联盟链的搭建

1.准备工作 1.NEO-GUI 2.NEO-CLI 3..NET Core Runtime (不能是2.x版本,官方建议是1.12,实际上我用1.14也是没有问题的) 4.四台windows操作系统的虚拟机(本文是基于AWS的,理论上本地跑虚...

NEO-FANS
2018/12/24
0
0
基于NEO的私链(Private Blockchain)

1.准备工作 1.NEO-GUI 2.NEO-CLI 3..NET Core Runtime (不能是2.x版本,官方建议是1.12,实际上我用1.14也是没有问题的) 4.四台windows操作系统的虚拟机(本文是基于AWS的,理论上本地跑虚...

NEO-FANS
2018/12/12
0
0
Mac上用docker搭建Neo私链并调试

用虚拟机搭建私链的问题 上一篇Neo私链中使用四台阿里云的windows搭建了私链,看到了网络建立的过程,但这样子有很多问题。 阿里云跑了一天花了100块,费钱。 手动搭建,下次又要重来。 我用...

NEO-FANS
01/10
0
0
NEO区块链编程日-用python来写智能合约

活动信息: 主题:NEO区块链编程日-用python来写智能合约 时间:2018年5月26日13:00—18:30 地点:上海市杨浦区政学路77号 INNOSPACE+ 1楼 参与成员:NEO技术爱好者、区块链技术爱好者、p...

NEO爱好者
2018/05/16
0
0
区块链安全:实现公链双花攻击的多种方法

针对 EOS、NEO 等大公链平台的多个双花攻击漏洞的案例,360 区块链实验室总结出了多种造成数字货币双花攻击的多种原因,并提出了一种通用的安全减缓措施。各种大公链项目实际上都产生过能够产...

HiBlock
2018/11/28
0
0

没有更多内容

加载失败,请刷新页面

加载更多

阿里的Java岗面试到底有多难?这些常问技术原理你能答出多少!

阿里面试喜欢问哪些? 阿里的面试特别喜欢面试技术原理,特别是 数据结构 多线程并发 NIO 异步消息框架 分布式相关的缓存算法等 JVM的加裁过程和原理 垃圾回收算法 以及具体使用过的框架,会...

java知识分子
18分钟前
2
0
hibernate入门

下载和导包 下载hibernate 导入数据库驱动包 导入hibernate必要包 lib/required 导入日志记录的包 创建数据库和数据库实体 package com.company.domain;public class Customer { ...

gwl_
24分钟前
1
0
快速体验 Sentinel 集群限流功能,只需简单几步

️ Pic by Alibaba Tech on Facebook 集群限流 可以限制某个资源调用在集群内的总 QPS,并且可以解决单机流量不均导致总的流控效果不佳的问题,是保障服务稳定性的利器。 Sentinel 从 1.4.0 ...

阿里云云栖社区
24分钟前
1
0
元数据注册系统:命名和标识原则

名词定义 对象类术语 对象类是概念、抽象或客观事物的集舍,它们具有明确的边界和含义,且其特性和行为都遵循相同的规则。一个对象类术语可以是管理项概念域、数据元概念和数据元的名称的一部...

十动然拒
33分钟前
1
0
抽丝剥茧:生产环境中负载均衡产品DPDK问题的解决

ULB4是UCloud自主研发的基于DPDK的高可用四层负载均衡产品,转发能力接近线速;DPDK则是一个高性能的开源数据面开发套件。ULB4作为用户应用的全局入口,在大流量多元化场景下保证用户业务的持...

UCloudTech
34分钟前
1
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部