github.com/DxChainNetwork/dxc@v0.8.1-0.20220824085222-1162e304b6e7/core/state/journal.go (about)

     1  // Copyright 2016 The go-ethereum Authors
     2  // This file is part of the go-ethereum library.
     3  //
     4  // The go-ethereum library is free software: you can redistribute it and/or modify
     5  // it under the terms of the GNU Lesser General Public License as published by
     6  // the Free Software Foundation, either version 3 of the License, or
     7  // (at your option) any later version.
     8  //
     9  // The go-ethereum library is distributed in the hope that it will be useful,
    10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  // GNU Lesser General Public License for more details.
    13  //
    14  // You should have received a copy of the GNU Lesser General Public License
    15  // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
    16  
    17  package state
    18  
    19  import (
    20  	"math/big"
    21  
    22  	"github.com/DxChainNetwork/dxc/common"
    23  )
    24  
    25  // journalEntry is a modification entry in the state change journal that can be
    26  // reverted on demand.
    27  type journalEntry interface {
    28  	// revert undoes the changes introduced by this journal entry.
    29  	revert(*StateDB)
    30  
    31  	// dirtied returns the Ethereum address modified by this journal entry.
    32  	dirtied() *common.Address
    33  }
    34  
    35  // journal contains the list of state modifications applied since the last state
    36  // commit. These are tracked to be able to be reverted in case of an execution
    37  // exception or revertal request.
    38  type journal struct {
    39  	entries []journalEntry         // Current changes tracked by the journal
    40  	dirties map[common.Address]int // Dirty accounts and the number of changes
    41  }
    42  
    43  // newJournal create a new initialized journal.
    44  func newJournal() *journal {
    45  	return &journal{
    46  		dirties: make(map[common.Address]int),
    47  	}
    48  }
    49  
    50  // append inserts a new modification entry to the end of the change journal.
    51  func (j *journal) append(entry journalEntry) {
    52  	j.entries = append(j.entries, entry)
    53  	if addr := entry.dirtied(); addr != nil {
    54  		j.dirties[*addr]++
    55  	}
    56  }
    57  
    58  // revert undoes a batch of journalled modifications along with any reverted
    59  // dirty handling too.
    60  func (j *journal) revert(statedb *StateDB, snapshot int) {
    61  	for i := len(j.entries) - 1; i >= snapshot; i-- {
    62  		// Undo the changes made by the operation
    63  		j.entries[i].revert(statedb)
    64  
    65  		// Drop any dirty tracking induced by the change
    66  		if addr := j.entries[i].dirtied(); addr != nil {
    67  			if j.dirties[*addr]--; j.dirties[*addr] == 0 {
    68  				delete(j.dirties, *addr)
    69  			}
    70  		}
    71  	}
    72  	j.entries = j.entries[:snapshot]
    73  }
    74  
    75  // dirty explicitly sets an address to dirty, even if the change entries would
    76  // otherwise suggest it as clean. This method is an ugly hack to handle the RIPEMD
    77  // precompile consensus exception.
    78  func (j *journal) dirty(addr common.Address) {
    79  	j.dirties[addr]++
    80  }
    81  
    82  // length returns the current number of entries in the journal.
    83  func (j *journal) length() int {
    84  	return len(j.entries)
    85  }
    86  
    87  type (
    88  	// Changes to the account trie.
    89  	createObjectChange struct {
    90  		account *common.Address
    91  	}
    92  	resetObjectChange struct {
    93  		prev         *stateObject
    94  		prevdestruct bool
    95  	}
    96  	suicideChange struct {
    97  		account     *common.Address
    98  		prev        bool // whether account had already suicided
    99  		prevbalance *big.Int
   100  	}
   101  
   102  	// Changes to individual accounts.
   103  	balanceChange struct {
   104  		account *common.Address
   105  		prev    *big.Int
   106  	}
   107  	nonceChange struct {
   108  		account *common.Address
   109  		prev    uint64
   110  	}
   111  	storageChange struct {
   112  		account       *common.Address
   113  		key, prevalue common.Hash
   114  	}
   115  	codeChange struct {
   116  		account            *common.Address
   117  		prevcode, prevhash []byte
   118  	}
   119  
   120  	// Changes to other state values.
   121  	refundChange struct {
   122  		prev uint64
   123  	}
   124  	addLogChange struct {
   125  		txhash common.Hash
   126  	}
   127  	addPreimageChange struct {
   128  		hash common.Hash
   129  	}
   130  	touchChange struct {
   131  		account *common.Address
   132  	}
   133  	// Changes to the access list
   134  	accessListAddAccountChange struct {
   135  		address *common.Address
   136  	}
   137  	accessListAddSlotChange struct {
   138  		address *common.Address
   139  		slot    *common.Hash
   140  	}
   141  
   142  	eraseChange struct {
   143  		account            *common.Address
   144  		prevcode, prevhash []byte
   145  		prevroot           common.Hash
   146  	}
   147  )
   148  
   149  func (ch createObjectChange) revert(s *StateDB) {
   150  	delete(s.stateObjects, *ch.account)
   151  	delete(s.stateObjectsDirty, *ch.account)
   152  }
   153  
   154  func (ch createObjectChange) dirtied() *common.Address {
   155  	return ch.account
   156  }
   157  
   158  func (ch resetObjectChange) revert(s *StateDB) {
   159  	s.setStateObject(ch.prev)
   160  	if !ch.prevdestruct && s.snap != nil {
   161  		delete(s.snapDestructs, ch.prev.addrHash)
   162  	}
   163  }
   164  
   165  func (ch resetObjectChange) dirtied() *common.Address {
   166  	return nil
   167  }
   168  
   169  func (ch suicideChange) revert(s *StateDB) {
   170  	obj := s.getStateObject(*ch.account)
   171  	if obj != nil {
   172  		obj.suicided = ch.prev
   173  		obj.setBalance(ch.prevbalance)
   174  	}
   175  }
   176  
   177  func (ch suicideChange) dirtied() *common.Address {
   178  	return ch.account
   179  }
   180  
   181  var ripemd = common.HexToAddress("0000000000000000000000000000000000000003")
   182  
   183  func (ch touchChange) revert(s *StateDB) {
   184  }
   185  
   186  func (ch touchChange) dirtied() *common.Address {
   187  	return ch.account
   188  }
   189  
   190  func (ch balanceChange) revert(s *StateDB) {
   191  	s.getStateObject(*ch.account).setBalance(ch.prev)
   192  }
   193  
   194  func (ch balanceChange) dirtied() *common.Address {
   195  	return ch.account
   196  }
   197  
   198  func (ch nonceChange) revert(s *StateDB) {
   199  	s.getStateObject(*ch.account).setNonce(ch.prev)
   200  }
   201  
   202  func (ch nonceChange) dirtied() *common.Address {
   203  	return ch.account
   204  }
   205  
   206  func (ch codeChange) revert(s *StateDB) {
   207  	s.getStateObject(*ch.account).setCode(common.BytesToHash(ch.prevhash), ch.prevcode)
   208  }
   209  
   210  func (ch codeChange) dirtied() *common.Address {
   211  	return ch.account
   212  }
   213  
   214  func (ch storageChange) revert(s *StateDB) {
   215  	s.getStateObject(*ch.account).setState(ch.key, ch.prevalue)
   216  }
   217  
   218  func (ch storageChange) dirtied() *common.Address {
   219  	return ch.account
   220  }
   221  
   222  func (ch refundChange) revert(s *StateDB) {
   223  	s.refund = ch.prev
   224  }
   225  
   226  func (ch refundChange) dirtied() *common.Address {
   227  	return nil
   228  }
   229  
   230  func (ch addLogChange) revert(s *StateDB) {
   231  	logs := s.logs[ch.txhash]
   232  	if len(logs) == 1 {
   233  		delete(s.logs, ch.txhash)
   234  	} else {
   235  		s.logs[ch.txhash] = logs[:len(logs)-1]
   236  	}
   237  	s.logSize--
   238  }
   239  
   240  func (ch addLogChange) dirtied() *common.Address {
   241  	return nil
   242  }
   243  
   244  func (ch addPreimageChange) revert(s *StateDB) {
   245  	delete(s.preimages, ch.hash)
   246  }
   247  
   248  func (ch addPreimageChange) dirtied() *common.Address {
   249  	return nil
   250  }
   251  
   252  func (ch accessListAddAccountChange) revert(s *StateDB) {
   253  	/*
   254  		One important invariant here, is that whenever a (addr, slot) is added, if the
   255  		addr is not already present, the add causes two journal entries:
   256  		- one for the address,
   257  		- one for the (address,slot)
   258  		Therefore, when unrolling the change, we can always blindly delete the
   259  		(addr) at this point, since no storage adds can remain when come upon
   260  		a single (addr) change.
   261  	*/
   262  	s.accessList.DeleteAddress(*ch.address)
   263  }
   264  
   265  func (ch accessListAddAccountChange) dirtied() *common.Address {
   266  	return nil
   267  }
   268  
   269  func (ch accessListAddSlotChange) revert(s *StateDB) {
   270  	s.accessList.DeleteSlot(*ch.address, *ch.slot)
   271  }
   272  
   273  func (ch accessListAddSlotChange) dirtied() *common.Address {
   274  	return nil
   275  }
   276  
   277  func (ch eraseChange) revert(s *StateDB) {
   278  	obj := s.getStateObject(*ch.account)
   279  	obj.revertErase(common.BytesToHash(ch.prevhash), ch.prevcode, ch.prevroot)
   280  }
   281  
   282  func (ch eraseChange) dirtied() *common.Address {
   283  	return ch.account
   284  }