Expand description

A selective view of key components in Raft Engine. Exported under the internals feature only.

Modules

A set of public utilities used for interacting with log files.

Structs

A factory of ReplayMachines that can be default constructed.

Location of a log entry.

A logical pointer to a chunk of log file data.

A unique identifier for a log file.

A PipeLog implementation that stores data in filesystem.

DualPipes factory that can also recover other customized memory states.

In-memory storage for Raft Groups.

A collection of MemTables.

A synchronizer of Writers.

A collection of writers. User thread (leader) that receives a WriteGroup is responsible for processing its containing writers.

An iterator over the Writers in one WriteGroup.

Enums

The type of log queue.

Traits

EventListener contains a set of callback functions that will be notified on specific events inside Raft Engine.

FileNameExt offers file name formatting extensions to FileId.

A PipeLog serves reads and writes over multiple queues of log files.

ReplayMachine is a type of deterministic state machine that obeys associative law.

Type Definitions

Sequence number for log file. It is unique within a log queue.