rawkvlinearizability

Documentation

Index

• func RawkvModel() core.Model
• func RawkvParser() history.RecordParser
• type Config
• type Key
  • func (a Key) Equals(b persistent_treap.Equitable) bool
  • func (a Key) Less(b persistent_treap.Sortable) bool
• type KeyValuePair
• type RandomValueConfig
• type RandomValues
  • func GenerateRandomValueString(config RandomValueConfig) RandomValues
• type RawkvClientCreator
  • func (r RawkvClientCreator) Create(node cluster.ClientNode) core.Client
• type Value
  • func (a Value) Equals(b persistent_treap.Equitable) bool

Functions

func RawkvModel

func RawkvModel() core.Model

RawkvModel creates the core.Model interface.

func RawkvParser

func RawkvParser() history.RecordParser

RawkvParser creates the history.RecordParser interface.

Types

type Config

type Config struct {
	KeyStart        int
	KeyNum          int
	ReadProbability int
	WriteProbaility int
}

Config is the config of the test case.

type Key

type Key int

Key type

func (Key) Equals

func (a Key) Equals(b persistent_treap.Equitable) bool

Equals implements key's persistent_treap.Equitable interface

func (Key) Less

func (a Key) Less(b persistent_treap.Sortable) bool

Less implements persistent_treap.Sortable interface

type KeyValuePair

type KeyValuePair struct {
	K Key
	V Value
}

KeyValuePair type

type RandomValueConfig

type RandomValueConfig struct {
	ValueNum10KB  int
	ValueNum100KB int
	ValueNum1MB   int
	ValueNum5MB   int
}

RandomValueConfig is the config of generating RandomValues

type RandomValues

type RandomValues struct {
	// contains filtered or unexported fields
}

RandomValues is some random byte slices which have different hash value.

func GenerateRandomValueString

func GenerateRandomValueString(config RandomValueConfig) RandomValues

GenerateRandomValueString generates RandomValues

type RawkvClientCreator

type RawkvClientCreator struct {
	Cfg          Config
	RandomValues *RandomValues
}

RawkvClientCreator creates a test client.

func (RawkvClientCreator) Create

func (r RawkvClientCreator) Create(node cluster.ClientNode) core.Client

Create creates a RawkvClient.

type Value

type Value uint32

Value type

func (Value) Equals

func (a Value) Equals(b persistent_treap.Equitable) bool

Equals implements persistent_treap.Equitable interface