以太坊源码分析--交易的执行

ethereum.jpeg

以太坊是一个运行智能合约的平台,被称作可编程的区块链,允许用户将编写的智能合约部署在区块链上运行。而运行合约的主体便是以太坊虚拟机(EVM)

区块 交易 合约

区块链由区块(Block)组成,而区块中打包一定数量的交易(Transaction),交易可能是一个单纯的转账操作,也可能是调用一个智能合约,无论是哪一种,EVM在运行(excute)交易时都会创建合约(Contract)

外部账户 合约账户

以太坊中的账户有两类

  • 外部账户 由账户持有人的私钥控制的真实存在的账户
  • 合约账户 由合约代码控制,保存着合约代码
    一笔交易包含发送方(sender) 接收方(recipient) 和数额(value) 三要素。发送方将一定数额的ETH转移到接收方的账户,这里的转账交易中,接收方是外部账户。而在调用智能合约的交易时,接收方是合约账户。
gas

如同现实中的税费一样,交易也需要将支付少量的费用,称为gas,费用支付给矿工,这可以激励矿工打包交易到区块,也使得区块链避免恶意运算攻击。gas由交易的发送者使用ETH购买,在执行交易的每一步都会消耗gas,如果gas用完了,交易状态会被回退,但消耗的gas不会返还。

交易执行

以太坊是一个基于交易的状态机,一笔交易可以使以太坊从一个状态(state)切换到另一个状态,即交易的执行伴随着状态的改变。
交易执行的入口在 core/state_processor.goProcess()方法,下面是该方法的轮廓

func (p *StateProcessor) Process(block *types.Block, statedb *state.StateDB, cfg vm.Config) (types.Receipts,[]*types.Log,uint64,error) {
    ......
    var (
        usedGas = new(uint) 
        header = block.Header()
        gp = new(GasPool).AddGas(block.GasLimit())
    )
    for i, tx := range block.Transactions() {
        receipt, _, _ := ApplyTransaction(p.config, p.bc, nil, gp, statedb, header, tx, usedGas, cfg)
        receipts = append(receipts, receipt)
        allLogs = append(allLogs, receipt.Logs...)        
    }
    p.engine.Finalize(p.bc. header, statedb, block.Transactions(), block.Uncles(), receipts)
    ......
}

Process()方法对block中的每个交易tx调用ApplyTransaction()来执行交易,入参state存储了各个账户的信息,如账户余额、合约代码(仅对合约账户而言),我们姑且将其理解为一个内存中的数据库。其中每个账户以state object表示

ApplyTransaction()方法完成以下功能

  • 调用AsMessage()用tx生成core.Message 其实现就是将tx中的一些字段存入Message以及从tx的数字签名中反解出txsender,重点关注其中的data 字段:对普通转账交易,该字段为空,对创建一个新的合约,该字段为新的合约的代码,对执行一个已经在区块链上存在的合约,该参数为合约代码的输入参数
  • 调用NewEVMContext()创建一个EVM运行上下文vm.Context。注意其中的Coinbase字段填入的矿工的地址,Transfer是具体的转账方法,其实就是操作senderrecipient的账户余额
  • 调用NewEVM()创建一个虚拟机运行环境EVM,它主要作用是汇集之前的信息以及创建一个代码解释器(Interpreter),这个解释器之后会用来解释并执行合约代码
  • 接下来就是调用ApplyMessage()将以上的信息作用在当前以太坊状态上,使得状态机发生状态变换

ApplyMessage()的顶层比较简单,它创建一个StateTransition结构并调用其TransitionDb()方法,StateTransition表示一次以太访的状态转移 其定义如下:

type StateTransition struct {
    gp  *GasPool
    msg Message
    gas  uint64
    gasPrice  *big,Int
    initialGas   uint64
    value   *big.Int
    data    []byte
    state   vm.StateDB
    evm    *vm.EVM
}

其中的字段都是之前ApplyTransaction()方法中创建的结构得到。一次状态转移包括以下流程

  • nonce检查:交易的nonce值用于标识这是sender发起的交易的序号,该值总是等于上一笔交易的nonce值递增1,当我们检查发现当前Apply的这笔交易与该sender期待的nonce不一致时,就会拒绝此次状态转换
  • gas预购: sender 预购此次转换需要的gas,简单说来就是扣除sender账户的ETH(反映在stateDB),扣除的数量却决于交易设定的gasPricegasLimit的乘积,单位是gwei
  • 合约账户创建: 如果交易的recipient为空的话,标识这笔交易需要创建一个合约,那么就创建一个合约账户(state object)
  • 价值转移:每笔交易都伴随着价值转移,即ETHsender账户发送到receipt账户,如果创建了合约,还要执行合约代码

TransitionDB()完成这样的状态转换,其实现流程如下:

TransitionDb.png

最终由交易的receipt是否为空决定是使用evm.Create()还是evm.Call(),无论是哪种,最终都是创建一个Contract结构,然后调用run()方法运行之。注意,即使是外部账户之间普通的转账也会调用Call()run(),只是由于receipt上没有代码,运行会很快结束而已。run()最终调用InterpreterRun()方法。

前面提到过,在调用NewEVM()时创建了一个解释器(Interpreter)

func NewInterpreter(evm *EVM,cfg Config)  *Interpreter {
     switch {
         case evm.ChainConfig().IsConstantinople(evm.BlockNumber):
             cfg.JumpTable = constantinopleInstructionSet
         case evm.ChainConfig().IsByzantium(evm.BlockNumber):
             cfg.JumpTable = byzantiumInstructionSet
         case evm.ChainConfig().IsHomestead(evm.BlockNumber):
             cfg.JumpTable = homesteadInstructionSet
         default:
             cfg.JumpTable = fromtierInstructionSet  
     }
     return &Interpreter{
         evm:      evm,
         cfg:      cfg,
         ......
     }
}

根据当前Block的高度,计算出它处于以太坊演进的阶段,得到该阶段支持的指令集(InstructionSet),新的阶段在兼容老的阶段的所有指令前提下,再增加了独特的新指令。最终存储在Interpretercfg字段

合约代码本质上上是由Solidity语言编译后形成的EVM字节码,字节码中的操作也正是指令集中定义的指令

再回到Run()方法,其大概流程如下

Run.png

EVM逐字节的解析合约代码并调用excute()方法运行,直到运行完成或者gas提前耗尽。

关于具体的EVM指令解释方式和虚拟机内部内存等内部实现,
参阅本系列相关

小结

  1. 在以太坊中,交易的执行是由EVM完成的,网络中的所有全节点都会去执行每一笔交易(这样所有人的状态才可以保持一致)
  2. 交易分为普通转账和执行(创建)智能合约,两者都由sender付费,后者相比前者,EVM要额外执行合约的字节码
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,732评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,496评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,264评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,807评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,806评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,675评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,029评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,683评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 41,704评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,666评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,773评论 1 332
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,413评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,016评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,978评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,204评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,083评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,503评论 2 343

推荐阅读更多精彩内容