以太坊源码解读（15）交易池（二）交易池的升级、降级和重置

1、交易池降级：TxPool.demoteUnexecutables

主要功能是从pending中移除无效的交易，同时将后续的交易都移动到queue。
1）丢弃nonce值过低的交易：list.Foward(nonce)
2）删除账户余额已经不足以支付交易的交易：list.Filter(pool.currentState.GetBalance(addr), pool.currentMaxGas)
3）将暂时无效的交易移动到queue：
4）如果前面有间隙，将后面的交易移到queue中。

func (pool *TxPool) demoteUnexecutables() {
	// 遍历pending列表，获取每个addr的最新nonce值
	for addr, list := range pool.pending {
		nonce := pool.currentState.GetNonce(addr)

		// 剔除nonce小于上面nonce值的交易，从all和priced中删除
		for _, tx := range list.Forward(nonce) {
			hash := tx.Hash()
			log.Trace("Removed old pending transaction", "hash", hash)
			pool.all.Remove(hash)
			pool.priced.Removed()
		}
		// 返回账户余额已经不足以支付交易费用和一些暂时无效的交易
		drops, invalids := list.Filter(pool.currentState.GetBalance(addr), pool.currentMaxGas)
		for _, tx := range drops {
			hash := tx.Hash()
			log.Trace("Removed unpayable pending transaction", "hash", hash)
			pool.all.Remove(hash)
			pool.priced.Removed()
			pendingNofundsCounter.Inc(1)
		}
                // 将暂时无效的交易放到queue中
		for _, tx := range invalids {
			hash := tx.Hash()
			log.Trace("Demoting pending transaction", "hash", hash)
			pool.enqueueTx(hash, tx)
		}
		// 如果有间隙，将后面的交易移动到queue列表中
		if list.Len() > 0 && list.txs.Get(nonce) == nil {
			for _, tx := range list.Cap(0) {
				hash := tx.Hash()
				log.Error("Demoting invalidated transaction", "hash", hash)
				pool.enqueueTx(hash, tx)
			}
		}
		// 如果经过上面的降级，pending里某个addr一个交易都没有，就把该账户给删除
		if list.Empty() {
			delete(pool.pending, addr)
			delete(pool.beats, addr)
		}
	}
}

交易降级有三种可能的情况：

1、分叉导致Account的Nonce值降低：假如原规范链上某账户的交易序号m都已经上链，但分叉后新规范链上交易序号m没有上链，这就导致在规范链上的记录的账户的Nonce降低（由m+1变成了m），这样交易m就必须要回滚到交易池，放到queue中；

2、分叉后出现间隙：间隙的出现通常是因为交易余额问题导致的。假如原规范链上交易m花费100，分叉后该账户又发出一个交易m花费200，这就导致该账户余额本来可以支付原来规范链上的某笔交易，但在新的规范链上可能就不够了。这个余额不足的交易如果是m+3，那么在m+2，m+4号交易之间就出现了空隙，这就导致从m+