block_processor.go 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448
  1. package core
  2. import (
  3. "fmt"
  4. "math/big"
  5. "sync"
  6. "time"
  7. "github.com/ethereum/go-ethereum/common"
  8. "github.com/ethereum/go-ethereum/core/state"
  9. "github.com/ethereum/go-ethereum/core/types"
  10. "github.com/ethereum/go-ethereum/event"
  11. "github.com/ethereum/go-ethereum/logger"
  12. "github.com/ethereum/go-ethereum/logger/glog"
  13. "github.com/ethereum/go-ethereum/params"
  14. "github.com/ethereum/go-ethereum/pow"
  15. "github.com/ethereum/go-ethereum/rlp"
  16. "gopkg.in/fatih/set.v0"
  17. )
  18. const (
  19. // must be bumped when consensus algorithm is changed, this forces the upgradedb
  20. // command to be run (forces the blocks to be imported again using the new algorithm)
  21. BlockChainVersion = 3
  22. )
  23. var receiptsPre = []byte("receipts-")
  24. type BlockProcessor struct {
  25. db common.Database
  26. extraDb common.Database
  27. // Mutex for locking the block processor. Blocks can only be handled one at a time
  28. mutex sync.Mutex
  29. // Canonical block chain
  30. bc *ChainManager
  31. // non-persistent key/value memory storage
  32. mem map[string]*big.Int
  33. // Proof of work used for validating
  34. Pow pow.PoW
  35. events event.Subscription
  36. eventMux *event.TypeMux
  37. }
  38. func NewBlockProcessor(db, extra common.Database, pow pow.PoW, chainManager *ChainManager, eventMux *event.TypeMux) *BlockProcessor {
  39. sm := &BlockProcessor{
  40. db: db,
  41. extraDb: extra,
  42. mem: make(map[string]*big.Int),
  43. Pow: pow,
  44. bc: chainManager,
  45. eventMux: eventMux,
  46. }
  47. return sm
  48. }
  49. func (sm *BlockProcessor) TransitionState(statedb *state.StateDB, parent, block *types.Block, transientProcess bool) (receipts types.Receipts, err error) {
  50. coinbase := statedb.GetOrNewStateObject(block.Header().Coinbase)
  51. coinbase.SetGasPool(block.Header().GasLimit)
  52. // Process the transactions on to parent state
  53. receipts, err = sm.ApplyTransactions(coinbase, statedb, block, block.Transactions(), transientProcess)
  54. if err != nil {
  55. return nil, err
  56. }
  57. return receipts, nil
  58. }
  59. func (self *BlockProcessor) ApplyTransaction(coinbase *state.StateObject, statedb *state.StateDB, block *types.Block, tx *types.Transaction, usedGas *big.Int, transientProcess bool) (*types.Receipt, *big.Int, error) {
  60. // If we are mining this block and validating we want to set the logs back to 0
  61. cb := statedb.GetStateObject(coinbase.Address())
  62. _, gas, err := ApplyMessage(NewEnv(statedb, self.bc, tx, block), tx, cb)
  63. if err != nil && (IsNonceErr(err) || state.IsGasLimitErr(err) || IsInvalidTxErr(err)) {
  64. return nil, nil, err
  65. }
  66. // Update the state with pending changes
  67. statedb.Update()
  68. cumulative := new(big.Int).Set(usedGas.Add(usedGas, gas))
  69. receipt := types.NewReceipt(statedb.Root().Bytes(), cumulative)
  70. logs := statedb.GetLogs(tx.Hash())
  71. receipt.SetLogs(logs)
  72. receipt.Bloom = types.CreateBloom(types.Receipts{receipt})
  73. glog.V(logger.Debug).Infoln(receipt)
  74. // Notify all subscribers
  75. if !transientProcess {
  76. go self.eventMux.Post(TxPostEvent{tx})
  77. go self.eventMux.Post(logs)
  78. }
  79. return receipt, gas, err
  80. }
  81. func (self *BlockProcessor) ChainManager() *ChainManager {
  82. return self.bc
  83. }
  84. func (self *BlockProcessor) ApplyTransactions(coinbase *state.StateObject, statedb *state.StateDB, block *types.Block, txs types.Transactions, transientProcess bool) (types.Receipts, error) {
  85. var (
  86. receipts types.Receipts
  87. totalUsedGas = big.NewInt(0)
  88. err error
  89. cumulativeSum = new(big.Int)
  90. )
  91. for i, tx := range txs {
  92. statedb.StartRecord(tx.Hash(), block.Hash(), i)
  93. receipt, txGas, err := self.ApplyTransaction(coinbase, statedb, block, tx, totalUsedGas, transientProcess)
  94. if err != nil && (IsNonceErr(err) || state.IsGasLimitErr(err) || IsInvalidTxErr(err)) {
  95. return nil, err
  96. }
  97. if err != nil {
  98. glog.V(logger.Core).Infoln("TX err:", err)
  99. }
  100. receipts = append(receipts, receipt)
  101. cumulativeSum.Add(cumulativeSum, new(big.Int).Mul(txGas, tx.GasPrice()))
  102. }
  103. if block.GasUsed().Cmp(totalUsedGas) != 0 {
  104. return nil, ValidationError(fmt.Sprintf("gas used error (%v / %v)", block.GasUsed(), totalUsedGas))
  105. }
  106. if transientProcess {
  107. go self.eventMux.Post(PendingBlockEvent{block, statedb.Logs()})
  108. }
  109. return receipts, err
  110. }
  111. func (sm *BlockProcessor) RetryProcess(block *types.Block) (logs state.Logs, err error) {
  112. // Processing a blocks may never happen simultaneously
  113. sm.mutex.Lock()
  114. defer sm.mutex.Unlock()
  115. header := block.Header()
  116. if !sm.bc.HasBlock(header.ParentHash) {
  117. return nil, ParentError(header.ParentHash)
  118. }
  119. parent := sm.bc.GetBlock(header.ParentHash)
  120. // FIXME Change to full header validation. See #1225
  121. errch := make(chan bool)
  122. go func() { errch <- sm.Pow.Verify(block) }()
  123. logs, err = sm.processWithParent(block, parent)
  124. if !<-errch {
  125. return nil, ValidationError("Block's nonce is invalid (= %x)", block.Nonce)
  126. }
  127. return logs, err
  128. }
  129. // Process block will attempt to process the given block's transactions and applies them
  130. // on top of the block's parent state (given it exists) and will return wether it was
  131. // successful or not.
  132. func (sm *BlockProcessor) Process(block *types.Block) (logs state.Logs, err error) {
  133. // Processing a blocks may never happen simultaneously
  134. sm.mutex.Lock()
  135. defer sm.mutex.Unlock()
  136. header := block.Header()
  137. if sm.bc.HasBlock(header.Hash()) {
  138. return nil, &KnownBlockError{header.Number, header.Hash()}
  139. }
  140. if !sm.bc.HasBlock(header.ParentHash) {
  141. return nil, ParentError(header.ParentHash)
  142. }
  143. parent := sm.bc.GetBlock(header.ParentHash)
  144. return sm.processWithParent(block, parent)
  145. }
  146. func (sm *BlockProcessor) processWithParent(block, parent *types.Block) (logs state.Logs, err error) {
  147. // Create a new state based on the parent's root (e.g., create copy)
  148. state := state.New(parent.Root(), sm.db)
  149. // Block validation
  150. if err = ValidateHeader(sm.Pow, block.Header(), parent.Header(), false); err != nil {
  151. return
  152. }
  153. // There can be at most two uncles
  154. if len(block.Uncles()) > 2 {
  155. return nil, ValidationError("Block can only contain maximum 2 uncles (contained %v)", len(block.Uncles()))
  156. }
  157. receipts, err := sm.TransitionState(state, parent, block, false)
  158. if err != nil {
  159. return
  160. }
  161. header := block.Header()
  162. // Validate the received block's bloom with the one derived from the generated receipts.
  163. // For valid blocks this should always validate to true.
  164. rbloom := types.CreateBloom(receipts)
  165. if rbloom != header.Bloom {
  166. err = fmt.Errorf("unable to replicate block's bloom=%x", rbloom)
  167. return
  168. }
  169. // The transactions Trie's root (R = (Tr [[i, RLP(T1)], [i, RLP(T2)], ... [n, RLP(Tn)]]))
  170. // can be used by light clients to make sure they've received the correct Txs
  171. txSha := types.DeriveSha(block.Transactions())
  172. if txSha != header.TxHash {
  173. err = fmt.Errorf("invalid transaction root hash. received=%x calculated=%x", header.TxHash, txSha)
  174. return
  175. }
  176. // Tre receipt Trie's root (R = (Tr [[H1, R1], ... [Hn, R1]]))
  177. receiptSha := types.DeriveSha(receipts)
  178. if receiptSha != header.ReceiptHash {
  179. err = fmt.Errorf("invalid receipt root hash. received=%x calculated=%x", header.ReceiptHash, receiptSha)
  180. return
  181. }
  182. // Verify UncleHash before running other uncle validations
  183. unclesSha := block.CalculateUnclesHash()
  184. if unclesSha != header.UncleHash {
  185. err = fmt.Errorf("invalid uncles root hash. received=%x calculated=%x", header.UncleHash, unclesSha)
  186. return
  187. }
  188. // Verify uncles
  189. if err = sm.VerifyUncles(state, block, parent); err != nil {
  190. return
  191. }
  192. // Accumulate static rewards; block reward, uncle's and uncle inclusion.
  193. AccumulateRewards(state, block)
  194. // Commit state objects/accounts to a temporary trie (does not save)
  195. // used to calculate the state root.
  196. state.Update()
  197. if header.Root != state.Root() {
  198. err = fmt.Errorf("invalid merkle root. received=%x got=%x", header.Root, state.Root())
  199. return
  200. }
  201. // Sync the current block's state to the database
  202. state.Sync()
  203. // This puts transactions in a extra db for rpc
  204. for i, tx := range block.Transactions() {
  205. putTx(sm.extraDb, tx, block, uint64(i))
  206. }
  207. // store the receipts
  208. putReceipts(sm.extraDb, block.Hash(), receipts)
  209. return state.Logs(), nil
  210. }
  211. func (sm *BlockProcessor) VerifyUncles(statedb *state.StateDB, block, parent *types.Block) error {
  212. ancestors := set.New()
  213. uncles := set.New()
  214. ancestorHeaders := make(map[common.Hash]*types.Header)
  215. for _, ancestor := range sm.bc.GetAncestors(block, 7) {
  216. ancestorHeaders[ancestor.Hash()] = ancestor.Header()
  217. ancestors.Add(ancestor.Hash())
  218. // Include ancestors uncles in the uncle set. Uncles must be unique.
  219. for _, uncle := range ancestor.Uncles() {
  220. uncles.Add(uncle.Hash())
  221. }
  222. }
  223. uncles.Add(block.Hash())
  224. for i, uncle := range block.Uncles() {
  225. hash := uncle.Hash()
  226. if uncles.Has(hash) {
  227. // Error not unique
  228. return UncleError("uncle[%d](%x) not unique", i, hash[:4])
  229. }
  230. uncles.Add(hash)
  231. if ancestors.Has(hash) {
  232. branch := fmt.Sprintf(" O - %x\n |\n", block.Hash())
  233. ancestors.Each(func(item interface{}) bool {
  234. branch += fmt.Sprintf(" O - %x\n |\n", hash)
  235. return true
  236. })
  237. glog.Infoln(branch)
  238. return UncleError("uncle[%d](%x) is ancestor", i, hash[:4])
  239. }
  240. if !ancestors.Has(uncle.ParentHash) || uncle.ParentHash == parent.Hash() {
  241. return UncleError("uncle[%d](%x)'s parent is not ancestor (%x)", i, hash[:4], uncle.ParentHash[0:4])
  242. }
  243. if err := ValidateHeader(sm.Pow, uncle, ancestorHeaders[uncle.ParentHash], true); err != nil {
  244. return ValidationError(fmt.Sprintf("uncle[%d](%x) header invalid: %v", i, hash[:4], err))
  245. }
  246. }
  247. return nil
  248. }
  249. // GetBlockReceipts returns the receipts beloniging to the block hash
  250. func (sm *BlockProcessor) GetBlockReceipts(bhash common.Hash) (receipts types.Receipts, err error) {
  251. return getBlockReceipts(sm.extraDb, bhash)
  252. }
  253. // GetLogs returns the logs of the given block. This method is using a two step approach
  254. // where it tries to get it from the (updated) method which gets them from the receipts or
  255. // the depricated way by re-processing the block.
  256. func (sm *BlockProcessor) GetLogs(block *types.Block) (logs state.Logs, err error) {
  257. receipts, err := sm.GetBlockReceipts(block.Hash())
  258. if err == nil && len(receipts) > 0 {
  259. // coalesce logs
  260. for _, receipt := range receipts {
  261. logs = append(logs, receipt.Logs()...)
  262. }
  263. return
  264. }
  265. // TODO: remove backward compatibility
  266. var (
  267. parent = sm.bc.GetBlock(block.Header().ParentHash)
  268. state = state.New(parent.Root(), sm.db)
  269. )
  270. sm.TransitionState(state, parent, block, true)
  271. return state.Logs(), nil
  272. }
  273. // See YP section 4.3.4. "Block Header Validity"
  274. // Validates a block. Returns an error if the block is invalid.
  275. func ValidateHeader(pow pow.PoW, block, parent *types.Header, checkPow bool) error {
  276. if big.NewInt(int64(len(block.Extra))).Cmp(params.MaximumExtraDataSize) == 1 {
  277. return fmt.Errorf("Block extra data too long (%d)", len(block.Extra))
  278. }
  279. expd := CalcDifficulty(block, parent)
  280. if expd.Cmp(block.Difficulty) != 0 {
  281. return fmt.Errorf("Difficulty check failed for block %v, %v", block.Difficulty, expd)
  282. }
  283. a := new(big.Int).Sub(block.GasLimit, parent.GasLimit)
  284. a.Abs(a)
  285. b := new(big.Int).Div(parent.GasLimit, params.GasLimitBoundDivisor)
  286. if !(a.Cmp(b) < 0) || (block.GasLimit.Cmp(params.MinGasLimit) == -1) {
  287. return fmt.Errorf("GasLimit check failed for block %v (%v > %v)", block.GasLimit, a, b)
  288. }
  289. if int64(block.Time) > time.Now().Unix() {
  290. return BlockFutureErr
  291. }
  292. if new(big.Int).Sub(block.Number, parent.Number).Cmp(big.NewInt(1)) != 0 {
  293. return BlockNumberErr
  294. }
  295. if block.Time <= parent.Time {
  296. return BlockEqualTSErr //ValidationError("Block timestamp equal or less than previous block (%v - %v)", block.Time, parent.Time)
  297. }
  298. if checkPow {
  299. // Verify the nonce of the block. Return an error if it's not valid
  300. if !pow.Verify(types.NewBlockWithHeader(block)) {
  301. return ValidationError("Block's nonce is invalid (= %x)", block.Nonce)
  302. }
  303. }
  304. return nil
  305. }
  306. func AccumulateRewards(statedb *state.StateDB, block *types.Block) {
  307. reward := new(big.Int).Set(BlockReward)
  308. for _, uncle := range block.Uncles() {
  309. num := new(big.Int).Add(big.NewInt(8), uncle.Number)
  310. num.Sub(num, block.Number())
  311. r := new(big.Int)
  312. r.Mul(BlockReward, num)
  313. r.Div(r, big.NewInt(8))
  314. statedb.AddBalance(uncle.Coinbase, r)
  315. reward.Add(reward, new(big.Int).Div(BlockReward, big.NewInt(32)))
  316. }
  317. // Get the account associated with the coinbase
  318. statedb.AddBalance(block.Header().Coinbase, reward)
  319. }
  320. func getBlockReceipts(db common.Database, bhash common.Hash) (receipts types.Receipts, err error) {
  321. var rdata []byte
  322. rdata, err = db.Get(append(receiptsPre, bhash[:]...))
  323. if err == nil {
  324. err = rlp.DecodeBytes(rdata, &receipts)
  325. } else {
  326. glog.V(logger.Detail).Infof("getBlockReceipts error %v\n", err)
  327. }
  328. return
  329. }
  330. func putTx(db common.Database, tx *types.Transaction, block *types.Block, i uint64) {
  331. rlpEnc, err := rlp.EncodeToBytes(tx)
  332. if err != nil {
  333. glog.V(logger.Debug).Infoln("Failed encoding tx", err)
  334. return
  335. }
  336. db.Put(tx.Hash().Bytes(), rlpEnc)
  337. var txExtra struct {
  338. BlockHash common.Hash
  339. BlockIndex uint64
  340. Index uint64
  341. }
  342. txExtra.BlockHash = block.Hash()
  343. txExtra.BlockIndex = block.NumberU64()
  344. txExtra.Index = i
  345. rlpMeta, err := rlp.EncodeToBytes(txExtra)
  346. if err != nil {
  347. glog.V(logger.Debug).Infoln("Failed encoding tx meta data", err)
  348. return
  349. }
  350. db.Put(append(tx.Hash().Bytes(), 0x0001), rlpMeta)
  351. }
  352. func putReceipts(db common.Database, hash common.Hash, receipts types.Receipts) error {
  353. storageReceipts := make([]*types.ReceiptForStorage, len(receipts))
  354. for i, receipt := range receipts {
  355. storageReceipts[i] = (*types.ReceiptForStorage)(receipt)
  356. }
  357. bytes, err := rlp.EncodeToBytes(storageReceipts)
  358. if err != nil {
  359. return err
  360. }
  361. db.Put(append(receiptsPre, hash[:]...), bytes)
  362. return nil
  363. }