深入以太坊虚拟机(EVM)源码,理解智能合约的执行引擎

Interpreter (解释器)： EVM 本身并不直接执行字节码，而是将任务委托给 Interpreter，解释器负责读取 EVM 字节码，并根据指令集操作堆栈、内存和存储，常见的解释器有 Interpreter（基于纯 Go 实现）和 native（可能使用汇编优化）等。

// 伪代码示意
type Interpreter struct {
    evm      *EVM
    table    [256]operation // 指令操作码表
    // ... 其他字段，如 gas 表、预编译合约地址等
}

operation (操作码处理函数)： EVM 字节码由一系列操作码（Opcode）组成，如 ADD（加法）、MLOAD（从内存加载）、SSTORE（存储到合约存储）等。operation 类型是一个函数类型，每个操作码都对应一个处理函数，解释器通过查表找到当前操作码对应的 operation 函数并执行。

// 伪代码示意
type operation func(pc uint64, op OpCode, evm *EVM, contract *Contract, memory *Memory, stack *Stack) (memorySize uint64, err error)
// ADD 操作码的处理函数
func opAdd(pc uint64, op OpCode, evm *EVM, contract *Contract, memory *Memory, stack *Stack) (uint64, error) {
    x, y := stack.pop(), stack.pop()
    stack.push(x + y)
    return 0, nil
}

Contract (合约实例)： 代表一个正在执行的合约，包含了合约的地址、代码、调用堆栈（用于处理合约间的调用）、关联的账户、剩余 gas 等信息。

// 伪代码示意
type Contract struct {
    Address     common.Address
    Caller      common.Address
    Value       *big.Int
    Code        []byte
    CodeHash    common.Hash
    Input       []byte
    StateDB     StateDB
    Gas         uint64
    gasPrice    *big.Int
    // ... 其他字段
}

Stack (堆栈)： EVM 是一个基于堆栈的虚拟机，堆栈用于操作数的临时存储，EVM 堆栈的最大深度为 1024。Stack 类型实现了对堆栈的基本操作，如 push、pop、peek 等。

// 伪代码示意
type Stack struct {
    data []uint256.Int // 通常使用大整数表示堆栈元素
}

Memory (内存)： EVM 提供一个可读写的线性内存空间，用于存储中间计算结果，内存是按需扩展的，扩展时会消耗 gas。

// 伪代码示意
type Memory struct {
    store       []byte
    lastGasCost uint64
}

Storage (存储)： 每个智能合约都拥有自己的持久化存储空间，以键值对（key-value）的形式存储在区块链的状态中。Storage 的操作（如 SSTORE, SLOAD）会直接修改 StateDB，并且消耗较多的 gas。