2018-11-04 20:44:43 -08:00
|
|
|
package simulation
|
|
|
|
|
|
|
|
import (
|
2019-06-08 13:55:47 -07:00
|
|
|
"encoding/json"
|
2019-08-28 07:58:25 -07:00
|
|
|
"fmt"
|
2018-11-04 20:44:43 -08:00
|
|
|
"math/rand"
|
2019-05-02 13:50:01 -07:00
|
|
|
|
2019-06-08 13:55:47 -07:00
|
|
|
"github.com/cosmos/cosmos-sdk/codec"
|
2018-11-04 20:44:43 -08:00
|
|
|
)
|
|
|
|
|
|
|
|
const (
|
|
|
|
// Minimum time per block
|
|
|
|
minTimePerBlock int64 = 10000 / 2
|
|
|
|
|
|
|
|
// Maximum time per block
|
|
|
|
maxTimePerBlock int64 = 10000
|
|
|
|
)
|
|
|
|
|
2019-08-28 07:58:25 -07:00
|
|
|
// TODO: explain transitional matrix usage
|
2018-11-04 20:44:43 -08:00
|
|
|
var (
|
2018-11-07 07:28:18 -08:00
|
|
|
// Currently there are 3 different liveness types,
|
|
|
|
// fully online, spotty connection, offline.
|
2018-11-04 20:44:43 -08:00
|
|
|
defaultLivenessTransitionMatrix, _ = CreateTransitionMatrix([][]int{
|
|
|
|
{90, 20, 1},
|
|
|
|
{10, 50, 5},
|
|
|
|
{0, 10, 1000},
|
|
|
|
})
|
|
|
|
|
2018-11-07 07:28:18 -08:00
|
|
|
// 3 states: rand in range [0, 4*provided blocksize],
|
|
|
|
// rand in range [0, 2 * provided blocksize], 0
|
2018-11-04 20:44:43 -08:00
|
|
|
defaultBlockSizeTransitionMatrix, _ = CreateTransitionMatrix([][]int{
|
|
|
|
{85, 5, 0},
|
|
|
|
{15, 92, 1},
|
|
|
|
{0, 3, 99},
|
|
|
|
})
|
|
|
|
)
|
|
|
|
|
2019-08-28 07:58:25 -07:00
|
|
|
// AppParams defines a flat JSON of key/values for all possible configurable
|
|
|
|
// simulation parameters. It might contain: operation weights, simulation parameters
|
|
|
|
// and flattened module state parameters (i.e not stored under it's respective module name).
|
|
|
|
type AppParams map[string]json.RawMessage
|
|
|
|
|
|
|
|
// ParamSimulator creates a parameter value from a source of random number
|
|
|
|
type ParamSimulator func(r *rand.Rand)
|
2019-06-08 13:55:47 -07:00
|
|
|
|
|
|
|
// GetOrGenerate attempts to get a given parameter by key from the AppParams
|
|
|
|
// object. If it exists, it'll be decoded and returned. Otherwise, the provided
|
|
|
|
// ParamSimulator is used to generate a random value.
|
|
|
|
func (sp AppParams) GetOrGenerate(cdc *codec.Codec, key string, ptr interface{}, r *rand.Rand, ps ParamSimulator) {
|
|
|
|
if v, ok := sp[key]; ok && v != nil {
|
|
|
|
cdc.MustUnmarshalJSON(v, ptr)
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
ps(r)
|
|
|
|
}
|
|
|
|
|
2019-08-28 07:58:25 -07:00
|
|
|
// Params define the parameters necessary for running the simulations
|
2018-11-04 20:44:43 -08:00
|
|
|
type Params struct {
|
|
|
|
PastEvidenceFraction float64
|
|
|
|
NumKeys int
|
|
|
|
EvidenceFraction float64
|
|
|
|
InitialLivenessWeightings []int
|
|
|
|
LivenessTransitionMatrix TransitionMatrix
|
|
|
|
BlockSizeTransitionMatrix TransitionMatrix
|
|
|
|
}
|
|
|
|
|
2019-08-28 07:58:25 -07:00
|
|
|
// RandomParams for simulation
|
2018-11-04 20:44:43 -08:00
|
|
|
func RandomParams(r *rand.Rand) Params {
|
|
|
|
return Params{
|
|
|
|
PastEvidenceFraction: r.Float64(),
|
2019-04-22 07:57:58 -07:00
|
|
|
NumKeys: RandIntBetween(r, 2, 250),
|
2018-11-04 20:44:43 -08:00
|
|
|
EvidenceFraction: r.Float64(),
|
2019-05-17 16:45:36 -07:00
|
|
|
InitialLivenessWeightings: []int{RandIntBetween(r, 1, 80), r.Intn(10), r.Intn(10)},
|
2018-11-04 20:44:43 -08:00
|
|
|
LivenessTransitionMatrix: defaultLivenessTransitionMatrix,
|
|
|
|
BlockSizeTransitionMatrix: defaultBlockSizeTransitionMatrix,
|
|
|
|
}
|
|
|
|
}
|
2019-08-28 07:58:25 -07:00
|
|
|
|
|
|
|
//-----------------------------------------------------------------------------
|
|
|
|
// Param change proposals
|
|
|
|
|
|
|
|
// SimValFn function to generate the randomized parameter change value
|
|
|
|
type SimValFn func(r *rand.Rand) string
|
|
|
|
|
|
|
|
// ParamChange defines the object used for simulating parameter change proposals
|
|
|
|
type ParamChange struct {
|
|
|
|
Subspace string
|
|
|
|
Key string
|
|
|
|
Subkey string
|
|
|
|
SimValue SimValFn
|
|
|
|
}
|
|
|
|
|
|
|
|
// NewSimParamChange creates a new ParamChange instance
|
|
|
|
func NewSimParamChange(subspace, key, subkey string, simVal SimValFn) ParamChange {
|
|
|
|
return ParamChange{
|
|
|
|
Subspace: subspace,
|
|
|
|
Key: key,
|
|
|
|
Subkey: subkey,
|
|
|
|
SimValue: simVal,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// ComposedKey creates a new composed key for the param change proposal
|
|
|
|
func (spc ParamChange) ComposedKey() string {
|
|
|
|
return fmt.Sprintf("%s/%s/%s", spc.Subspace, spc.Key, spc.Subkey)
|
|
|
|
}
|