Go-ethereum 源码解析之 miner/worker.go (下)
Appendix D. 详细批注
1. const
- resultQueueSize: 指用于监听验证结果的通道(worker.resultCh)的缓存大小。这里的验证结果是已经被签名了的区块。
- txChanSize: 指用于监听事件 core.NewTxsEvent 的通道(worker.txsCh)的缓存大小。这里的缓存大小引用自事务池的大小。其中,事件 core.NewTxsEvent 是事务列表( []types.Transaction)的封装器。
- chainHeadChanSize: 指用于监听事件 core.ChainHeadEvent 的通道(worker.chainHeadCh)的缓存大小。事件 core.ChainHeadEvent 是区块(types.Block)的封装器。
- chainSideChanSize: 指用于监听事件 core.ChainSideEvent 的通道(worker.chainSideCh)的缓存大小。事件 core.ChainSideEvent 是区块(types.Block)的封装器。
- resubmitAdjustChanSize: 指用于重新提交间隔调整的通道(worker.resubmitAdjustCh)的缓存大小。 缓存的消息结构为 intervalAdjust,用于描述下一次提交间隔的调整因数。
- miningLogAtDepth: 指记录成功挖矿时需要达到的确认数。是 miner.unconfirmedBlocks 的深度 。即本地节点挖出的最新区块如果需要得到整个网络的确认,需要整个网络再挖出 miningLogAtDepth 个区块。举个例子:本地节点挖出了编号为 1 的区块,需要等到整个网络中某个节点(也可以是本地节点)挖出编号为 8 的区块(8 = 1 + miningLogAtDepth, miningLogAtDepth = 7)之后,则编号为 1 的区块就成为了经典链的一部分。
- minRecommitInterval: 指使用任何新到达的事务重新创建挖矿区块的最小时间间隔。当用户设定的重新提交间隔太小时进行修正。
- maxRecommitInterval: 指使用任何新到达的事务重新创建挖矿区块的最大时间间隔。当用户设定的重新提交间隔太大时进行修正。
- intervalAdjustRatio: 指单个间隔调整对验证工作重新提交间隔的影响因子。与参数 intervalAdjustBias 一起决定下一次提交间隔。
- intervalAdjustBias: 指在新的重新提交间隔计算期间应用intervalAdjustBias,有利于增加上限或减少下限,以便可以访问限制。与参数 intervalAdjustRatio 一起决定下一次提交间隔。
- staleThreshold: 指可接受的旧区块的最大深度。注意,目前,这个值与 miningLogAtDepth 都是 7,且表达的意思也基本差不多,是不是有一定的内存联系。
2. type environment struct
数据结构 environment 描述了 worker 的当前环境,并且包含所有的当前状态信息。
最主要的状态信息有:签名者(即本地节点的矿工)、状态树(主要是记录账户余额等状态?)、缓存的祖先区块、缓存的叔区块、当前周期内的事务数量、当前打包中区块的区块头、事务列表(用于构建当前打包中区块)、收据列表(用于和事务列表一一对应,构建当前打包中区块)。
signer types.Signer: 签名者,即本地节点的矿工,用于对区块进行签名。
state *state.StateDB: 状态树,用于描述账户相关的状态改变,merkle trie 数据结构。可以在此修改本节节点的状态信息。
ancestors mapset.Set: ??? ancestors 区块集合(用于检查叔区块的有效性)。缓存。缓存数据结构中往往存的是区块的哈希。可以简单地认为区块、区块头、区块哈希、区块头哈希能够等价地描述区块,其中的任何一种方式都能惟一标识同一个区块。甚至可以放宽到区块编号。
family mapset.Set: ??? family 区块集合(用于验证无效叔区块)。family 区块集合比 ancestors 区块集合多了各祖先区块的叔区块。ancestors 区块集合是区块的直接父区块一级一级连接起来的。
uncles mapset.Set: 叔区块集合,即当前区块的叔区块集合,或者说当前正在挖的区块的叔区块集合。
tcount int: 一个周期里面的事务数量
gasPool *core.GasPool: 用于打包事务的可用 gas
header *types.Header: 区块头。区块头需要满足通用的以太坊协议共识,还需要满足特定的 PoA 共识协议。与 PoA 共识协议相关的区块头 types.Header 字段用 Clique.Prepare() 方法进行主要的设置,Clique.Finalize() 方法进行最终的补充设置。那么以太坊协议共识相关的字段在哪里设置?或者说在 worker 的哪个方法中设置。
txs []*types.Transaction: 事务(types.Transaction)列表。当前需要打包的事务列表(或者备选事务列表),可不可以理解为事务池。
receipts []*types.Receipt: 收据(types.Receipt)列表。Receipt 表示 Transaction 一一对应的结果。
3. type task struct
数据结构 task 包含共识引擎签名和签名之后的结果提交的所有信息。
签名即对已经组装好的区块添加最后的签名信息。添加了签名的区块即为最终的结果区块,即签名区块或待确认区块。
数据结构 task 和数据结构 environment 的区别:
数据结构 environment 用于 worker 的所有操作
数据结构 task 仅用于 worker 的签名相关操作
receipts []*types.Receipt: 收据(types.Receipt)列表
state *state.StateDB: 状态树,用于描述账户相关的状态改变,merkle trie 数据结构。可以在此修改本节节点的状态信息。
block *types.Block: 待签名的区块。此时,区块已经全部组装好了,包信了事务列表、叔区块列表。同时,区块头中的字段已经全部组装好了,就差最后的签名。签名后的区块是在此原有区块上新创建的区块,并被发送到结果通道,用于驱动本地节点已经挖出新区块之后的流程。
createdAt time.Time: task 的创建时间
数据结构 task 也是通道 worker.taskCh 发送或接收的消息。
4. const
- commitInterruptNone 无效的中断值
- commitInterruptNewHead 用于描述新区块头到达的中断值,当 worker 启动或重新启动时也是这个中断值。
- commitInterruptResubmit 用于描述 worker 根据接收到的新事务,中止之前挖矿,并重新开始挖矿的中断值。
5. type newWorkReq struct
数据结构 newWorkReq 表示使用相应的中断值通知程序提交新签名工作的请求。
数据结构 newWorkReq 也是通道 worker.newWorkCh 发送或接收的消息。
- interrupt *int32: 具体的中断值,为 commitInterruptNewHead 或 commitInterruptResubmit 之一。
- noempty bool: ??? 表示创建的区块是否包含事务?
- timestamp int64: ??? 表示区块开始组装的时间?
6. type intervalAdjust struct
数据结构 intervalAdjust 表示重新提交间隔调整。
- ratio float64: 间隔调整的比例
- inc bool: 是上调还是下调
在当前区块时计算下一区块的出块大致时间,在基本的时间间隔之上进行一定的微调,微调的参数就是用数据结构 intervalAdjust 描述的,并发送给对应的通道 resubmitAdjustCh。下一个区块在打包时从通道 resubmitAdjustCh 中获取其对应的微调参数 intervalAdjust 实行微调。
7. type worker struct
worker 是负责向共识引擎提交新工作并且收集签名结果的主要对象。
共识引擎会做哪些工作呢?
- 通过方法 Clique.Prepare() 设置区块头中关于 PoA 共识的相关字段。
- 通过方法 Clique.Finalize() 组装可以被签名的区块。
- 通过方法 Clieque.Seal() 对区块进行签名,并发送给结果通道 worker.resultsCh。
- 通过方法 Clique.snapshot() 处理两种快照:检查点快照和投票快照。
那么共识引擎需要哪些输入呢?
- 区块头
- 事务列表
- 收据列表
- 状态树
- 叔区块列表(PoA 共识协议中肯定为 nil)
- 区块,是个抽象概念,主要包含:区块头、事务列表、叔区块列表,但是并不包含收据列表。
那么共识引擎会产生哪些输出呢?
方法 Clieque.Seal() 会将最终签名后的区块发送给结果通道 worker.resultsCh。
config *params.ChainConfig: 区块链的链配置信息,包含链 ID,是 ethash 还是 clique 共识协议等
engine consensus.Engine: 共识引擎接口
eth Backend: 后端,包含区块链和事务池,提供挖矿所需的所有方法
chain *core.BlockChain: 表示整个区块链。这不和 eth 中的区块链是同一个?
gasFloor uint64: 最低 gas
gasCeil uint64: 最高 gas
// 订阅
- mux *event.TypeMux: 可以简单地理解为事件的订阅管理器,即注册事件的响应函数,和驱动事件的响应函数。
- txsCh chan core.NewTxsEvent: 用于在不同协程之间交互事件 core.NewTxsEvent 的通道。事件 core.NewTxsEvent 是事务列表 []*types.Transaction 的封装器,即通道 txsCh 用于在不同协程之间交互事务列表。命名协程 worker.mainLoop() 从通道 txsCh 接收事件 core.NewTxsEvent,即事务列表。使用通道 txsCh 作为只接收消息的通道向 core.TxPool 订阅事件 core.NewTxsEvent,那么应该是从 core.TxPool 发送事件 core.NewTxsEvent 到通道 txsCh。
- txsSub event.Subscription: 向事务池(core.TxPool)订阅事件 core.NewTxsEvent,并使用通道 txsCh 作为此次订阅接收消息的通道。代码为 worker.txsSub = eth.TxPool().SubscribeNewTxsEvent(worker.txsCh)。
- chainHeadCh chan core.ChainHeadEvent: 用于在不同协程之间交互事件 core.ChainHeadEvent 的通道。事件 core.ChainHeadEvent 是区块 types.Block 的封装器,即通道 chainHeadCh 用于不同协程之间交互新挖出的区块头。命名协程 worker.newWorkLoop() 从通道 chainHeadCh 接收事件 core.ChainHeadEvent,即新的区块头。使用通道 chainHeadCh 作为只接收消息的通道向 core.BlockChain 订阅事件 core.ChainHeadEvent,那么应该是从 core.BlockChain 发送事件 core.ChainHeadEvent 到通道 chainHeadCh。
- chainHeadSub event.Subscription: 向区块链(core.BlockChain)订阅事件 core.ChainHeadEvent,并使用通道 chainHeadCh 作为此次订阅接收消息的通道。代码为 worker.chainHeadSub = eth.BlockChain().SubscribeChainHeadEvent(worker.chainHeadCh)
- chainSideCh chan core.ChainSideEvent: 用于在不同协程之间交互事件 core.ChainSideEvent 的通道。事件 core.ChainSideEvent 是区块 types.Block 的封装器,即通道 chainSideCh 用于不同协程之间交互新挖出的区块头。命名协程 worker.mainLoop() 从通道 chainSideCh 接收事件 core.ChainSideEvent,即新的叔区块头(但 PoA 不是不存在叔区块?)。使用通道 chainSideCh 作为只接收消息的通道向 core.BlockChain 订阅事件 core.ChainSideEvent,那么应该是从 core.BlockChain 发送事件 core.ChainSideEvent 到通道 chainSideCh。
- chainSideSub event.Subscription: 向区块链(core.BlockChain)订阅事件 core.ChainSideEvent,并使用通道 chainSideCh 作为此次订阅接收消息的通道。代码为 worker.chainSideSub = eth.BlockChain().SubscribeChainSideEvent(worker.chainSideCh)
// 通道
newWorkCh chan *newWorkReq: 通道 newWorkCh 用于在不同协程之间交互消息 newWorkReq 的通道。命名协程 worker.newWorkLoop() 将消息 newWorkReq 发送给通道 newWorkCh。命名协程 worker.mainLoop() 从通道 newWorkCh 中接收消息 newWorkReq。
taskCh chan *task: 通道 taskCh 用于在不同协程之间交互消息 task 的通道。(1)命名协程 worker.taskLoop() 从通道 taskCh 中接收消息 task。对接收到的消息 task 先存入待处理 map 中,其中 Key 为 task 中的区块签名哈希,Value 为 task。同时,将 task 中的区块传递给共识引擎的签名方法 w.engine.Seal() 进行签名,同时将结果通道 w.resultCh 和退出通道 stopCh 也传递给共识引擎的签名方法,以便从中接收签名之后的区块或者接收中止消息。(2)命名协程 worker.mainLoop() 中的方法 worker.commit() 将消息 task 发送给通道 taskCh。此方法先将当前环境中的区块头(w.current.header)、事务列表(w.current.txs)、收据列表(w.current.receipts)作为参数传递给共识引擎的方法 Finalize() 组装出待签名的区块,代码为 block = w.engine.Finalize(w.chain, w.current.header, s, w.current.txs, uncles, w.current.receipts)。需要注意的是,区块 types.Block 中只包含区块头 types.Header、事务列表 []types.Transaction、叔区块列表 []types.Header,并不包含收据列表 []types.Receipt,但是区块头 types.Header 中的字段 ReceiptHash 是收据列表树的根哈希,所以也需要收据列表参数。将组装后的待签名区块 types.Block,及前面解释过的收据列表 []types.Receipt 等其它参数一起构建出新的任务 task 发送给通道 taskCh,同时输出一条重要的日志信息:log.Info("Commit new mining work", "number", block.Number(), "sealhash", w.engine.SealHash(block.Header()), "uncles", len(uncles), "txs", w.current.tcount, "gas", block.GasUsed(), "fees", feesEth, "elapsed", common.PrettyDuration(time.Since(start)))。到方法 commit() 这一步,已经组装出了新的任务 task,并将此新任务 task 通过通道 taskCh 发送给命名协程 worker.taskLoop()。
resultCh chan *types.Block: 通道 resultCh 用于在不同协程之间交互消息 types.Block。(1)命名协程 worker.resultLoop() 从通道 resultCh 中接收消息 types.Block,且此区块是被签名过的。对于新接收到签名区块,首先判断这个签名区块是否为重复的;其次,需要从待处理任务映射 w.pendingTasks 中获得对应区块签名哈希的任务 task,如果没找到则输出一条重要的日志信息:log.Error("Block found but no relative pending task", "number", block.Number(), "sealhash", sealhash, "hash", hash)。并从 task 中恢复 receipts 和 logs。第三,将签名区块及其对应的收据列表和状态树等信息写入数据库。如果写入失败,则输出一条重要的日志信息:log.Error("Failed writing block to chain", "err", err),否则输出一条重要的日志信息:log.Info("Successfully sealed new block", "number", block.Number(), "sealhash", sealhash, "hash", hash, "elapsed", common.PrettyDuration(time.Since(task.createdAt)))。第四,通过新挖出的签名区块构建事件 core.NewMinedBlockEvent,并通过事件订阅管理器中的方法 w.mux.Post() 将本地节点最新签名的区块向网络中其它节点进行广播,这是基于 p2p 模块完成的。第五,同时构建事件 core.ChainEvent 和事件 core.ChainHeadEvent,或者构建事件 core.ChainSideEvent,并通过区块链中的方法 w.chain.PostChainEvents() 进行广播。需要注意的时,此广播只是针对向本地节点进行了事件注册的客户端,且是通过 JSON-RPC 完成,和第四步中的向网络中其它节点通过 p2p 进行广播是完全不同的。这一部的广播即使没有事件接收方也没有问题,因为这是业务逻辑层面的,而第四步中的广播则是必须有接收方的,否则就会破坏以太坊协议本身。比如:我们可以注册一个事件,用于监控是否有最新的区块被挖出来,然后在此基础上,查询指定账户的最新余额。第六步,将新挖出来的签名区块,添加进待确认队列中,代码为:w.unconfirmed.Insert(block.NumberU64(), block.Hash())。(2)共识引擎中的签名方法 Clique.Seal() 通过匿名协程将签名后的签名区块 types.Block 发送到通道 resultCh。
startCh chan struct{}: 通道 startCh 用于在不同协程之间交互消息 struct{}。可以发现,消息 struct {} 没有包含任何有意义的信息,这在 Go 中是一类特别重要的写法,用于由某个协程向另一个协程发送开始或中止消息。(1)函数 newWorker() 向通道 startCh 发送消息 struct{},其中函数 newWorker() 应该是运行在主协程中或由其它某个包中的协程启动。代码为:worker.startCh <- struct{}{}。(2)方法 worker.start() 向通道 startCh 发送消息 struct{},其它同(1)。(3)命名协程 worker.newWorkLoop() 从通道 startCh 中接收消息 struct{}。需要注意的是,(1)和(2)都可以向通道 startCh 发送消息 struct{} 驱动命名协程 worker.newWorkLoop() 中逻辑。方法 worker.start() 表明 worker 是可以先停止的,而不关闭,之后可以重新启动。
exitCh chan struct{}: 通道 exitCh 用于在不同协程之间交互消息 struct{}。可以参考通道 startCh 中的注释。(1)函数 worker.close() 通过调用函数 close(w.exitCh) 整个关闭通道 exitCh。(2)命名协程 worker.newWorkLoop() 从通道 exitCh 中接收消息,从而结束整个协程。(3)命名协程 worker.mainLoop() 从通道 exitCh 中接收消息,从而结束整个协程。(4)命名协程 worker.taskLoop() 从通道 exitCh 中接收消息,从而结束整个协程。(5)命名协程 worker.resultLoop() 从通道 exitCh 中接收消息,从而结束整个协程。(6)命名协程 worker.mainLoop() 调用的方法 worker.commit() 从通道 exitCh 中接收消息,从而放弃后续的工作。
resubmitIntervalCh chan time.Duration: 通道 resubmitIntervalCh 用于在不同的协程之间交互消息 time.Duration。time.Duration 是 Go 语言标准库中的类型,在这里通道 resubmitIntervalCh 起到一个定时器的作用,这也是 Go 语言中关于定时器的标准实现方式。(1)方法 worker.setRecommitInterval() 向通道 resubmitIntervalCh 发送消息 time.Duration,即设置定时器下一次触发的时间。方法 worker.setRecommitInterval() 在方法 Miner.SetRecommitInterval() 中被调用,方法 Miner.SetRecommitInterval() 又在方法 PrivateMinerAPI.SetRecommitInterval() 中调用,这应该是从外部通过 JSON-RPC 接口驱动的。(2)命名协程 worker.newWorkLoop() 从通道 resubmitIntervalCh 中接收消息 time.Duration,即获得希望定时器下一次触发的时间,并根据需要对这个时间进行一定的修正。
resubmitAdjustCh chan *intervalAdjust: 通道 resubmitAdjustCh 用于在不同的协程之间交互消息 intervalAdjust。(1)命名协程 worker.newWorkLoop() 从通道 resubmitAdjustCh 中接收消息 intervalAdjust。(2)方法 worker.commitTransactions() 向通道 resubmitAdjustCh 中发送消息 intervalAdjust。通道 resubmitAdjustCh 与通道 resubmitIntervalCh 的作用类似,都是修改下一个区块的出块时间。只不过通道 resubmitAdjustCh 中交互的消息 time.Duration 是由外部通过 JSON-RPC 接口来设定的,而通道 resubmitIntervalCh 中交互的消息 intervalAdjust 是矿工根据上一个区块的出块时间基于算法自定调整的。
current *environment: 描述了 worker 的当前环境和状态信息。具体的请参考对数据结构 environment 的注释。
possibleUncles map[common.Hash]*types.Block: 可能的叔区块集合。Key 为区块哈希 common.Hash,Value 为区块 types.Block。
unconfirmed *unconfirmedBlocks: 本地节点最近新挖出的区块集合,用于等待网络中其它节点的确认,从而成为经典链的一部分。具体的可以参考对数据结构 unconfirmedBlocks 的注释。
mu sync.RWMutex: 锁,用于保护字段 coinbase 和 extra。
coinbase common.Address: 矿工地址。
extra []byte: 分为三段:前 32 字节矿工可随意填写,最后 65 字节为对区块头的签名,中间的字节为授权签名者列表的有序列连接,且字节数为 20 的倍数。
pendingMu sync.RWMutex: 锁,用于保护字段 pendingTasks。
pendingTasks map[common.Hash]*task: 待处理的任务映射,其中:Key 为 task 中包含的区块的哈希值,Value 为 task。
snapshotMu sync.RWMutex: 锁,用于保护字段 snapshotBlock 和 snapshotState。
snapshotBlock *types.Block: 区块的快照。
snapshotState *state.StateDB: 状态的快照。
// 原子状态的计数器
- running int32: 用于表示共识引擎是否正在运行。
- newTxs int32: 自从上次签名工作提交之后新到达的事务数量。上次签名工作即指 worker 中已经通过调用共识引擎的 Finalize() 方法组装好了待签名的区块,然后通过调用共识引擎的签名方法 Clique.Seal() 对待签名区块进行签名。即在上一个区块被本地节点挖出之后,新来的事务数量。
// Test hooks
- newTaskHook func(*task): 接收到新签名任务时调用此方法。
- skipSealHook func(*task) bool: 判定是否跳过签名时调用 此方法。
- fullTaskHook func(): 在推送完整签名任务之前调用此方法。
- resubmitHook func(time.Duration, time.Duration): 更新重新提交间隔时调用此方法。
(1) func newWorker(config *params.ChainConfig, engine consensus.Engine, eth Backend, mux *event.TypeMux, recommit time.Duration, gasFloor, gasCeil uint64) *worker
构造函数 newWorker() 用于根据给定参数构建 worker。
主要参数:
- config *params.ChainConfig: 链的配置信息
- engine consensus.Engine: 共识引擎
- eth Backend: 以太坊本地节点的后端
- mux *event.TypeMux: 事件订阅管理器
- recommit time.Duration: 下一次任务的基础时间间隔
- gasFloor, gasCeil uint64: Gas 的下限 gasFloor 和上限 gasCeil。
主要实现:
首先构建对象 worker,并设定大部分字段的初始值。
-
向事务池 core.TxPool 订阅事件 core.NewTxsEvent,并通过通道 worker.txsCh 接收事件 core.NewTxsEvent。
- worker.txsSub = eth.TxPool().SubscribeNewTxsEvent(worker.txsCh)
-
向区块链 core.BlockChain 订阅事件 core.ChainHeadEvent,并通过通道 worker.chainHeadCh 接收事件 core.ChainHeadEvent。
- worker.chainHeadSub = eth.BlockChain().SubscribeChainHeadEvent(worker.chainHeadCh)
-
向区块链 core.BlockChain 订阅事件 core.ChainSideEvent,并通过通道 worker.chainSideCh 接收事件 worker.ChainSideEvent。
- worker.chainSideSub = eth.BlockChain().SubscribeChainSideEvent(worker.chainSideCh)
如果用户设定的重新提交间隔 recommit 太短,则重新设定 recommit = minRecommitInterval。同时,输出日志信息:log.Warn("Sanitizing miner recommit interval", "provided", recommit, "updated", minRecommitInterval)
启动新的独立协程运行方法 worker.mainLoop()。
启动新的独立协程运行方法 worker.newWorkLoop(recommit)。
启动新的独立协程运行方法 worker.resultLoop()。
启动新的独立协程运行方法 worker.taskLoop()。
-
提交第一个工作以初始化待处理状态。即给通道 startCh 发送消息。
- worker.startCh <- struct{}{}
(2) func (w *worker) setEtherbase(addr common.Address)
方法 setEtherbase() 设置用于初始化区块 coinbase 字段的 etherbase。
参数:
- addr common.Address: 地址
主要实现:
- 加锁和解锁
- w.coinbase = addr
(3) func (w *worker) setExtra(extra []byte)
方法 setExtra() 设置用于初始化区块额外字段的内容。
参数:
- extra []byte: 应该是用于区块头 types.Header 中的字段 Extra 的前 32 字节。这 32 字节是以太坊协议规定在区块中用于存储矿工相关的一些额外信息。上层调用方法 miner.Miner.SetExtra(),继续上层调用方法为 eth.Ethereum 的构造函数 eth.New() 中的代码 eth.miner.SetExtra(makeExtraData(config.MinerExtraData))。这个参数最终是通过 geth 的 MINER OPTIONS 命令行参数 --extradata,或者 ETHEREUM OPTIONS 的命令行参数 --config,这是一个 TOML 配置文件。
(4) func (w *worker) setRecommitInterval(interval time.Duration)
方法 setRecommitInterval() 更新矿工签名工作重新提交的间隔。
参数:
- interval time.Duration: 重新提交的时间间隔。
主要实现:
- 将重新提交的间隔 interval 发送到通道 worker.resubmitIntervalCh,代码为:w.resubmitIntervalCh <- interval。命名协程 worker.newWorkLoop() 会从通道 worker.resubmitIntervalCh 中接收此消息。
(5) func (w worker) pending() (types.Block, *state.StateDB)
方法 pending() 返回待处理的状态和相应的区块。
主要实现:
- 加锁、解锁 snapshotMu。
- 返回字段 snapshotBlock 和字段 snapshotState 的副本。
(6) func (w *worker) pendingBlock() *types.Block
方法 pendingBlock() 返回待处理的区块。
主要实现:
- 加锁、解锁 snapshotMu。
- 返回字段 snapshotBlock。
(7) func (w *worker) start()
方法 start() 采用原子操作将 running 字段置为 1,并触发新工作的提交。
主要实现:
- atomic.StoreInt32(&w.running, 1)
- w.startCh <- struct{}{}
(8) func (w *worker) stop()
方法 stop() 采用原子操作将 running 字段置为 0。
主要实现:
- atomic.StoreInt32(&w.running, 0)
(9) func (w *worker) isRunning() bool
方法 isRunning() 返回 worker 是否正在运行的指示符。
主要实现:
- return atomic.LoadInt32(&w.running) == 1
(10) func (w *worker) close()
方法 close() 终止由 worker 维护的所有后台线程。注意 worker 不支持被关闭多次,这是由 Go 语言不允许多次关闭同一个通道决定的。
主要实现
- close(w.exitCh)
(11) func (w *worker) newWorkLoop(recommit time.Duration)
方法 newWorkLoop() 是一个独立的协程,基于接收到的事件提交新的挖矿工作。不妨将此协程称作命名协程 worker.newWorkLoop()。
参数:
- recommit time.Duration: 下一次提交间隔。
主要实现:
- 定义了三个变量:
- interrupt *int32: 中断信号
- minRecommit = recommit: 用户指定的最小重新提交间隔
- timestamp int64: 每轮挖矿的时间戳
- 定义一个定时器,并丢弃初始的 tick
- timer := time.NewTimer(0)
- <-timer.C
- 定义内部提交函数 commit()
- 提交函数 commit() 使用给定信号中止正在进行的交易执行,并重新提交新信号。
- 构建新工作请求 newWorkReq,并发送给通道 newWorkCh 来驱动命名协程 worker.mainLoop() 来重新提交任务。
- 设置定时器 timer 的下一次时间。代码为:timer.Reset(recommit)
- 重置交易计数器。代码为:atomic.StoreInt32(&w.newTxs, 0)
- 定义内部函数 recalcRecommit()
- 根据一套规则来计算重新提交间隔 recommit。
- 具体规则后续补充注释。
- 定义内部函数 clearPending()
- 此函数用于清除过期的待处理任务。
- 参数
- number uint64: 区块编号
- 加锁 w.pendingMu.Lock()
- 循环迭代 w.pendingTasks
- 区块签名哈希 h
- 任务 t
- 如果 t 中的区块编号比 number 要早 staleThreshold 个区块,则将其从 w.pendingTasks 中删除。
- 解锁 w.pendingMu.Unlock()
- 在 for 循环中持续从通道 startCh、timer.C、resubmitIntervalCh、resubmitAdjustCh 和 exitCh 中接收消息,并执行相应的逻辑。
- startCh:
- 调用内部函数 clearPending() 清除链上当前区块之前的过期待处理任务。
- 调用内部函数 commit(false, commitInterruptNewHead) 提交新的 newWorkReq。
- chainHeadCh:
- 从通道 chainHeadCh 接收消息 head(事件 core.ChainHeadEvent)
- 调用内部函数 clearPending() 清除 core.ChainHeadEvent 中区块之前的过期待处理任务。
- 调用内部函数 commit(false, commitInterruptNewHead) 提交新的 newWorkReq。
- timer.C
- 如果挖矿正在进行中,则定期重新提交新的工作周期以提取更高价格的交易。禁用待处理区块的此开销。
- 如果交易计数器 w.newTxs 为 0
- 重置定时器。代码为:timer.Reset(recommit)
- 退出本轮迭代。
- 调用内部函数 commit(false, commitInterruptResubmit) 提交新的 newWorkReq。
- timer.C:
- 如果挖矿正在进行中,则定期重新提交新的工作周期以便更新到价格较高的交易。对于待处理中的区块禁用此操作开销。
- 对于 poa 共识引擎,需要其配置的 Clique.Period > 0。!!!等于这里对于共识算法有个特殊处理。
- 调用内部函数 commit(true, commitInterruptResubmit) 提交新的 newWorkReq。
- 【批注 1】,这里用到了 time.Timer 将定时器,时间间隔为 recommit。
- 【批注 2】,通道主要的作用是用于协程之间交互消息,那么实际上影响到的就是工作流程。这个定时器应该主要就是挖矿有周期性的概念,比如 15 秒产生一个块。存在两个定时间隔,一个是静态配置的,另一个是由挖矿动态决定的。当挖矿的实际时间长于静态设定的,那么可能需要做一些操作,比如重新挖矿等等吧。当挖矿的实际时间适于静态设定的,可能不需要做什么操作。
- 如果挖矿正在进行中,则定期重新提交新的工作周期以便更新到价格较高的交易。对于待处理中的区块禁用此操作开销。
- resubmitIntervalCh:
- 支持由用户来重新设定重新提交的间隔。
- 用户设定的值不能小于 minRecommitInterval。
- 如果回调函数 resubmitHook 不空,则调用。
- resubmitAdjustCh:
- 根据挖矿的反馈来动态地调整重新提交的间隔。
- 如果回调函数 resubmitHook 不空,则调用。
- exitCh:
- 接收到退出消息,退出整个协程。
- startCh:
命名协程 worker.mainLoop() 用于根据接收到的事件生成签名任务,命名协程 worker.taskLoop() 用于接收上述验证任务并提交给共识引擎,命名协程 worker.resultLoop() 用于处理签名结果的提交并更新相关数据到数据库中。
(12) func (w *worker) mainLoop()
方法 mainLoop() 是一个独立的协程,用于根据接收到的事件重新生成签名任务。不妨将此协程称作命名协程 worker.mainLoop()。
主要实现:
- 在整个协程退出时,取消 txsSub、chainHeadSub、chainSideSub 这三个订阅。
- defer w.txsSub.Unsubscribe()
- defer w.chainHeadSub.Unsubscribe()
- defer w.chainSideSub.Unsubscribe()
- 在 for 循环中持续从通道 newWorkCh、chainSideCh、txCh 和 exitCh 中接收消息,并执行相应的逻辑。
- newWorkCh:
- 根据新接收到的消息 req(数据结构为 newWorkReq),调用函数 commitNewWork() 提交新的任务。代码为:w.commitNewWork(req.interrupt, req.noempty, req.timestamp)。需要说明的,虽然方法 commitNewWork() 中的参数没有包含任何区块、交易等信息,但这些信息都包含在当前环境 w.current 或 w 中。同时,任务最终通过通道 worker.taskCh 提交给命名协程 worker.taskLoop()。
- chainSideCh:
- 接收到新的消息 ev(事件 ChainSideEvent)
- 如果 ev 中携带的区块已经在 possibleUncles 中,则退出本轮迭代。
- 把 ev 携带的区块添加到 possibleUncles中。代码为:w.possibleUncles[ev.Block.Hash()] = ev.Block。
- 如果正在挖矿中的区块所包含的叔区块少于 2 个,且 ev 中携带的新叔区块有效,则重新生成挖矿中的任务。见代码:if w.isRunning() && w.current != nil && w.current.uncles.Cardinality() < 2
- 获取任务开始时间 start。代码为:start := time.Now()
- 通过方法 commitUncle() 将 ev 中携带的区块添加到 current.uncles 中。如果成功
- 定义新任务中所需要的区块头列表 uncles。代码为:var uncles []*types.Header
- 遍历 w.current.uncles 中的每个 uncle hash
- 从 possibleUncles 中找到 uncle hash 对应的区块头,并添加到 uncles 中。代码为:uncles = append(uncles, uncle.Header())
- 并根据最终获得的所有叔区块头列表 uncles 来调用方法 commit() 提交最终区块。代码为:w.commit(uncles, nil, true, start)
- 【批注 1】:possibleUncles 用于包含可能的叔区块,起到一个缓冲的作用。 current.uncles 是当前要打包的区块中已经被确认的叔区块。
- 【批注 2】:possibleUncles 是<区块头哈希>区块构成的 map,current.uncles 则仅包含了区块头哈希。
- 接收到新的消息 ev(事件 ChainSideEvent)
- txsCh:根据新接收到的消息 ev(事件 core.NewTxsEvent)
- 如果不在挖矿状态,则将交易置于待处理状态。
- 注意,收到的所有交易可能与已包含在当前挖矿区块中的交易不连续。这些交易将自动消除。
- if !w.isRunning() && w.current != nil
- 加锁、解锁的方式获取矿工地址 coinbase。代码为:coinbase := w.coinbase
- 定义变量 txs。代码为:txs := make(map[common.Address]types.Transactions)
- 遍历消息 ev 中携带的交易列表,对于每个交易 tx
- 还原出每个交易 tx 的发送者地址 acc
- 更新映射 txs。代码为:txs[acc] = append(txs[acc], tx)
- 将 txs 转换为 txset(数据结构为 types.TransactionsByPriceAndNonce),代码为:txset := types.NewTransactionsByPriceAndNonce(w.current.signer, txs)
- 提交交易列表 txset。代码为:w.commitTransactions(txset, coinbase, nil)
- 更新快照。代码为:w.updateSnapshot()
- else
- 如果我们正在挖矿中,但没有正在处理任何事情,请在新交易中醒来
- if w.config.Clique != nil && w.config.Clique.Period == 0
- w.commitNewWork(nil, false, time.Now().Unix())
- 采用原子操作将 w.newTxs 的数量增加新接收到的事务数量。代码为:atomic.AddInt32(&w.newTxs, int32(len(ev.Txs)))
- w.exitCh
- 当从退出通道接收到消息时,结束整个协程。
- w.txsSub.Err()
- 当从交易订阅通道接收到错误消息时,结束整个协程。
- w.chainHeadSub.Err()
- 当从区块头订阅通道接收到错误消息时,结束整个协程。
- w.chainSideSub.Err()
- 当从侧链区块头订阅通道接收到错误消息时,结束整个协程。
- newWorkCh:
(13) func (w *worker) taskLoop()
方法 taskLoop() 是一个独立的协程,用于从生成器中获取待签名任务,并将它们提交给共识引擎。不妨将此协程称作命名协程 worker.taskLoop()。
主要实现:
- 定义两个变量:退出通道 stopCh 和上一个区块哈希 prev
- stopCh chan struct{}
- prev common.Hash
- 定义局部中断函数 interrupt(),用于关闭退出通道 stopCh,结束所有从退出通道 stopCh 接收消息的协程,这里共识引擎方法 Seal() 中用于签名的独立匿名协程,退出通道 stopCh 是作为参数传递过去的。
- close(stopCh)
- 局部通道 stopCh 和内部函数 interrupt() 用于组合终止进行中的签名任务(in-flight sealing task)。
- 在 for 循环中持续从通道 taskCh 和 exitCh 中接收消息,并执行相应的逻辑。
- taskCh:
- 接收新任务 task
- 如果回调 w.newTaskHook != nil,则调用回调函数 w.newTaskHook(task)
- 获取任务 task 中包含区块的区块签名哈希 sealHash
- 如果 sealHash == prev,则退出本轮迭代。
- 过滤掉因重复提交产生的重复的签名任务
- 调用中断函数 interrupt() 中止共识引擎方法 Seal() 中正在签名的独立匿名协程。这里是通过关闭退出通道 stopCh 实现的。
- 给退出通道 stopCh 分配空间,并设置上一个区块哈希 prev。
- stopCh, prev = make(chan struct{}), sealHash
- 如果回调函数 w.skipSealHook() 不为 nil 和 w.skipSealHook(task) 返回 true,则退出本轮迭代。
- 通过对锁 w.pendingMu 执行加锁、解锁,将任务 task 添加到 w.pendingTasks 中,为之后命名协程 worker.resultLoop() 中接收到已签名区块,查找包含该区块的任务 task 而用。
- 将任务 task 中包含的区块提交给共识引擎进行签名。代码为:w.engine.Seal(w.chain, task.block, w.resultCh, stopCh)
- 需要特别注意传递的两个通道参数 w.resutlCh, stopCh
- 通道 w.resultCh 用于从共识引擎的签名方法 Seal() 中接收已签名区块。
- 通道 stopCh 用于发送中止信号给共识引擎的签名方法 Seal(),从而中止共识引擎正在进行的签名操作。
- 如果签名失败,则输出日志信息:log.Warn("Block sealing failed", "err", err)
- exitCh:
- 当接收到退出消息时
- 通过调用内部中断函数 interrupt() 关闭中止通道 stopCh,从而使得共识引擎的签名方法 Seal() 放弃本次签名。
- 退出整个协程。
- 当接收到退出消息时
- taskCh:
(14) func (w *worker) resultLoop()
方法 resultLoop() 是一个独立的协程,用于处理签名区块的提交和广播,以及更新相关数据到数据库。不妨将此协程称作命名协程 worker.resultLoop()。
主要实现:
- 在 for 循环中持续从通道 resultCh 和 exitCh 中接收消息,并执行相应的逻辑。
- resultCh:
- 接收已签名区块 block。
- 如果 block == nil,则进入下一轮迭代。
- 如果区块 block 已经存在于经典链中,则进入下一轮迭代。
- 定义两个变量:
- 区块签名哈希 sealhash,代码为:sealhash = w.engine.SealHash(block.Header())
- 区块哈希 hash,代码为:hash = block.Hash()
- 分别计算区块头的验证哈希 sealHash(不包括 extraData 中的最后 65 个字节的签名信息),区块的哈希 hash (即区块头的哈希,而且包含整个 extraData)。
- 通过对锁 w.pendingMu 进行加锁和解锁的方式从 w.pendingTasks 中找到 sealHash 对应的 task。这是找出已签名区块对应的任务 task,从中获取需要的交易列表、交易回执列表等相关数据。
- 如果 task 不存在,则输出日志信息:log.Error("Block found but no relative pending task", "number", block.Number(), "sealhash", sealhash, "hash", hash)
- 同时,退出本次迭代。
- 定义两个变量,交易回执列表 receipts,交易回执中包含的日志列表 logs。
- receipts = make([]*types.Receipt, len(task.receipts))
- logs []*types.Log
- 这是因为不同的区块可能会共享相同的区块签名哈希,建立这些副本是为了防止写写冲突。
- 更新所有日志中的区块哈希。这是因为对于这些日志来说,直到现在才知道对应的区块哈希,而在创建单个交易的交易回执的接收日志时,并不知道对应的区块哈希。
- 更新 task.receipts 中各 receipt.Logs 的 BlockHash 值为 hash。
- 通过方法 w.chain.WriteBlockWithState() 将区块 block,交易回执列表 receipts,状态数据库 task.state 写入数据库,并返回写入状态 stat。stat 的取值:NonStatTy (0)、CanonStatTy (1)、SideStatTy(2)。
- 如果写入失败,则输出日志信息:log.Error("Failed writing block to chain", "err", err)。同时,退出本轮迭代。
- 至此,成功的验证了新的区块。输出日志信息:log.Info("Successfully sealed new block", "number", block.Number(), "sealhash", sealhash, "hash", hash, "elapsed", common.PrettyDuration(time.Since(task.createdAt)))
- 将新产生的新区块 block 广播到网络中的其他节点。这是通过构建事件 core.NewMinedBlockEvent 进调用 w.mux.Post() 实现的。代码为:w.mux.Post(core.NewMinedBlockEvent{Block: block})
- 定义变量事件列表 events
- 根据写入数据库返回的状态 stat 的值:
- case core.CanonStatTy:在事件列表 events 中添加新的事件 core.ChainEvent、core.ChainHeadEvent
- case core.SideStatTy:在事件列表 events 中添加新的事件 core.ChainSideEvent。
- 通过方法 w.chain.PostChainEvents() 广播事件。代码为: w.chain.PostChainEvents(events, logs)
- 将已签名区块插入待确认区块列表中。代码为:w.unconfirmed.Insert(block.NumberU64(), block.Hash())
- exitCh:
- 接收到退出消息则中止整个协程。
- resultCh:
命名协程 worker.resultLoop() 从通道 resultCh 中接收消息 types.Block,且此区块是被签名过的。对于新接收到签名区块,首先判断这个签名区块是否为重复的;其次,需要从待处理任务映射 w.pendingTasks 中获得对应区块签名哈希的任务 task,如果没找到则输出一条重要的日志信息:log.Error("Block found but no relative pending task", "number", block.Number(), "sealhash", sealhash, "hash", hash)。并从 task 中恢复 receipts 和 logs。第三,将签名区块及其对应的收据列表和状态树等信息写入数据库。如果写入失败,则输出一条重要的日志信息:log.Error("Failed writing block to chain", "err", err),否则输出一条重要的日志信息:log.Info("Successfully sealed new block", "number", block.Number(), "sealhash", sealhash, "hash", hash, "elapsed", common.PrettyDuration(time.Since(task.createdAt)))。第四,通过新挖出的签名区块构建事件 core.NewMinedBlockEvent,并通过事件订阅管理器中的方法 w.mux.Post() 将本地节点最新签名的区块向网络中其它节点进行广播,这是基于 p2p 模块完成的。第五,同时构建事件 core.ChainEvent 和事件 core.ChainHeadEvent,或者构建事件 core.ChainSideEvent,并通过区块链中的方法 w.chain.PostChainEvents() 进行广播。需要注意的时,此广播只是针对向本地节点进行了事件注册的客户端,且是通过 JSON-RPC 完成,和第四步中的向网络中其它节点通过 p2p 进行广播是完全不同的。这一部的广播即使没有事件接收方也没有问题,因为这是业务逻辑层面的,而第四步中的广播则是必须有接收方的,否则就会破坏以太坊协议本身。比如:我们可以注册一个事件,用于监控是否有最新的区块被挖出来,然后在此基础上,查询指定账户的最新余额。第六步,将新挖出来的签名区块,添加进待确认队列中,代码为:w.unconfirmed.Insert(block.NumberU64(), block.Hash())。
(15) func (w *worker) makeCurrent(parent *types.Block, header *types.Header) error
方法 makeCurrent() 为当前周期创建新的环境 environment。
参数:
- parent *types.Block: 父区块
- header *types.Header: 当前区块头
主要实现:
- 先通过父区块状态树的根哈希从区块链中获取状态信息 state (state.StateDB),如果失败,直接返回错误
- 构建当前环境 environment 的对象 env
- 设定字段 signer 为 types.EIP155Signer
- 设定字段 state 为前面获取的 state
- 设定字段 header 为参数 header
- 默认初始化其它字段
- 从区块链中获取父区块之前的 7 个高度的所有区块,包含叔区块
- 所有的直系父区块添加到字段 ancestors
- 所有的直系父区块和叔区块添加到字段 family
- 将字段 tcount 设为 0
- 将环境 env 赋值给字段 worker.current
(16) func (w *worker) commitUncle(env *environment, uncle *types.Header) error
方法 commitUncle() 将给定的区块添加至叔区块集合中,如果添加失败则返回错误。
参数:
- env *environment: 当前环境,里面组织了本次周期里需要的所有信息
- uncle *types.Header: 叔区块的区块头
主要实现:
- 获取叔区块 hash。见代码:hash := uncle.Hash()。
- 判定叔区块是否惟一。见代码:if env.uncles.Contains(hash) { return errors.New("uncle not unique") }
- 判定叔区块是否为兄弟区块。见代码:if env.header.ParentHash == uncle.ParentHash { return errors.New("uncleis sibling") }
- 判定叔区块的父区块是否存在于链上。见代码:if !env.ancestors.Contains(uncle.ParentHash) { return errors.New("uncle's parent unknown") }
- 判定叔区块是否已经存在于链上。见代码:if env.family.Contains(hash) { return errors.New("uncle already included") }
- 上述四个判定都通过,则添加到当前区块的叔区块列表中。见代码:env.uncles.Add(uncle.Hash())
(17) func (w *worker) updateSnapshot()
方法 updateSnapshot() 更新待处理区块和状态的快照。注意,此函数确保当前变量是线程安全的。
主要实现:
- 加锁、解锁 w.snapshotMu
- 定义叔区块头列表 uncles
- 对于 w.current.uncles 中的每个叔区块头 uncle,如果存在于
w.possibleUncles 中,则将其没回到 uncles 中。
- 由 w.current.header, w.current.txs, uncles, w.current.receipts 构建出快照区块 w.snapshotBlock。
- 由 w.current.state 的副本构建出快照状态 w.snapshotState。
(18) func (w *worker) commitTransaction(tx types.Transaction, coinbase common.Address) ([]types.Log, error):
方法 commitTransaction() 提交交易 tx,并附上交易的发起者地址。此方法会生成交易的交易回执。
参数:
- tx *types.Transaction: 具体的一次交易信息。
- coinbase common.Address: 交易的发起方地址,可以明确指定。如果为空,则为区块签名者的地址。
返回值:
- []*types.Log: 交易回执中的日志信息。
主要实现:
- 先对状态树进行备份 snap,代码为:snap := w.current.state.Snapshot()
- 通过对交易 tx 及交易发起者 coinbase 调用方法 core.ApplyTransaction() 获得交易回执 receipt。
- 如果失败,则将状态树恢复到之前的状态 snap,并直接返回。
- 更新交易列表。代码为 w.current.txs = append(w.current.txs, tx)
- 更新交易回执列表。代码为 w.current.receipts = append(w.current.receipts, receipt)
(19) func (w *worker) commitTransactions(txs *types.TransactionsByPriceAndNonce, coinbase common.Address, interrupt *int32) bool:
方法 commitTransactions() 提交交易列表 txs,并附上交易的发起者地址。根据整个交易列表 txs 是否都被有效提交,返回 true 或 false。
参数:
- txs *types.TransactionsByPriceAndNonce: 交易列表的管理器,同时根据价格和随机数值进行排序,每次输出一个排序最靠前的交易。具体的注释,参考 types.TransactionsByPriceAndNonce。
- coinbase common.Address: 交易的发起方地址,可以明确指定。如果为空,则为区块签名者的地址。
- interrupt *int32: 中断信号值。需要特别说明,这是个指针类型的值,意味着后续的每轮迭代都能读取外部对于参数 interrupt 的更新。同时,此方法还能将内部对于参数 interrupt 的修改反馈给外部调用者。
返回值:
- 整个交易列表是否都被正确处理。
主要实现:
- 如果 w.current 为空,直接返回。
- 如果 w.current.gasPool 为空,则初始化为 w.current.header.GasLimit
- 汇总的事件日志,代码为:var coalescedLogs []*types.Log
- 循环处理交易列表 txs:
- 在以下三种情况下,我们将中断交易的执行。对于前两种情况,半成品将被丢弃。对于第三种情况,半成品将被提交给共识引擎。需要特别说明的是,这一步会根据 w.current.header.GasLimit 和 w.current.gasPool.Gas() 计算事件 intervalAdjust 的字段 ratio,并将字段 inc 设为 true,然后将事件 intervalAdjust 发送给通道 w.resubmitAdjustCh,从而驱动命名协程 worker.newWorkLoop() 的工作流程。具备的可以参考代码。
- (1)新的区块头块事件到达,中断信号为1。
- (2)对象 worker 启动或重启,中断信号为1。
- (3)对象 worker 用任何新到达的交易重新创建挖掘区块,中断信号为2。
- 直接返回,退出整个循环和此方法。见代码:return atomic.LoadInt32(interrupt) == commitInterruptNewHead
- 如果没有足够的 Gas 进行任何进一步的交易,那么就退出循环。见代码:if w.current.gasPool.Gas() < params.TxGas
- 输出一条重要的日志信息:log.Trace("Not enough gas for further transactions", "have", w.current.gasPool, "want", params.TxGas)
- 需要说明的,已经提交并得到正常处理的交易仍然不变。
- 获取下一个交易 tx,如果为空则退出整个循环。
- 获取交易的发起者 from。见代码:from, _ := types.Sender(w.current.signer, tx)
- 这里可能会忽略错误。交易在被加入交易池时已经得到了检查。
- 无论当前的 hf 如何,我们都使用 eip155 签名者。
- 检查交易 tx 是否重播受保护。如果我们不在 EIP155 hf 阶段,请在我们开始之前开始忽略发送方。
- 即过滤掉此交易。当然,仍然要从 txs 中剔除。见代码:txs.Pop(); continue
- 开始执行交易:
- 更新状态树。需要说明的是,这一步会记录交易在区块中的索引。见代码:w.current.state.Prepare(tx.Hash(), common.Hash{}, w.current.tcount)
- 通过方法 worker.commitTransaction() 提交交易。见代码:logs, err := w.commitTransaction(tx, coinbase)。根据返回值 err 决定后面的操作:
- case core.ErrGasLimitReached
- 弹出当前超出 Gas 的交易,而不从账户中转移下一个交易。这是因为,该账户已经支付不起 Gas 了,所以不需要再处理该账户的其它交易。这个实现有点漂亮!!!
- 输出重要的日志信息:log.Trace("Gas limit exceeded for current block", "sender", from)
- txs.Pop()
- case core.ErrNonceTooLow
- 交易池和矿工之间的新区块头通知数据竞争,转移该账户下一个交易。
- 输出重要的日志信息:log.Trace("Skipping transaction with low nonce", "sender", from, "nonce", tx.Nonce())
- txs.Shift()
- case core.ErrNonceTooHigh
- 事务池和矿工之间的重组通知数据竞争,跳过 account 的所有交易
- 输出重要的日志信息:log.Trace("Skipping account with hight nonce", "sender", from, "nonce", tx.Nonce())
- txs.Pop()
- case nil
- 一切正常,收集日志并从同一帐户转移下一个交易
- coalescedLogs = append(coalescedLogs, logs...)
- w.current.tcount++,需要增加当前区块的交易索引。
- txs.Shift()
- default:
- 奇怪的错误,丢弃事务并获得下一个(注意,nonce-too-high子句将阻止我们徒劳地执行)。
- 输出重要的日志信息:log.Debug("Transaction failed, account skipped", "hash", tx.Hash(), "err", err)
- txs.Shift()
- case core.ErrGasLimitReached
- 在以下三种情况下,我们将中断交易的执行。对于前两种情况,半成品将被丢弃。对于第三种情况,半成品将被提交给共识引擎。需要特别说明的是,这一步会根据 w.current.header.GasLimit 和 w.current.gasPool.Gas() 计算事件 intervalAdjust 的字段 ratio,并将字段 inc 设为 true,然后将事件 intervalAdjust 发送给通道 w.resubmitAdjustCh,从而驱动命名协程 worker.newWorkLoop() 的工作流程。具备的可以参考代码。
- 我们在挖掘时不会推送pendingLogsEvent。原因是当我们开采时,工人将每3秒钟再生一次采矿区。为了避免推送重复的pendingLog,我们禁用挂起的日志推送。
- 构建日志集合 coalescedLogs 的副本 cpy,避免同步问题
- 启动一个独立的匿名协程,将日志集合的副本 cpy 通过方法 TypeMux.Post() 发送出去。
- 如果当前间隔大于用户指定的间隔,则通知重新提交循环以减少重新提交间隔。代码为:w.resubmitAdjustCh <- &intervalAdjust{inc: false}。即将事件 intervalAdjust 发送到通道 w.resubmitAdjustCh,从而驱动命名协和 worker.newWorkLoop() 的后续逻辑。
(20) func (w *worker) commitNewWork(interrupt *int32, noempty bool, timestamp int64):
方法 commitNewWork() 基于父区块生成几个新的签名任务。
参数:
- interrupt *int32: 中断信号,值为:commitInterruptNone (0)、commitInterruptNewHead (1)、commitInterruptResubmit (2) 之一。
- noempty bool: ???
- timestamp int64: ??? 区块时间?
主要实现:
- 加锁、解锁 w.mu。说明对整个方法进行了加锁处理。
- 获取当前时间 tstart,代码为:tstart := time.Now()
- 获取父区块 parent,即区块链上的当前区块。代码为:parent := w.chain.CurrentBlock()
- 根据父区块的时间,调整下一个区块的时间。
- 如果挖矿太超前,计算超前时间 wait,并睡眠 wait 时间。同时,输出日志:log.Info("Mining too far in the future", "wait", common.PrettyDuration(wait))
- 获取父区块编号 num,代码为:num := parent.Number()
- 构建打包中的区块头 header,代码为:
header := &types.Header{
ParentHash: parent.Hash(),
Number: num.Add(num, common.Big1),
GasLimit: core.CalcGasLimit(parent, w.gasFloor, w.gasCeil),
Extra: w.extra,
Time: big.NewInt(timestamp),
} - 只有在共识引擎正在运行中,才设置 coinbase(避免虚假区块奖励)
- 如果 w.coinbase == (common.Address{}),则输出日志信息:log.Error("Refusing to mine without etherbase")。同时,退出整个方法。
- header.Coinbase = w.coinbase
- 调用共识引擎的方法 Prepare() 设置区块头 header 中的共识字段。如果失败,则输出日志信息:log.Error("Failed to prepare header for mining", "err", err)。同时,退出整个方法。
- 处理 DAO 硬分叉相关内容,暂时忽略。
- 构建挖矿的当前环境,代码为:w.makeCurrent(parent, header)。如果失败,输出日志:log.Error("Failed to create mining context", "err", err)。同时,退出整个方法。
- env := w.current
- 对 env 应用 DAO 相关操作。
- 删除 w.possibleUncles 中相对于当前区块太旧的叔区块
- 遍历 w.possibleUncles 累计当前区块的叔区块列表 uncles,最多支持 2 个叔区块。
- 下一个可能的叔区块(hash 和 uncle)
- 如果叔区块列表 uncles 的长度已经达到 2,则退出遍历操作。
- 通过 w.commitUncle() 提交叔区块 uncle
- 如果失败,输出日志:log.Trace("Possible uncle rejected", "hash", hash, "reason", err)
- 如果成功,输出日志:log.Debug("Committing new uncle to block", "hash", hash)。同时,uncles = append(uncles, uncle.Header())
- if !noempty
- 基于临时复制状态创建空区块以提前进行签名,而无需等待区块执行完成。
- w.commit(uncles, nil, false, tstart)
- 使用所有可用的待处理交易填充区块。代码为:pending, err := w.eth.TxPool().Pending()。如果失败,则输出日志:log.Error("Failed to fetch pending transactions", "err", err)。同时,退出整个方法。需要说明的是,从交易池中获取所有待处理的交易列表,pending 的数据结构为:map[common.Address]types.Transactions。
- 如果没有待处理的交易列表
- 更新快照。代码为:w.updateSnapshot()
- 退出整个方法。
- 将交易池中的交易 pending 划分为本地交易列表 localTxs 和远程交易列表 remoteTxs。本地交易即提交者为 w.coinbase。
- 具体方法为将事务池中地址为 w.coinbase 的放入本地事务列表,否则放入远程事务列表。
- 如果本地交易列表 localTxs 的长度大于 0
- 将 localTxs 封装为数据结构 types.NewTransactionsByPriceAndNonce。代码为:txs := types.NewTransactionsByPriceAndNonce(w.current.signer, localTxs)
- 提交交易列表。代码为:w.commitTransactions(txs, w.coinbase, interrupt)。如果失败,退出整个方法。
- 如果本地交易列表 remoteTxs 的长度大于 0
- 将 remoteTxs 封装为数据结构 types.NewTransactionsByPriceAndNonce。代码为:txs := types.NewTransactionsByPriceAndNonce(w.current.signer, remoteTxs)
- 提交交易列表。代码为:w.commitTransactions(txs, w.coinbase, interrupt)。如果失败,退出整个方法。
- 调用方法 w.commit() 组装出最终的任务 task。
(21) func (w worker) commit(uncles []types.Header, interval func(), update bool, start time.Time) error
方法 commit() 运行任何交易的后续状态修改,组装最终区块,并在共识引擎运行时提交新工作。
参数:
- uncles []*types.Header: 叔区块列表
- interval func(): 中断函数
- update bool: 是否更新快照
- start time.Time: 方法被调用的时间
返回值:
- 如果出错则返回出错消息,否则返回 nil。
主要实现:
- 为了避免在不同任务之间的交互,通过深度拷贝构建 current.receipts 的副本 receipts。
- 构建状态数据库 w.current.state 的副本 s。
- 调用共识引擎的方法 Finalize() 构建出最终待签名的区块 block。需要特别说明的是:对于待组装的区块来说,除了叔区块列表 uncles 是作为参数传入之外,其它的关键信息,如:区块头、交易列表、交易回执列表都是在当前环境 w.current 中获取的。
- 如果对象 worker 正在运行中:
- 如果中断函数 interval 非空,则调用函数 interval()。
- 构建任务 task,并将其发送到通道 taskCh,从而驱动命名协程 worker.taskLoop() 的工作流程。
- 删除待确认区块列表中的过期区块,代码为:w.unconfirmed.Shift(block.NumberU64() - 1)
- 累计区块 block 中所有交易消耗 Gas 的总和 feesWei。第 i 个交易 tx 消耗的 Gas 计算方式: receipts[i].GasUsed * tx.GasPrice()
- 将 feesWei 转换成 feesEth,即消耗的总以太币。
- 至此,已经打包好了最终的待签名区块。输出一条重要的日志信息:log.Info("Commit new mining work", "number", block.Number(), "sealhash", w.engine.SealHash(block.Header()), "uncles", len(uncles), "txs", w.current.tcount, "gas", block.GasUsed(), "fees", feesEth, "elapsed", common.PrettyDuration(time.Since(start)))
- 持续监听通道 worker.exitCh,如果接收到中止消息则输出日志:log.Info("Worker has exited")
- 如果 update 为 true,则更新快照:
- 调用 w.updateSnapshot() 更新待处理的快照和状态。
方法 worker.commit() (由命名协程 worker.mainLoop() 调用)将消息 task 发送给通道 taskCh。此方法先将当前环境中的区块头(w.current.header)、事务列表(w.current.txs)、收据列表(w.current.receipts)作为参数传递给共识引擎的方法 Finalize() 组装出待签名的区块,代码为 block = w.engine.Finalize(w.chain, w.current.header, s, w.current.txs, uncles, w.current.receipts)。需要注意的是,区块 types.Block 中只包含区块头 types.Header、事务列表 []types.Transaction、叔区块列表 []types.Header,并不包含收据列表 []types.Receipt,但是区块头 types.Header 中的字段 ReceiptHash 是收据列表树的根哈希,所以也需要收据列表参数。将组装后的待签名区块 types.Block,及前面解释过的收据列表 []types.Receipt 等其它参数一起构建出新的任务 task 发送给通道 taskCh,同时输出一条重要的日志信息:log.Info("Commit new mining work", "number", block.Number(), "sealhash", w.engine.SealHash(block.Header()), "uncles", len(uncles), "txs", w.current.tcount, "gas", block.GasUsed(), "fees", feesEth, "elapsed", common.PrettyDuration(time.Since(start)))。到方法 commit() 这一步,已经组装出了新的任务 task,并将此新任务 task 通过通道 taskCh 发送给命名协程 worker.taskLoop()。
Reference
Contributor
- Windstamp, https://github.com/windstamp