0e35240fe9
License: MIT Signed-off-by: Jakub Sztandera <kubuxu@protonmail.ch>
384 lines
9.0 KiB
Go
384 lines
9.0 KiB
Go
package vm
|
|
|
|
import (
|
|
"context"
|
|
"fmt"
|
|
|
|
"github.com/filecoin-project/go-lotus/chain/actors"
|
|
"github.com/filecoin-project/go-lotus/chain/actors/aerrors"
|
|
"github.com/filecoin-project/go-lotus/chain/address"
|
|
"github.com/filecoin-project/go-lotus/chain/state"
|
|
"github.com/filecoin-project/go-lotus/chain/store"
|
|
"github.com/filecoin-project/go-lotus/chain/types"
|
|
"github.com/filecoin-project/go-lotus/lib/bufbstore"
|
|
"go.opencensus.io/trace"
|
|
|
|
bserv "github.com/ipfs/go-blockservice"
|
|
cid "github.com/ipfs/go-cid"
|
|
hamt "github.com/ipfs/go-hamt-ipld"
|
|
ipld "github.com/ipfs/go-ipld-format"
|
|
logging "github.com/ipfs/go-log"
|
|
dag "github.com/ipfs/go-merkledag"
|
|
"golang.org/x/xerrors"
|
|
)
|
|
|
|
var log = logging.Logger("vm")
|
|
|
|
type VMContext struct {
|
|
ctx context.Context
|
|
|
|
vm *VM
|
|
state *state.StateTree
|
|
msg *types.Message
|
|
height uint64
|
|
cst *hamt.CborIpldStore
|
|
|
|
// root cid of the state of the actor this invocation will be on
|
|
sroot cid.Cid
|
|
|
|
// address that started invokation chain
|
|
origin address.Address
|
|
|
|
storage *storage
|
|
}
|
|
|
|
// Message is the message that kicked off the current invocation
|
|
func (vmc *VMContext) Message() *types.Message {
|
|
return vmc.msg
|
|
}
|
|
|
|
type storage struct {
|
|
// would be great to stop depending on this crap everywhere
|
|
// I am my own worst enemy
|
|
cst *hamt.CborIpldStore
|
|
head cid.Cid
|
|
}
|
|
|
|
func (s *storage) Put(i interface{}) (cid.Cid, aerrors.ActorError) {
|
|
c, err := s.cst.Put(context.TODO(), i)
|
|
if err != nil {
|
|
return cid.Undef, aerrors.Escalate(err, "putting cid")
|
|
}
|
|
return c, nil
|
|
}
|
|
|
|
func (s *storage) Get(c cid.Cid, out interface{}) aerrors.ActorError {
|
|
return aerrors.Escalate(s.cst.Get(context.TODO(), c, out), "getting cid")
|
|
}
|
|
|
|
func (s *storage) GetHead() cid.Cid {
|
|
return s.head
|
|
}
|
|
|
|
func (s *storage) Commit(oldh, newh cid.Cid) aerrors.ActorError {
|
|
if s.head != oldh {
|
|
return aerrors.New(1, "failed to update, inconsistent base reference")
|
|
}
|
|
|
|
s.head = newh
|
|
return nil
|
|
}
|
|
|
|
// Storage provides access to the VM storage layer
|
|
func (vmc *VMContext) Storage() types.Storage {
|
|
return vmc.storage
|
|
}
|
|
|
|
func (vmc *VMContext) Ipld() *hamt.CborIpldStore {
|
|
return vmc.cst
|
|
}
|
|
|
|
func (vmc *VMContext) Origin() address.Address {
|
|
return vmc.origin
|
|
}
|
|
|
|
// Send allows the current execution context to invoke methods on other actors in the system
|
|
func (vmc *VMContext) Send(to address.Address, method uint64, value types.BigInt, params []byte) ([]byte, aerrors.ActorError) {
|
|
ctx, span := trace.StartSpan(vmc.ctx, "vm.send")
|
|
defer span.End()
|
|
if span.IsRecordingEvents() {
|
|
span.AddAttributes(
|
|
trace.StringAttribute("to", to.String()),
|
|
trace.Int64Attribute("method", int64(method)),
|
|
trace.StringAttribute("value", value.String()),
|
|
)
|
|
}
|
|
|
|
msg := &types.Message{
|
|
From: vmc.msg.To,
|
|
To: to,
|
|
Method: method,
|
|
Value: value,
|
|
Params: params,
|
|
}
|
|
|
|
toAct, err := vmc.state.GetActor(to)
|
|
if err != nil {
|
|
return nil, aerrors.Absorb(err, 2, "could not find actor for Send")
|
|
}
|
|
|
|
nvmctx := vmc.vm.makeVMContext(ctx, toAct.Head, vmc.origin, msg)
|
|
|
|
res, aerr := vmc.vm.Invoke(toAct, nvmctx, method, params)
|
|
if aerr != nil {
|
|
return nil, aerr
|
|
}
|
|
|
|
toAct.Head = nvmctx.Storage().GetHead()
|
|
|
|
return res, nil
|
|
}
|
|
|
|
// BlockHeight returns the height of the block this message was added to the chain in
|
|
func (vmc *VMContext) BlockHeight() uint64 {
|
|
return vmc.height
|
|
}
|
|
|
|
func (vmc *VMContext) GasUsed() types.BigInt {
|
|
return types.NewInt(0)
|
|
}
|
|
|
|
func (vmc *VMContext) StateTree() (types.StateTree, aerrors.ActorError) {
|
|
if vmc.msg.To != actors.InitActorAddress {
|
|
return nil, aerrors.Escalate(fmt.Errorf("only init actor can access state tree directly"), "invalid use of StateTree")
|
|
}
|
|
|
|
return vmc.state, nil
|
|
}
|
|
|
|
func (vmctx *VMContext) VerifySignature(sig types.Signature, act address.Address) aerrors.ActorError {
|
|
panic("NYI")
|
|
}
|
|
|
|
func (vm *VM) makeVMContext(ctx context.Context, sroot cid.Cid, origin address.Address, msg *types.Message) *VMContext {
|
|
|
|
return &VMContext{
|
|
ctx: ctx,
|
|
vm: vm,
|
|
state: vm.cstate,
|
|
sroot: sroot,
|
|
msg: msg,
|
|
origin: origin,
|
|
height: vm.blockHeight,
|
|
cst: vm.cst,
|
|
storage: &storage{
|
|
cst: vm.cst,
|
|
head: sroot,
|
|
},
|
|
}
|
|
}
|
|
|
|
type VM struct {
|
|
cstate *state.StateTree
|
|
base cid.Cid
|
|
cs *store.ChainStore
|
|
cst *hamt.CborIpldStore
|
|
buf *bufbstore.BufferedBS
|
|
blockHeight uint64
|
|
blockMiner address.Address
|
|
inv *invoker
|
|
}
|
|
|
|
func NewVM(base cid.Cid, height uint64, maddr address.Address, cs *store.ChainStore) (*VM, error) {
|
|
buf := bufbstore.NewBufferedBstore(cs.Blockstore())
|
|
cst := hamt.CSTFromBstore(buf)
|
|
state, err := state.LoadStateTree(cst, base)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
return &VM{
|
|
cstate: state,
|
|
base: base,
|
|
cs: cs,
|
|
cst: cst,
|
|
buf: buf,
|
|
blockHeight: height,
|
|
blockMiner: maddr,
|
|
inv: newInvoker(),
|
|
}, nil
|
|
}
|
|
|
|
func (vm *VM) ApplyMessage(ctx context.Context, msg *types.Message) (*types.MessageReceipt, error) {
|
|
ctx, span := trace.StartSpan(ctx, "vm.ApplyMessage")
|
|
defer span.End()
|
|
|
|
st := vm.cstate
|
|
st.Snapshot()
|
|
fromActor, err := st.GetActor(msg.From)
|
|
if err != nil {
|
|
return nil, xerrors.Errorf("from actor not found: %w", err)
|
|
}
|
|
|
|
gascost := types.BigMul(msg.GasLimit, msg.GasPrice)
|
|
totalCost := types.BigAdd(gascost, msg.Value)
|
|
if types.BigCmp(fromActor.Balance, totalCost) < 0 {
|
|
return nil, xerrors.Errorf("not enough funds")
|
|
}
|
|
|
|
if msg.Nonce != fromActor.Nonce {
|
|
return nil, xerrors.Errorf("invalid nonce")
|
|
}
|
|
fromActor.Nonce++
|
|
|
|
toActor, err := st.GetActor(msg.To)
|
|
if err != nil {
|
|
if xerrors.Is(err, types.ErrActorNotFound) {
|
|
a, err := TryCreateAccountActor(st, msg.To)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
toActor = a
|
|
} else {
|
|
return nil, err
|
|
}
|
|
}
|
|
|
|
if err := DeductFunds(fromActor, totalCost); err != nil {
|
|
return nil, xerrors.Errorf("failed to deduct funds: %w", err)
|
|
}
|
|
DepositFunds(toActor, msg.Value)
|
|
|
|
vmctx := vm.makeVMContext(ctx, toActor.Head, msg.From, msg)
|
|
|
|
var errcode byte
|
|
var ret []byte
|
|
if msg.Method != 0 {
|
|
var err aerrors.ActorError
|
|
ret, err = vm.Invoke(toActor, vmctx, msg.Method, msg.Params)
|
|
|
|
if aerrors.IsFatal(err) {
|
|
return nil, xerrors.Errorf("during invoke: %w", err)
|
|
}
|
|
|
|
if errcode = aerrors.RetCode(err); errcode != 0 {
|
|
// revert all state changes since snapshot
|
|
st.Revert()
|
|
gascost := types.BigMul(vmctx.GasUsed(), msg.GasPrice)
|
|
if err := DeductFunds(fromActor, gascost); err != nil {
|
|
panic("invariant violated: " + err.Error())
|
|
}
|
|
|
|
} else {
|
|
// Update actor head reference
|
|
toActor.Head = vmctx.storage.head
|
|
// refund unused gas
|
|
refund := types.BigMul(types.BigSub(msg.GasLimit, vmctx.GasUsed()), msg.GasPrice)
|
|
DepositFunds(fromActor, refund)
|
|
}
|
|
}
|
|
|
|
// reward miner gas fees
|
|
miner, err := st.GetActor(vm.blockMiner)
|
|
if err != nil {
|
|
return nil, xerrors.Errorf("getting block miner actor (%s) failed: %w", vm.blockMiner, err)
|
|
}
|
|
|
|
gasReward := types.BigMul(msg.GasPrice, vmctx.GasUsed())
|
|
DepositFunds(miner, gasReward)
|
|
|
|
return &types.MessageReceipt{
|
|
ExitCode: errcode,
|
|
Return: ret,
|
|
GasUsed: vmctx.GasUsed(),
|
|
}, nil
|
|
}
|
|
|
|
func (vm *VM) Flush(ctx context.Context) (cid.Cid, error) {
|
|
from := dag.NewDAGService(bserv.New(vm.buf, nil))
|
|
to := dag.NewDAGService(bserv.New(vm.buf.Read(), nil))
|
|
|
|
root, err := vm.cstate.Flush()
|
|
if err != nil {
|
|
return cid.Undef, xerrors.Errorf("flushing vm: %w", err)
|
|
}
|
|
|
|
if err := Copy(ctx, from, to, root); err != nil {
|
|
return cid.Undef, xerrors.Errorf("copying tree: %w", err)
|
|
}
|
|
|
|
return root, nil
|
|
}
|
|
|
|
func Copy(ctx context.Context, from, to ipld.DAGService, root cid.Cid) error {
|
|
if root.Prefix().MhType == 0 {
|
|
// identity cid, skip
|
|
return nil
|
|
}
|
|
node, err := from.Get(ctx, root)
|
|
if err != nil {
|
|
return xerrors.Errorf("get %s failed: %w", root, err)
|
|
}
|
|
links := node.Links()
|
|
for _, link := range links {
|
|
_, err := to.Get(ctx, link.Cid)
|
|
switch err {
|
|
default:
|
|
return err
|
|
case nil:
|
|
continue
|
|
case ipld.ErrNotFound:
|
|
// continue
|
|
}
|
|
if err := Copy(ctx, from, to, link.Cid); err != nil {
|
|
return err
|
|
}
|
|
}
|
|
err = to.Add(ctx, node)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
return nil
|
|
}
|
|
|
|
func (vm *VM) TransferFunds(from, to address.Address, amt types.BigInt) error {
|
|
if from == to {
|
|
return nil
|
|
}
|
|
|
|
fromAct, err := vm.cstate.GetActor(from)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
toAct, err := vm.cstate.GetActor(from)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
if err := DeductFunds(fromAct, amt); err != nil {
|
|
return xerrors.Errorf("failed to deduct funds: %w", err)
|
|
}
|
|
DepositFunds(toAct, amt)
|
|
|
|
return nil
|
|
}
|
|
|
|
func (vm *VM) Invoke(act *types.Actor, vmctx *VMContext, method uint64, params []byte) ([]byte, aerrors.ActorError) {
|
|
ctx, span := trace.StartSpan(vmctx.ctx, "vm.Invoke")
|
|
defer span.End()
|
|
var oldCtx context.Context
|
|
oldCtx, vmctx.ctx = vmctx.ctx, ctx
|
|
defer func() {
|
|
vmctx.ctx = oldCtx
|
|
}()
|
|
ret, err := vm.inv.Invoke(act, vmctx, method, params)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
return ret, nil
|
|
}
|
|
|
|
func DeductFunds(act *types.Actor, amt types.BigInt) error {
|
|
if types.BigCmp(act.Balance, amt) < 0 {
|
|
return fmt.Errorf("not enough funds")
|
|
}
|
|
|
|
act.Balance = types.BigSub(act.Balance, amt)
|
|
return nil
|
|
}
|
|
|
|
func DepositFunds(act *types.Actor, amt types.BigInt) {
|
|
act.Balance = types.BigAdd(act.Balance, amt)
|
|
}
|