examples

type AccessRecord struct {
	RecId uint32
}

type LockRecordRequest struct {
	RecId  uint32
	PeerId int
}

type LockRecordResponse struct {
	RecId          uint32
	ReplicaVersion uint32
	Votes          int
	ToPeerId       int
}

type LockReleased struct {
	RecId uint32
}

type Props struct {
	// VotingPower defines the importance of the current
	// process' vote
	VotingPower int
	// ReadQuorum specifies how many votes a proess has to
	// gather to read a record
	ReadQuorum int
	// WriteQuorum specifies how many votes a proess has to
	// gather to modify a record
	WriteQuorum int
	// Strage represents the replicated data storage. It is
	// a simple key-value store
	Storage map[uint32]Record
	// GatheredVotes is a slice that serves as a storage
	// for votes gathered during the voting phase
	GatheredVotes []LockRecordResponse
	// Phase defines the phase of the algorithm that
	// the current process is in
	Phase int
	// AccessedRecord specifies which record is currently
	// tired to be accessed by this process
	AccessedRecord uint32
	// PeerId specifies the Id of the current process
	PeerId int
}

type Record struct {
	// Version indicates the version number of the record
	Version uint32
	// Data is the record's data field. For demonstration
	// purposes it's a simple string
	Data string
	// Locked indicates if the record is locked meaning
	// that some process wants to access it
	Locked bool
}

type RecordRequest struct {
	RecId   uint32
	Version uint32
}

type RecordResponse struct {
	RecId uint32
	Rec   Record
}

type RecordUpdate struct {
	RecId      uint32
	Rec        Record
	OldVersion uint32
}