2020-04-02 21:18:57 +00:00
package main
import (
2020-06-26 21:38:06 +00:00
"bufio"
2020-04-02 21:18:57 +00:00
"context"
"encoding/json"
"fmt"
2020-06-23 03:08:19 +00:00
"io"
2020-06-15 20:02:57 +00:00
"math"
2020-06-26 20:18:43 +00:00
"net/http"
_ "net/http/pprof"
2020-04-02 21:18:57 +00:00
"os"
2020-06-15 23:05:29 +00:00
"runtime"
2020-04-02 21:18:57 +00:00
"runtime/pprof"
2020-04-23 23:48:54 +00:00
"sort"
2020-04-02 21:18:57 +00:00
"time"
2020-11-04 17:09:01 +00:00
ocprom "contrib.go.opencensus.io/exporter/prometheus"
2022-06-14 15:00:51 +00:00
bdg "github.com/dgraph-io/badger/v2"
2020-11-03 21:23:41 +00:00
"github.com/ipfs/go-cid"
2022-06-14 15:00:51 +00:00
"github.com/ipfs/go-datastore"
badger "github.com/ipfs/go-ds-badger2"
measure "github.com/ipfs/go-ds-measure"
metricsprometheus "github.com/ipfs/go-metrics-prometheus"
"github.com/ipld/go-car"
2020-11-01 19:52:53 +00:00
"github.com/prometheus/client_golang/prometheus"
2020-11-01 20:01:57 +00:00
"github.com/prometheus/client_golang/prometheus/promauto"
2022-06-14 15:00:51 +00:00
"github.com/urfave/cli/v2"
"golang.org/x/xerrors"
"github.com/filecoin-project/go-state-types/abi"
2020-11-01 19:52:53 +00:00
2020-04-02 21:18:57 +00:00
"github.com/filecoin-project/lotus/api"
2021-01-29 20:01:00 +00:00
"github.com/filecoin-project/lotus/blockstore"
badgerbs "github.com/filecoin-project/lotus/blockstore/badger"
2022-09-27 10:21:42 +00:00
"github.com/filecoin-project/lotus/chain/consensus"
2021-09-02 16:07:23 +00:00
"github.com/filecoin-project/lotus/chain/consensus/filcns"
2023-03-12 13:33:36 +00:00
"github.com/filecoin-project/lotus/chain/index"
2020-04-02 21:18:57 +00:00
"github.com/filecoin-project/lotus/chain/stmgr"
"github.com/filecoin-project/lotus/chain/store"
"github.com/filecoin-project/lotus/chain/types"
"github.com/filecoin-project/lotus/chain/vm"
2020-11-03 17:12:05 +00:00
lcli "github.com/filecoin-project/lotus/cli"
2020-05-15 20:01:45 +00:00
_ "github.com/filecoin-project/lotus/lib/sigs/bls"
2023-01-13 19:11:13 +00:00
_ "github.com/filecoin-project/lotus/lib/sigs/delegated"
2020-05-15 20:01:45 +00:00
_ "github.com/filecoin-project/lotus/lib/sigs/secp"
2020-11-01 18:54:35 +00:00
"github.com/filecoin-project/lotus/node/repo"
2022-06-15 10:06:22 +00:00
"github.com/filecoin-project/lotus/storage/sealer/ffiwrapper"
2022-06-17 11:52:19 +00:00
"github.com/filecoin-project/lotus/storage/sealer/storiface"
2020-04-02 21:18:57 +00:00
)
type TipSetExec struct {
TipSet types . TipSetKey
Trace [ ] * api . InvocResult
Duration time . Duration
}
var importBenchCmd = & cli . Command {
Name : "import" ,
2020-10-11 02:48:09 +00:00
Usage : "Benchmark chain import and validation" ,
2020-04-23 23:48:54 +00:00
Subcommands : [ ] * cli . Command {
importAnalyzeCmd ,
} ,
2020-04-02 21:18:57 +00:00
Flags : [ ] cli . Flag {
2020-11-03 18:11:43 +00:00
& cli . StringFlag {
Name : "start-tipset" ,
Usage : "start validation at the given tipset key; in format cid1,cid2,cid3..." ,
} ,
& cli . StringFlag {
Name : "end-tipset" ,
Usage : "halt validation at the given tipset key; in format cid1,cid2,cid3..." ,
} ,
& cli . StringFlag {
Name : "genesis-tipset" ,
Usage : "genesis tipset key; in format cid1,cid2,cid3..." ,
} ,
2020-04-02 21:18:57 +00:00
& cli . Int64Flag {
2020-11-03 17:12:05 +00:00
Name : "start-height" ,
2020-11-03 18:11:43 +00:00
Usage : "start validation at given height; beware that chain traversal by height is very slow" ,
2020-11-03 17:12:05 +00:00
} ,
2020-04-02 21:18:57 +00:00
& cli . Int64Flag {
2020-11-03 17:12:05 +00:00
Name : "end-height" ,
2020-11-03 18:11:43 +00:00
Usage : "halt validation after given height; beware that chain traversal by height is very slow" ,
2020-04-02 21:18:57 +00:00
} ,
2020-06-15 23:05:29 +00:00
& cli . IntFlag {
Name : "batch-seal-verify-threads" ,
Usage : "set the parallelism factor for batch seal verification" ,
Value : runtime . NumCPU ( ) ,
} ,
2020-09-15 18:55:54 +00:00
& cli . StringFlag {
Name : "repodir" ,
Usage : "set the repo directory for the lotus bench run (defaults to /tmp)" ,
} ,
2020-09-16 14:34:54 +00:00
& cli . StringFlag {
Name : "syscall-cache" ,
Usage : "read and write syscall results from datastore" ,
} ,
& cli . BoolFlag {
Name : "export-traces" ,
Usage : "should we export execution traces" ,
Value : true ,
} ,
2020-09-16 18:10:00 +00:00
& cli . BoolFlag {
Name : "no-import" ,
Usage : "should we import the chain? if set to true chain has to be previously imported" ,
} ,
2020-09-19 18:27:24 +00:00
& cli . BoolFlag {
Name : "global-profile" ,
Value : true ,
} ,
2020-09-21 22:54:11 +00:00
& cli . BoolFlag {
Name : "only-import" ,
} ,
2020-11-01 18:54:35 +00:00
& cli . BoolFlag {
Name : "use-native-badger" ,
} ,
2020-11-03 17:12:05 +00:00
& cli . StringFlag {
Name : "car" ,
Usage : "path to CAR file; required for import; on validation, either " +
"a CAR path or the --head flag are required" ,
} ,
& cli . StringFlag {
Name : "head" ,
Usage : "tipset key of the head, useful when benchmarking validation " +
"on an existing chain store, where a CAR is not available; " +
"if both --car and --head are provided, --head takes precedence " +
"over the CAR root; the format is cid1,cid2,cid3..." ,
} ,
2020-04-02 21:18:57 +00:00
} ,
Action : func ( cctx * cli . Context ) error {
2020-10-22 12:57:55 +00:00
metricsprometheus . Inject ( ) //nolint:errcheck
2020-06-15 23:05:29 +00:00
vm . BatchSealVerifyParallelism = cctx . Int ( "batch-seal-verify-threads" )
2020-04-02 21:18:57 +00:00
2020-09-18 11:55:37 +00:00
go func ( ) {
2020-11-04 17:09:01 +00:00
// Prometheus globals are exposed as interfaces, but the prometheus
// OpenCensus exporter expects a concrete *Registry. The concrete type of
// the globals are actually *Registry, so we downcast them, staying
// defensive in case things change under the hood.
registry , ok := prometheus . DefaultRegisterer . ( * prometheus . Registry )
if ! ok {
log . Warnf ( "failed to export default prometheus registry; some metrics will be unavailable; unexpected type: %T" , prometheus . DefaultRegisterer )
return
}
exporter , err := ocprom . NewExporter ( ocprom . Options {
Registry : registry ,
Namespace : "lotus" ,
} )
if err != nil {
log . Fatalf ( "could not create the prometheus stats exporter: %v" , err )
}
http . Handle ( "/debug/metrics" , exporter )
2022-11-25 21:19:20 +00:00
_ = http . ListenAndServe ( "localhost:6060" , nil )
2020-09-18 11:55:37 +00:00
} ( )
2020-09-15 18:55:54 +00:00
var tdir string
if rdir := cctx . String ( "repodir" ) ; rdir != "" {
tdir = rdir
} else {
2023-03-29 19:24:07 +00:00
tmp , err := os . MkdirTemp ( "" , "lotus-import-bench" )
2020-09-15 18:55:54 +00:00
if err != nil {
return err
}
tdir = tmp
2020-04-02 21:18:57 +00:00
}
2020-11-01 18:54:35 +00:00
var (
2020-11-03 17:12:05 +00:00
ds datastore . Batching
bs blockstore . Blockstore
err error
2020-11-01 18:54:35 +00:00
)
2020-09-21 22:54:11 +00:00
2020-11-01 18:54:35 +00:00
switch {
case cctx . Bool ( "use-native-badger" ) :
2020-11-01 19:54:47 +00:00
log . Info ( "using native badger" )
2020-11-03 21:23:41 +00:00
var opts badgerbs . Options
2021-02-28 22:48:36 +00:00
if opts , err = repo . BadgerBlockstoreOptions ( repo . UniversalBlockstore , tdir , false ) ; err != nil {
2020-11-01 18:54:35 +00:00
return err
}
2020-11-01 19:54:47 +00:00
opts . SyncWrites = false
2020-11-01 18:54:35 +00:00
bs , err = badgerbs . Open ( opts )
default : // legacy badger via datastore.
2020-11-01 19:54:47 +00:00
log . Info ( "using legacy badger" )
2020-11-01 18:54:35 +00:00
bdgOpt := badger . DefaultOptions
bdgOpt . GcInterval = 0
bdgOpt . Options = bdg . DefaultOptions ( "" )
bdgOpt . Options . SyncWrites = false
bdgOpt . Options . Truncate = true
bdgOpt . Options . DetectConflicts = false
ds , err = badger . NewDatastore ( tdir , & bdgOpt )
2020-09-21 22:46:31 +00:00
}
2020-11-01 18:54:35 +00:00
2020-04-02 21:18:57 +00:00
if err != nil {
return err
}
2020-09-18 11:39:38 +00:00
2020-11-01 18:54:35 +00:00
if ds != nil {
ds = measure . New ( "dsbench" , ds )
defer ds . Close ( ) //nolint:errcheck
2021-01-29 20:01:00 +00:00
bs = blockstore . FromDatastore ( ds )
2020-11-01 18:54:35 +00:00
}
if c , ok := bs . ( io . Closer ) ; ok {
defer c . Close ( ) //nolint:errcheck
}
2020-10-10 18:49:15 +00:00
2022-06-17 11:52:19 +00:00
var verifier storiface . Verifier = ffiwrapper . ProofVerifier
2020-09-16 14:34:54 +00:00
if cctx . IsSet ( "syscall-cache" ) {
2020-11-01 18:54:35 +00:00
scds , err := badger . NewDatastore ( cctx . String ( "syscall-cache" ) , & badger . DefaultOptions )
2020-09-16 14:34:54 +00:00
if err != nil {
return xerrors . Errorf ( "opening syscall-cache datastore: %w" , err )
}
2020-09-23 16:44:41 +00:00
defer scds . Close ( ) //nolint:errcheck
2020-09-18 11:54:20 +00:00
2020-09-16 14:34:54 +00:00
verifier = & cachingVerifier {
ds : scds ,
backend : verifier ,
}
}
2020-09-18 11:39:38 +00:00
if cctx . Bool ( "only-gc" ) {
return nil
}
2020-09-16 14:34:54 +00:00
2020-11-01 18:54:35 +00:00
metadataDs := datastore . NewMapDatastore ( )
2021-09-02 16:07:23 +00:00
cs := store . NewChainStore ( bs , bs , metadataDs , filcns . Weight , nil )
2020-11-16 22:22:08 +00:00
defer cs . Close ( ) //nolint:errcheck
2021-09-18 17:57:04 +00:00
// TODO: We need to supply the actual beacon after v14
2023-03-12 13:33:36 +00:00
stm , err := stmgr . NewStateManager ( cs , consensus . NewTipSetExecutor ( filcns . RewardFunc ) , vm . Syscalls ( verifier ) , filcns . DefaultUpgradeSchedule ( ) , nil , metadataDs , index . DummyMsgIndex )
2021-09-02 16:07:23 +00:00
if err != nil {
return err
}
2020-04-02 21:18:57 +00:00
2021-02-28 22:48:36 +00:00
var carFile * os . File
// open the CAR file if one is provided.
if path := cctx . String ( "car" ) ; path != "" {
var err error
if carFile , err = os . Open ( path ) ; err != nil {
return xerrors . Errorf ( "failed to open provided CAR file: %w" , err )
}
}
2020-11-03 18:11:43 +00:00
startTime := time . Now ( )
2020-11-01 19:52:53 +00:00
// register a gauge that reports how long since the measurable
// operation began.
2020-11-01 20:01:57 +00:00
promauto . NewGaugeFunc ( prometheus . GaugeOpts {
2020-11-01 19:52:53 +00:00
Name : "lotus_bench_time_taken_secs" ,
} , func ( ) float64 {
2020-11-03 18:11:43 +00:00
return time . Since ( startTime ) . Seconds ( )
2020-11-01 19:52:53 +00:00
} )
defer func ( ) {
end := time . Now ( ) . Format ( time . RFC3339 )
2020-11-04 17:09:01 +00:00
resp , err := http . Get ( "http://localhost:6060/debug/metrics" )
2020-09-19 18:27:24 +00:00
if err != nil {
2020-11-01 19:52:53 +00:00
log . Warnf ( "failed to scape prometheus: %s" , err )
2020-09-19 18:27:24 +00:00
}
2020-04-02 21:18:57 +00:00
2020-11-04 17:09:01 +00:00
metricsfi , err := os . Create ( "bench.metrics" )
2020-11-01 19:52:53 +00:00
if err != nil {
log . Warnf ( "failed to write prometheus data: %s" , err )
}
_ , _ = io . Copy ( metricsfi , resp . Body ) //nolint:errcheck
_ = metricsfi . Close ( ) //nolint:errcheck
writeProfile := func ( name string ) {
2020-11-03 18:11:43 +00:00
if file , err := os . Create ( fmt . Sprintf ( "%s.%s.%s.pprof" , name , startTime . Format ( time . RFC3339 ) , end ) ) ; err == nil {
2020-11-01 19:52:53 +00:00
if err := pprof . Lookup ( name ) . WriteTo ( file , 0 ) ; err != nil {
log . Warnf ( "failed to write %s pprof: %s" , name , err )
}
_ = file . Close ( )
} else {
log . Warnf ( "failed to create %s pprof file: %s" , name , err )
}
}
writeProfile ( "heap" )
writeProfile ( "allocs" )
} ( )
2020-09-16 18:10:00 +00:00
var head * types . TipSet
2020-11-03 17:12:05 +00:00
// --- IMPORT ---
2020-09-16 18:10:00 +00:00
if ! cctx . Bool ( "no-import" ) {
2020-11-03 22:40:21 +00:00
if cctx . Bool ( "global-profile" ) {
prof , err := os . Create ( "bench.import.pprof" )
if err != nil {
return err
}
defer prof . Close ( ) //nolint:errcheck
if err := pprof . StartCPUProfile ( prof ) ; err != nil {
return err
}
}
2020-11-03 17:12:05 +00:00
// import is NOT suppressed; do it.
if carFile == nil { // a CAR is compulsory for the import.
return fmt . Errorf ( "no CAR file provided for import" )
}
2023-11-25 21:29:57 +00:00
head , _ , err = cs . Import ( cctx . Context , carFile )
2020-09-16 18:10:00 +00:00
if err != nil {
return err
}
2020-11-03 22:40:21 +00:00
pprof . StopCPUProfile ( )
2020-11-03 17:12:05 +00:00
}
if cctx . Bool ( "only-import" ) {
return nil
}
// --- VALIDATION ---
//
// we are now preparing for the validation benchmark.
// a HEAD needs to be set; --head takes precedence over the root
// of the CAR, if both are provided.
if h := cctx . String ( "head" ) ; h != "" {
cids , err := lcli . ParseTipSetString ( h )
if err != nil {
return xerrors . Errorf ( "failed to parse head tipset key: %w" , err )
}
2021-12-17 09:42:09 +00:00
head , err = cs . LoadTipSet ( cctx . Context , types . NewTipSetKey ( cids ... ) )
2020-11-03 17:12:05 +00:00
if err != nil {
return err
}
} else if carFile != nil && head == nil {
cr , err := car . NewCarReader ( carFile )
2020-09-16 18:10:00 +00:00
if err != nil {
return err
}
2021-12-17 09:42:09 +00:00
head , err = cs . LoadTipSet ( cctx . Context , types . NewTipSetKey ( cr . Header . Roots ... ) )
2020-09-16 18:10:00 +00:00
if err != nil {
return err
}
2020-11-03 17:12:05 +00:00
} else if h == "" && carFile == nil {
return xerrors . Errorf ( "neither --car nor --head flags supplied" )
2020-04-02 21:18:57 +00:00
}
2020-11-03 18:11:43 +00:00
log . Infof ( "chain head is tipset: %s" , head . Key ( ) )
var genesis * types . TipSet
log . Infof ( "getting genesis block" )
if tsk := cctx . String ( "genesis-tipset" ) ; tsk != "" {
2020-11-03 21:23:41 +00:00
var cids [ ] cid . Cid
if cids , err = lcli . ParseTipSetString ( tsk ) ; err != nil {
2020-11-03 18:11:43 +00:00
return xerrors . Errorf ( "failed to parse genesis tipset key: %w" , err )
}
2021-12-17 09:42:09 +00:00
genesis , err = cs . LoadTipSet ( cctx . Context , types . NewTipSetKey ( cids ... ) )
2020-11-03 18:11:43 +00:00
} else {
log . Warnf ( "getting genesis by height; this will be slow; pass in the genesis tipset through --genesis-tipset" )
// fallback to the slow path of walking the chain.
genesis , err = cs . GetTipsetByHeight ( context . TODO ( ) , 0 , head , true )
2020-09-21 22:54:11 +00:00
}
2020-08-04 04:45:02 +00:00
if err != nil {
return err
}
2021-12-17 09:42:09 +00:00
if err = cs . SetGenesis ( cctx . Context , genesis . Blocks ( ) [ 0 ] ) ; err != nil {
2020-08-04 04:45:02 +00:00
return err
}
2020-11-03 18:15:55 +00:00
// Resolve the end tipset, falling back to head if not provided.
end := head
if tsk := cctx . String ( "end-tipset" ) ; tsk != "" {
2020-11-03 21:23:41 +00:00
var cids [ ] cid . Cid
if cids , err = lcli . ParseTipSetString ( tsk ) ; err != nil {
2020-11-03 18:15:55 +00:00
return xerrors . Errorf ( "failed to end genesis tipset key: %w" , err )
2020-09-19 17:11:37 +00:00
}
2021-12-17 09:42:09 +00:00
end , err = cs . LoadTipSet ( cctx . Context , types . NewTipSetKey ( cids ... ) )
2020-11-03 18:15:55 +00:00
} else if h := cctx . Int64 ( "end-height" ) ; h != 0 {
log . Infof ( "getting end tipset at height %d..." , h )
2021-12-17 09:42:09 +00:00
end , err = cs . GetTipsetByHeight ( cctx . Context , abi . ChainEpoch ( h ) , head , true )
2020-11-03 18:15:55 +00:00
}
2020-09-19 17:11:37 +00:00
2020-11-03 18:15:55 +00:00
if err != nil {
return err
}
// Resolve the start tipset, if provided; otherwise, fallback to
// height 1 for a start point.
2020-11-03 18:11:43 +00:00
var (
startEpoch = abi . ChainEpoch ( 1 )
start * types . TipSet
)
if tsk := cctx . String ( "start-tipset" ) ; tsk != "" {
2020-11-03 22:49:55 +00:00
var cids [ ] cid . Cid
if cids , err = lcli . ParseTipSetString ( tsk ) ; err != nil {
2020-11-03 18:11:43 +00:00
return xerrors . Errorf ( "failed to start genesis tipset key: %w" , err )
2020-09-19 17:11:37 +00:00
}
2021-12-17 09:42:09 +00:00
start , err = cs . LoadTipSet ( cctx . Context , types . NewTipSetKey ( cids ... ) )
2020-11-03 18:11:43 +00:00
} else if h := cctx . Int64 ( "start-height" ) ; h != 0 {
log . Infof ( "getting start tipset at height %d..." , h )
2020-11-03 18:15:55 +00:00
// lookback from the end tipset (which falls back to head if not supplied).
start , err = cs . GetTipsetByHeight ( context . TODO ( ) , abi . ChainEpoch ( h ) , end , true )
2020-09-19 17:11:37 +00:00
}
2020-11-03 18:11:43 +00:00
if err != nil {
return err
}
if start != nil {
startEpoch = start . Height ( )
2021-12-17 09:42:09 +00:00
if err := cs . ForceHeadSilent ( cctx . Context , start ) ; err != nil {
2020-11-04 14:39:01 +00:00
// if err := cs.SetHead(start); err != nil {
2020-04-02 21:18:57 +00:00
return err
}
}
2020-11-03 18:11:43 +00:00
inverseChain := append ( make ( [ ] * types . TipSet , 0 , end . Height ( ) ) , end )
for ts := end ; ts . Height ( ) > startEpoch ; {
2020-11-01 18:54:35 +00:00
if h := ts . Height ( ) ; h % 100 == 0 {
2020-11-03 17:12:05 +00:00
log . Infof ( "walking back the chain; loaded tipset at height %d..." , h )
2020-11-01 18:54:35 +00:00
}
2021-12-17 09:42:09 +00:00
next , err := cs . LoadTipSet ( cctx . Context , ts . Parents ( ) )
2020-04-02 21:18:57 +00:00
if err != nil {
return err
}
2020-11-03 18:11:43 +00:00
inverseChain = append ( inverseChain , next )
2020-04-02 21:18:57 +00:00
ts = next
}
2020-09-16 14:34:54 +00:00
var enc * json . Encoder
if cctx . Bool ( "export-traces" ) {
2020-11-04 17:09:01 +00:00
ibj , err := os . Create ( "bench.json" )
2020-09-16 14:34:54 +00:00
if err != nil {
return err
}
defer ibj . Close ( ) //nolint:errcheck
2020-06-23 03:08:19 +00:00
2020-09-16 14:34:54 +00:00
enc = json . NewEncoder ( ibj )
}
2020-06-23 03:08:19 +00:00
2020-11-03 22:40:21 +00:00
if cctx . Bool ( "global-profile" ) {
prof , err := os . Create ( "bench.validation.pprof" )
if err != nil {
return err
}
defer prof . Close ( ) //nolint:errcheck
if err := pprof . StartCPUProfile ( prof ) ; err != nil {
return err
}
}
2020-11-03 18:11:43 +00:00
for i := len ( inverseChain ) - 1 ; i >= 1 ; i -- {
cur := inverseChain [ i ]
2020-04-02 21:18:57 +00:00
start := time . Now ( )
2020-09-19 17:11:37 +00:00
log . Infof ( "computing state (height: %d, ts=%s)" , cur . Height ( ) , cur . Cids ( ) )
2020-04-02 21:18:57 +00:00
st , trace , err := stm . ExecutionTrace ( context . TODO ( ) , cur )
if err != nil {
return err
}
2020-09-19 17:11:37 +00:00
tse := & TipSetExec {
2020-09-16 18:10:00 +00:00
TipSet : cur . Key ( ) ,
Trace : trace ,
Duration : time . Since ( start ) ,
}
2020-09-16 14:34:54 +00:00
if enc != nil {
2020-09-19 17:11:37 +00:00
if err := enc . Encode ( tse ) ; err != nil {
2020-09-16 14:34:54 +00:00
return xerrors . Errorf ( "failed to write out tipsetexec: %w" , err )
}
2020-06-23 03:08:19 +00:00
}
2020-11-03 18:11:43 +00:00
if inverseChain [ i - 1 ] . ParentState ( ) != st {
2020-09-19 17:11:37 +00:00
lastTrace := tse . Trace
d , err := json . MarshalIndent ( lastTrace , "" , " " )
if err != nil {
panic ( err )
}
fmt . Println ( "TRACE" )
fmt . Println ( string ( d ) )
2020-09-23 16:44:41 +00:00
//fmt.Println(statediff.Diff(context.Background(), bs, tschain[i-1].ParentState(), st, statediff.ExpandActors))
2020-09-19 17:11:37 +00:00
return xerrors . Errorf ( "tipset chain had state mismatch at height %d (%s != %s)" , cur . Height ( ) , cur . ParentState ( ) , st )
}
2020-04-02 21:18:57 +00:00
}
pprof . StopCPUProfile ( )
return nil
} ,
}
2020-04-23 23:48:54 +00:00
type Invocation struct {
TipSet types . TipSetKey
Invoc * api . InvocResult
}
2020-06-15 20:02:57 +00:00
const GasPerNs = 10
2020-06-26 21:08:06 +00:00
type stats struct {
2020-06-29 23:31:09 +00:00
timeTaken meanVar
gasRatio meanVar
}
type covar struct {
meanX float64
meanY float64
c float64
n float64
2020-06-30 12:09:03 +00:00
m2x float64
m2y float64
2020-06-26 21:08:06 +00:00
}
2020-06-29 23:31:09 +00:00
func ( cov1 * covar ) Covariance ( ) float64 {
return cov1 . c / ( cov1 . n - 1 )
}
2020-06-30 12:09:03 +00:00
func ( cov1 * covar ) VarianceX ( ) float64 {
return cov1 . m2x / ( cov1 . n - 1 )
2020-06-30 00:11:54 +00:00
}
2020-08-20 04:49:10 +00:00
func ( cov1 * covar ) StddevX ( ) float64 {
return math . Sqrt ( cov1 . VarianceX ( ) )
2020-06-30 12:09:03 +00:00
}
func ( cov1 * covar ) VarianceY ( ) float64 {
return cov1 . m2y / ( cov1 . n - 1 )
}
2020-08-20 04:49:10 +00:00
func ( cov1 * covar ) StddevY ( ) float64 {
return math . Sqrt ( cov1 . VarianceY ( ) )
2020-06-30 00:11:54 +00:00
}
2020-06-29 23:31:09 +00:00
func ( cov1 * covar ) AddPoint ( x , y float64 ) {
2020-08-20 04:49:10 +00:00
cov1 . n ++
2020-06-30 12:41:14 +00:00
2020-06-29 23:31:09 +00:00
dx := x - cov1 . meanX
cov1 . meanX += dx / cov1 . n
2020-06-30 12:09:03 +00:00
dx2 := x - cov1 . meanX
cov1 . m2x += dx * dx2
dy := y - cov1 . meanY
cov1 . meanY += dy / cov1 . n
dy2 := y - cov1 . meanY
cov1 . m2y += dy * dy2
2020-06-29 23:31:09 +00:00
2020-06-30 12:09:03 +00:00
cov1 . c += dx * dy
2020-06-29 23:31:09 +00:00
}
func ( cov1 * covar ) Combine ( cov2 * covar ) {
if cov1 . n == 0 {
* cov1 = * cov2
return
}
if cov2 . n == 0 {
return
}
if cov1 . n == 1 {
cpy := * cov2
cpy . AddPoint ( cov2 . meanX , cov2 . meanY )
* cov1 = cpy
return
}
if cov2 . n == 1 {
cov1 . AddPoint ( cov2 . meanX , cov2 . meanY )
}
2020-06-30 00:11:54 +00:00
2020-06-29 23:31:09 +00:00
out := covar { }
out . n = cov1 . n + cov2 . n
dx := cov1 . meanX - cov2 . meanX
2020-06-30 00:11:54 +00:00
out . meanX = cov1 . meanX - dx * cov2 . n / out . n
2020-06-30 12:09:03 +00:00
out . m2x = cov1 . m2x + cov2 . m2x + dx * dx * cov1 . n * cov2 . n / out . n
2020-06-29 23:31:09 +00:00
dy := cov1 . meanY - cov2 . meanY
2020-06-30 00:56:58 +00:00
out . meanY = cov1 . meanY - dy * cov2 . n / out . n
2020-06-30 12:09:03 +00:00
out . m2y = cov1 . m2y + cov2 . m2y + dy * dy * cov1 . n * cov2 . n / out . n
2020-06-29 23:31:09 +00:00
out . c = cov1 . c + cov2 . c + dx * dy * cov1 . n * cov2 . n / out . n
* cov1 = out
}
2020-06-30 00:11:54 +00:00
func ( cov1 * covar ) A ( ) float64 {
2020-06-30 12:09:03 +00:00
return cov1 . Covariance ( ) / cov1 . VarianceX ( )
2020-06-30 00:11:54 +00:00
}
func ( cov1 * covar ) B ( ) float64 {
return cov1 . meanY - cov1 . meanX * cov1 . A ( )
}
2020-06-30 12:21:48 +00:00
func ( cov1 * covar ) Correl ( ) float64 {
return cov1 . Covariance ( ) / cov1 . StddevX ( ) / cov1 . StddevY ( )
2020-06-30 12:09:03 +00:00
}
2020-06-30 00:11:54 +00:00
2020-06-29 23:31:09 +00:00
type meanVar struct {
n float64
mean float64
m2 float64
}
func ( v1 * meanVar ) AddPoint ( value float64 ) {
2020-06-29 22:31:05 +00:00
// based on https://en.wikipedia.org/wiki/Algorithms_for_calculating_variance#Welford's_online_algorithm
2020-08-20 04:49:10 +00:00
v1 . n ++
2020-06-29 23:31:09 +00:00
delta := value - v1 . mean
v1 . mean += delta / v1 . n
delta2 := value - v1 . mean
v1 . m2 += delta * delta2
2020-06-26 21:08:06 +00:00
}
2020-06-29 23:31:09 +00:00
func ( v1 * meanVar ) Variance ( ) float64 {
return v1 . m2 / ( v1 . n - 1 )
}
func ( v1 * meanVar ) Mean ( ) float64 {
return v1 . mean
}
func ( v1 * meanVar ) Stddev ( ) float64 {
return math . Sqrt ( v1 . Variance ( ) )
2020-06-26 21:08:06 +00:00
}
2020-06-29 23:31:09 +00:00
func ( v1 * meanVar ) Combine ( v2 * meanVar ) {
if v1 . n == 0 {
* v1 = * v2
2020-06-27 11:59:38 +00:00
return
2020-06-26 21:08:06 +00:00
}
2020-06-29 23:31:09 +00:00
if v2 . n == 0 {
2020-06-27 11:55:29 +00:00
return
}
2020-06-29 23:31:09 +00:00
if v1 . n == 1 {
cpy := * v2
cpy . AddPoint ( v1 . mean )
* v1 = cpy
2020-06-27 11:59:38 +00:00
return
}
2020-06-29 23:31:09 +00:00
if v2 . n == 1 {
v1 . AddPoint ( v2 . mean )
2020-06-27 11:59:38 +00:00
return
}
2020-06-29 23:31:09 +00:00
newCount := v1 . n + v2 . n
delta := v2 . mean - v1 . mean
meanDelta := delta * v2 . n / newCount
m2 := v1 . m2 + v2 . m2 + delta * meanDelta * v1 . n
v1 . n = newCount
v1 . mean += meanDelta
v1 . m2 = m2
2020-06-26 21:08:06 +00:00
}
2020-06-26 23:09:35 +00:00
func tallyGasCharges ( charges map [ string ] * stats , et types . ExecutionTrace ) {
2023-03-02 00:02:18 +00:00
for _ , gc := range et . GasCharges {
2020-06-29 17:19:02 +00:00
name := gc . Name
2020-07-15 19:40:49 +00:00
if name == "OnIpldGetEnd" {
2020-06-30 00:11:54 +00:00
continue
}
tt := float64 ( gc . TimeTaken . Nanoseconds ( ) )
2020-07-28 19:00:19 +00:00
if name == "OnVerifyPost" && tt > 2e9 {
2020-07-28 19:33:49 +00:00
log . Warnf ( "Skipping abnormally long OnVerifyPost: %fs" , tt / 1e9 )
2020-07-28 19:00:19 +00:00
// discard initial very long OnVerifyPost
continue
}
compGas := gc . ComputeGas
2020-06-29 17:19:02 +00:00
s := charges [ name ]
2020-06-26 21:08:06 +00:00
if s == nil {
s = new ( stats )
2020-06-29 17:19:02 +00:00
charges [ name ] = s
2020-06-26 21:08:06 +00:00
}
2020-06-30 00:11:54 +00:00
s . timeTaken . AddPoint ( tt )
2023-03-02 00:02:18 +00:00
if compGas == 0 {
compGas = 1
}
2020-06-30 00:11:54 +00:00
ratio := tt / float64 ( compGas ) * GasPerNs
2020-06-29 23:31:09 +00:00
s . gasRatio . AddPoint ( ratio )
2020-06-15 23:05:29 +00:00
}
2020-06-26 23:18:06 +00:00
for _ , sub := range et . Subcalls {
tallyGasCharges ( charges , sub )
}
2020-06-15 23:05:29 +00:00
}
2020-04-23 23:48:54 +00:00
var importAnalyzeCmd = & cli . Command {
Name : "analyze" ,
Action : func ( cctx * cli . Context ) error {
if ! cctx . Args ( ) . Present ( ) {
fmt . Println ( "must pass bench file to analyze" )
return nil
}
2020-06-26 20:18:43 +00:00
go func ( ) {
2022-11-25 21:19:20 +00:00
_ = http . ListenAndServe ( "localhost:6060" , nil )
2020-06-26 20:18:43 +00:00
} ( )
2020-04-23 23:48:54 +00:00
fi , err := os . Open ( cctx . Args ( ) . First ( ) )
if err != nil {
return err
}
2020-07-23 10:21:13 +00:00
defer fi . Close ( ) //nolint:errcheck
2020-04-23 23:48:54 +00:00
2020-06-26 19:54:20 +00:00
const nWorkers = 16
2020-06-26 21:38:06 +00:00
jsonIn := make ( chan [ ] byte , 2 * nWorkers )
2020-06-26 19:54:20 +00:00
type result struct {
totalTime time . Duration
2020-06-26 21:08:06 +00:00
chargeStats map [ string ] * stats
2020-06-26 19:54:20 +00:00
expensiveInvocs [ ] Invocation
}
results := make ( chan result , nWorkers )
for i := 0 ; i < nWorkers ; i ++ {
go func ( ) {
2020-06-26 21:08:06 +00:00
chargeStats := make ( map [ string ] * stats )
2020-06-26 19:54:20 +00:00
var totalTime time . Duration
2020-06-26 21:38:06 +00:00
const invocsKeep = 32
var expensiveInvocs = make ( [ ] Invocation , 0 , 8 * invocsKeep )
2020-06-26 19:54:20 +00:00
var leastExpensiveInvoc = time . Duration ( 0 )
for {
2020-06-26 21:38:06 +00:00
b , ok := <- jsonIn
2020-06-26 19:54:20 +00:00
if ! ok {
results <- result {
totalTime : totalTime ,
2020-06-26 21:08:06 +00:00
chargeStats : chargeStats ,
2020-06-26 19:54:20 +00:00
expensiveInvocs : expensiveInvocs ,
}
return
}
2020-06-26 20:18:43 +00:00
2020-06-26 23:39:41 +00:00
var tse TipSetExec
err := json . Unmarshal ( b , & tse )
if err != nil {
log . Warnf ( "error unmarshaling tipset: %+v" , err )
continue
}
2020-06-26 19:54:20 +00:00
totalTime += tse . Duration
for _ , inv := range tse . Trace {
if inv . Duration > leastExpensiveInvoc {
expensiveInvocs = append ( expensiveInvocs , Invocation {
TipSet : tse . TipSet ,
Invoc : inv ,
} )
}
2020-06-28 16:47:16 +00:00
tallyGasCharges ( chargeStats , inv . ExecutionTrace )
2020-06-26 19:54:20 +00:00
}
2020-06-26 21:38:06 +00:00
if len ( expensiveInvocs ) > 4 * invocsKeep {
sort . Slice ( expensiveInvocs , func ( i , j int ) bool {
return expensiveInvocs [ i ] . Invoc . Duration > expensiveInvocs [ j ] . Invoc . Duration
} )
2020-06-26 19:54:20 +00:00
leastExpensiveInvoc = expensiveInvocs [ len ( expensiveInvocs ) - 1 ] . Invoc . Duration
2020-06-26 19:57:57 +00:00
n := 30
if len ( expensiveInvocs ) < n {
n = len ( expensiveInvocs )
}
expensiveInvocs = expensiveInvocs [ : n ]
2020-06-26 19:54:20 +00:00
}
}
} ( )
}
var totalTipsets int64
2020-06-26 21:38:06 +00:00
reader := bufio . NewReader ( fi )
2020-06-23 03:08:19 +00:00
for {
2020-06-26 21:38:06 +00:00
b , err := reader . ReadBytes ( '\n' )
if err != nil && err != io . EOF {
if e , ok := err . ( * json . SyntaxError ) ; ok {
log . Warnf ( "syntax error at byte offset %d" , e . Offset )
2020-06-23 03:08:19 +00:00
}
2020-06-26 21:38:06 +00:00
return err
2020-06-23 03:08:19 +00:00
}
2020-06-26 19:54:20 +00:00
totalTipsets ++
2020-06-26 21:38:06 +00:00
jsonIn <- b
2020-06-30 12:42:56 +00:00
fmt . Fprintf ( os . Stderr , "\rProcessed %d tipsets" , totalTipsets )
2020-06-26 21:38:06 +00:00
if err == io . EOF {
break
2020-06-26 19:54:20 +00:00
}
2020-04-23 23:48:54 +00:00
}
2020-06-26 21:38:06 +00:00
close ( jsonIn )
2020-06-30 12:42:56 +00:00
fmt . Fprintf ( os . Stderr , "\n" )
fmt . Fprintf ( os . Stderr , "Collecting results\n" )
2020-06-15 20:02:57 +00:00
2020-04-23 23:48:54 +00:00
var invocs [ ] Invocation
var totalTime time . Duration
2020-06-26 19:54:20 +00:00
var keys [ ] string
2020-06-26 21:08:06 +00:00
var charges = make ( map [ string ] * stats )
2020-06-26 19:54:20 +00:00
for i := 0 ; i < nWorkers ; i ++ {
2020-06-30 12:42:56 +00:00
fmt . Fprintf ( os . Stderr , "\rProcessing results from worker %d/%d" , i + 1 , nWorkers )
2020-06-26 19:54:20 +00:00
res := <- results
invocs = append ( invocs , res . expensiveInvocs ... )
2020-06-26 21:08:06 +00:00
for k , v := range res . chargeStats {
s := charges [ k ]
if s == nil {
s = new ( stats )
charges [ k ] = s
}
2020-06-29 23:31:09 +00:00
s . timeTaken . Combine ( & v . timeTaken )
s . gasRatio . Combine ( & v . gasRatio )
2020-04-23 23:48:54 +00:00
}
2020-06-26 19:54:20 +00:00
totalTime += res . totalTime
2020-04-23 23:48:54 +00:00
}
2020-06-30 12:42:56 +00:00
fmt . Fprintf ( os . Stderr , "\nCollecting gas keys\n" )
2020-06-26 21:08:06 +00:00
for k := range charges {
2020-06-15 20:02:57 +00:00
keys = append ( keys , k )
}
fmt . Println ( "Gas Price Deltas" )
sort . Strings ( keys )
for _ , k := range keys {
2020-06-26 21:08:06 +00:00
s := charges [ k ]
2020-06-30 12:45:24 +00:00
fmt . Printf ( "%s: incr by %.4f~%.4f; tt %.4f~%.4f\n" , k , s . gasRatio . Mean ( ) , s . gasRatio . Stddev ( ) ,
2020-06-30 00:11:54 +00:00
s . timeTaken . Mean ( ) , s . timeTaken . Stddev ( ) )
2020-06-15 20:02:57 +00:00
}
2020-04-23 23:48:54 +00:00
sort . Slice ( invocs , func ( i , j int ) bool {
return invocs [ i ] . Invoc . Duration > invocs [ j ] . Invoc . Duration
} )
fmt . Println ( "Total time: " , totalTime )
2020-06-26 19:54:20 +00:00
fmt . Println ( "Average time per epoch: " , totalTime / time . Duration ( totalTipsets ) )
2020-06-30 17:59:34 +00:00
if actorExec , ok := charges [ "OnActorExec" ] ; ok {
timeInActors := actorExec . timeTaken . Mean ( ) * actorExec . timeTaken . n
fmt . Printf ( "Avarage time per epoch in actors: %s (%.1f%%)\n" , time . Duration ( timeInActors ) / time . Duration ( totalTipsets ) , timeInActors / float64 ( totalTime ) * 100 )
}
2020-07-03 13:13:23 +00:00
if actorExecDone , ok := charges [ "OnMethodInvocationDone" ] ; ok {
2020-06-30 18:13:22 +00:00
timeInActors := actorExecDone . timeTaken . Mean ( ) * actorExecDone . timeTaken . n
fmt . Printf ( "Avarage time per epoch in OnActorExecDone %s (%.1f%%)\n" , time . Duration ( timeInActors ) / time . Duration ( totalTipsets ) , timeInActors / float64 ( totalTime ) * 100 )
}
2020-04-23 23:48:54 +00:00
n := 30
2020-06-26 18:42:29 +00:00
if len ( invocs ) < n {
n = len ( invocs )
}
2020-04-23 23:48:54 +00:00
fmt . Printf ( "Top %d most expensive calls:\n" , n )
for i := 0 ; i < n ; i ++ {
inv := invocs [ i ] . Invoc
fmt . Printf ( "%s: %s %s %d %s\n" , inv . Duration , inv . Msg . From , inv . Msg . To , inv . Msg . Method , invocs [ i ] . TipSet )
}
return nil
} ,
}