epaxos

Documentation

Index

• Constants
• type Exec
• type Instance
• type LeaderBookkeeping
• type RecoveryInstance
• type Replica
  • func NewReplica(id int, peerAddrList []string, thrifty bool, exec bool, dreply bool, ...) *Replica
• type SCComponent

Constants

const (
	WHITE int8 = iota
	GRAY
	BLACK
)

const ADAPT_TIME_SEC = 10

const BF_K = 4

const BF_M_N = 32.0

const CHECKPOINT_PERIOD = 10000

const COMMIT_GRACE_PERIOD = 10 * 1e9 //10 seconds

const DO_CHECKPOINTING = false

const FALSE = uint8(0)

const HT_INIT_SIZE = 200000

const MAX_BATCH = 1000

const MAX_DEPTH_DEP = 10

const TRUE = uint8(1)

Types

type Exec

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

type Instance

type Instance struct {
	Cmds []state.Command

	Status int8
	Seq    int32
	Deps   []int32

	Index, Lowlink int
	// contains filtered or unexported fields
}

type LeaderBookkeeping

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

type RecoveryInstance

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

type Replica

type Replica struct {
	*genericsmr.Replica

	InstanceSpace [][]*Instance // the space of all instances (used and not yet used)

	CommittedUpTo []int32 // highest committed instance per replica that this replica knows about
	ExecedUpTo    []int32 // instance up to which all commands have been executed (including iteslf)
	// contains filtered or unexported fields
}

func NewReplica

func NewReplica(id int, peerAddrList []string, thrifty bool, exec bool, dreply bool, beacon bool, durable bool, batchWait int, execThreads int, listSize int64, execParallel bool) *Replica

type SCComponent

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