github.com/etherbanking/go-etherbanking@v1.7.1-0.20181009210156-cf649bca5aba/core/vm/interpreter.go (about) 1 // Copyright 2014 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 vm 18 19 import ( 20 "fmt" 21 "sync/atomic" 22 23 "github.com/etherbanking/go-etherbanking/common" 24 "github.com/etherbanking/go-etherbanking/common/math" 25 "github.com/etherbanking/go-etherbanking/crypto" 26 "github.com/etherbanking/go-etherbanking/params" 27 ) 28 29 // Config are the configuration options for the Interpreter 30 type Config struct { 31 // Debug enabled debugging Interpreter options 32 Debug bool 33 // EnableJit enabled the JIT VM 34 EnableJit bool 35 // ForceJit forces the JIT VM 36 ForceJit bool 37 // Tracer is the op code logger 38 Tracer Tracer 39 // NoRecursion disabled Interpreter call, callcode, 40 // delegate call and create. 41 NoRecursion bool 42 // Disable gas metering 43 DisableGasMetering bool 44 // Enable recording of SHA3/keccak preimages 45 EnablePreimageRecording bool 46 // JumpTable contains the EVM instruction table. This 47 // may be left uninitialised and will be set to the default 48 // table. 49 JumpTable [256]operation 50 } 51 52 // Interpreter is used to run Ethereum based contracts and will utilise the 53 // passed evmironment to query external sources for state information. 54 // The Interpreter will run the byte code VM or JIT VM based on the passed 55 // configuration. 56 type Interpreter struct { 57 evm *EVM 58 cfg Config 59 gasTable params.GasTable 60 intPool *intPool 61 62 readOnly bool // Whether to throw on stateful modifications 63 returnData []byte // Last CALL's return data for subsequent reuse 64 } 65 66 // NewInterpreter returns a new instance of the Interpreter. 67 func NewInterpreter(evm *EVM, cfg Config) *Interpreter { 68 // We use the STOP instruction whether to see 69 // the jump table was initialised. If it was not 70 // we'll set the default jump table. 71 if !cfg.JumpTable[STOP].valid { 72 switch { 73 case evm.ChainConfig().IsByzantium(evm.BlockNumber): 74 cfg.JumpTable = byzantiumInstructionSet 75 case evm.ChainConfig().IsHomestead(evm.BlockNumber): 76 cfg.JumpTable = homesteadInstructionSet 77 default: 78 cfg.JumpTable = frontierInstructionSet 79 } 80 } 81 82 return &Interpreter{ 83 evm: evm, 84 cfg: cfg, 85 gasTable: evm.ChainConfig().GasTable(evm.BlockNumber), 86 intPool: newIntPool(), 87 } 88 } 89 90 func (in *Interpreter) enforceRestrictions(op OpCode, operation operation, stack *Stack) error { 91 if in.evm.chainRules.IsByzantium { 92 if in.readOnly { 93 // If the interpreter is operating in readonly mode, make sure no 94 // state-modifying operation is performed. The 3rd stack item 95 // for a call operation is the value. Transferring value from one 96 // account to the others means the state is modified and should also 97 // return with an error. 98 if operation.writes || (op == CALL && stack.Back(2).BitLen() > 0) { 99 return errWriteProtection 100 } 101 } 102 } 103 return nil 104 } 105 106 // Run loops and evaluates the contract's code with the given input data and returns 107 // the return byte-slice and an error if one occurred. 108 // 109 // It's important to note that any errors returned by the interpreter should be 110 // considered a revert-and-consume-all-gas operation. No error specific checks 111 // should be handled to reduce complexity and errors further down the in. 112 func (in *Interpreter) Run(snapshot int, contract *Contract, input []byte) (ret []byte, err error) { 113 // Increment the call depth which is restricted to 1024 114 in.evm.depth++ 115 defer func() { in.evm.depth-- }() 116 117 // Reset the previous call's return data. It's unimportant to preserve the old buffer 118 // as every returning call will return new data anyway. 119 in.returnData = nil 120 121 // Don't bother with the execution if there's no code. 122 if len(contract.Code) == 0 { 123 return nil, nil 124 } 125 126 codehash := contract.CodeHash // codehash is used when doing jump dest caching 127 if codehash == (common.Hash{}) { 128 codehash = crypto.Keccak256Hash(contract.Code) 129 } 130 131 var ( 132 op OpCode // current opcode 133 mem = NewMemory() // bound memory 134 stack = newstack() // local stack 135 // For optimisation reason we're using uint64 as the program counter. 136 // It's theoretically possible to go above 2^64. The YP defines the PC 137 // to be uint256. Practically much less so feasible. 138 pc = uint64(0) // program counter 139 cost uint64 140 ) 141 contract.Input = input 142 143 defer func() { 144 if err != nil && in.cfg.Debug { 145 in.cfg.Tracer.CaptureState(in.evm, pc, op, contract.Gas, cost, mem, stack, contract, in.evm.depth, err) 146 } 147 }() 148 149 // The Interpreter main run loop (contextual). This loop runs until either an 150 // explicit STOP, RETURN or SELFDESTRUCT is executed, an error occurred during 151 // the execution of one of the operations or until the done flag is set by the 152 // parent context. 153 for atomic.LoadInt32(&in.evm.abort) == 0 { 154 // Get the memory location of pc 155 op = contract.GetOp(pc) 156 157 // get the operation from the jump table matching the opcode 158 operation := in.cfg.JumpTable[op] 159 if err := in.enforceRestrictions(op, operation, stack); err != nil { 160 return nil, err 161 } 162 163 // if the op is invalid abort the process and return an error 164 if !operation.valid { 165 return nil, fmt.Errorf("invalid opcode 0x%x", int(op)) 166 } 167 168 // validate the stack and make sure there enough stack items available 169 // to perform the operation 170 if err := operation.validateStack(stack); err != nil { 171 return nil, err 172 } 173 174 var memorySize uint64 175 // calculate the new memory size and expand the memory to fit 176 // the operation 177 if operation.memorySize != nil { 178 memSize, overflow := bigUint64(operation.memorySize(stack)) 179 if overflow { 180 return nil, errGasUintOverflow 181 } 182 // memory is expanded in words of 32 bytes. Gas 183 // is also calculated in words. 184 if memorySize, overflow = math.SafeMul(toWordSize(memSize), 32); overflow { 185 return nil, errGasUintOverflow 186 } 187 } 188 189 if !in.cfg.DisableGasMetering { 190 // consume the gas and return an error if not enough gas is available. 191 // cost is explicitly set so that the capture state defer method cas get the proper cost 192 cost, err = operation.gasCost(in.gasTable, in.evm, contract, stack, mem, memorySize) 193 if err != nil || !contract.UseGas(cost) { 194 return nil, ErrOutOfGas 195 } 196 } 197 if memorySize > 0 { 198 mem.Resize(memorySize) 199 } 200 201 if in.cfg.Debug { 202 in.cfg.Tracer.CaptureState(in.evm, pc, op, contract.Gas, cost, mem, stack, contract, in.evm.depth, err) 203 } 204 205 // execute the operation 206 res, err := operation.execute(&pc, in.evm, contract, mem, stack) 207 // verifyPool is a build flag. Pool verification makes sure the integrity 208 // of the integer pool by comparing values to a default value. 209 if verifyPool { 210 verifyIntegerPool(in.intPool) 211 } 212 // if the operation clears the return data (e.g. it has returning data) 213 // set the last return to the result of the operation. 214 if operation.returns { 215 in.returnData = res 216 } 217 218 switch { 219 case err != nil: 220 return nil, err 221 case operation.reverts: 222 return res, errExecutionReverted 223 case operation.halts: 224 return res, nil 225 case !operation.jumps: 226 pc++ 227 } 228 } 229 return nil, nil 230 }