EVM有一个基于栈的架构，在一个栈中保存了所有内存数值。EVM的数据处理单位被定义为256位的“字”（这主要是为了方便处理哈希运算和椭圆曲线运算操作）
这里所说的内存数值是指那些EVM字节码运行所需要的输入、输出参数数据和智能合约程序运行中所需要的局部变量等数据，而不是指下文中所提到的“内存”数据；下文中的“内存”是一个与栈共同存在的、独立的临时存储空间。
以太坊EVM的架构和执行上下文
虚拟机引擎
目前市面上比较主流的是BTC脚本引擎和以太坊虚拟机（Ethereum Virtual Machine, EVM）。
- BTC事务由一套脚本引擎（Script）处理，Script是一种类Forth的、基于栈式模型的、无状态的、非图灵完备的语言。
- EVM基于Account模型将智能合约代码以对外完全隔离的方式内部运行，实现了图灵完备的智能合约体系。
- EVM类似于Java虚拟机（JVM），编译后基于字节码运行，开发时则可以使用高级语言实现，编译器会自动转化为字节码。
- EVM。以太坊虚拟机是以太坊中智能合约的运行环境，并且是一个沙盒，与外界隔离。
- 智能合约代码在EVM内部运行时，是不能进行网络操作、文件I/O或执行其他进程的。智能合约之间也只能进行有限的调用，这样保证了合约运行的独立性，并尽可能提高了运行时的安全性。
图灵完备
图灵完备的计算环境——以太坊虚拟机（EVM）。这就意味着在EVM上可以做所有的能想得到计算，包括无限循环。EVM指令包括一个JUMP的跳转指令，可让程序跳回前面的程序代码，也可以像条件判断语句那样做条件跳转，当满足一定条件时将程序跳转到另一个地方执行。另外，一个合约可以调用其他合约，这提供了潜在的递归调用的功能。
以太坊虚拟机
EVM模块主要分为三大模块：编译合约模块、Ledger模块和EVM执行模块。
- 编译合约模块
- 主要是对底层Solc编译器进行一层封装，提供RPC接口给外部服务，对用Solidity编写的智能合约进行编译。编译后将会返回二进制码和相应的合约ABI, ABI可以理解为合约的手册
- Ledger模块
- Ledger模块主要是对区块链Account系统进行修改和更新，Account一共分为两种，分别是普通Account(EOA)和智能合约Account，调用方如果知道合约Account地址则可以调用该合约，Account的每一次修改都会被持久化到区块链中。
- EVM执行模块
- EVM执行模块作为核心模块，主要功能是对事务中的智能合约代码进行解析和执行，一般分为创建合约和调用合约两部分。
- 支持普通的字节码执行和JIT模式的指令执行
指令集
EVM指令由很多标准机器码指令组成，包含：
- 算术和位运算逻辑操作
- 执行上下文查询
- 栈、内存和存储访问
- 处理流程操作
- 日志、跳转和其他操作
EVM模块执行流程
EVM执行事务的流程如图所示
(1) EVM接收到Transaction信息，然后判断Transaction类型是部署合约还是执行合约。如果是部署合约，执行指令集，来存储合约地址和编译后的代码；如果是执行合约或是调用合约，则使用EVM来执行输入指令集。
(2) 执行上一条指令集之后，判断EVM是否停机，如果停机则判断是否正常停机，正常停机则更新合约状态到区块链，否则回滚合约状态。如果不停机则回到上一步(1)进行判断。
(3) 执行完的合约会返回一个执行结果，EVM会将结果存储在Receipt回执中，调用者可以通过Transaction的哈希来查询结果。
EVM代码的正式执行模型
每轮执行时，通过调出代码的第pc（程序计数器）个字节，每个指令如何影响元组都有定义。例如，ADD将两个元素出栈并将它们的和入栈，将Gas减1并将pc加1; stack将顶部的两个元素出栈，并将第2个元素插入由第1个元素定义的合约存储位置，同样减少最多200的Gas值，并将pc加1。虽然有许多方法通过即时编译去优化以太坊，但以太坊的基础性的实施可以用几百行代码实现。
EVM是基于栈的虚拟机
以太坊合约的代码是使用低级的基于堆栈的字节码的语言写成的，被称为“以太坊虚拟机代码”或者“EVM代码”。代码由一系列字节构成，每一个字节代表一种操作。一般而言，代码执行是无限循环，程序计数器每增加一（初始值为零）就执行一次操作，直到代码执行完毕或者遇到错误、STOP或者RETURN指令。
EVM不是基于寄存器的，而是基于栈的虚拟机。因此所有的计算都在一个称为栈的区域内执行。栈最大有1024个元素，每个元素有256位。对栈的访问只限于其顶端，允许复制最顶端的16个元素中的一个到栈顶，或者是交换栈顶元素和下面16个元素中的一个。所有其他操作都只能取最顶的一个或几个元素，并把结果压在栈顶。当然可以把栈里的元素放到存储或者主存中。但是无法只访问栈里指定深度的那个元素，在那之前必须把指定深度之上的所有元素都从栈中移除才行。
EVM的指令集被刻意保持在最小规模，以尽可能避免可能导致共识问题的错误。所有的指令都是针对256位这个基本的数据单位进行的操作，具备常用的算术、位、逻辑和比较操作，也可以进行条件和无条件跳转。
执行指令部分的Gas
虚拟机（EVM）执行指令部分的Gas计算是最为复杂的。虚拟机（EVM）事务执行期间的所有操作，包括数据库读写、消息发送以及虚拟机采取的每个计算步骤都要消耗一定量的燃料，并且在不同参数和缓存影响的情况下都会对应有不同的燃料标价。图2-15是取自以太坊官方黄皮书中的非指令部分的燃料标价示例图。
黄皮书链接：https://ethereum.github.io/yellowpaper/paper.pdf文章来源：https://www.toymoban.com/news/detail-781075.html
高级语言
以太坊的高级语言最后会编译成在EVM中执行的EVM字节码（bytecode），部署在以太坊区块链上。以太坊提供3种编程语言：Solidity、Serpent和LLL。文章来源地址https://www.toymoban.com/news/detail-781075.html
-
往期精彩回顾:
- 区块链知识系列
- 密码学系列
- 零知识证明系列
- 共识系列
- 调研系列
- BTC系列
- 以太坊系列
- EOS系列
- Filecoin系列
- 联盟链系列
- Fabric系列
- 智能合约系列
- Token系列
到了这里，关于区块链知识系列 - 系统学习EVM(一)-架构与执行流程的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！
