Struct MaelstromConsensus

pub struct MaelstromConsensus {
    handle: Handle,
    cache: Mutex<BTreeMap<(String, SeqNo), Vec<u8>>>,
}

Implementation of Consensus backed by the Maelstrom lin-kv service.

Fields

handle: Handle

cache: Mutex<BTreeMap<(String, SeqNo), Vec<u8>>>

Implementations

impl MaelstromConsensus

pub fn new(handle: Handle) -> Arc<dyn Consensus>

pub async fn hydrate_seqno( &self, key: &str, expected: SeqNo, ) -> Result<Result<VersionedData, Option<VersionedData>>, ExternalError>

Trait Implementations

impl Consensus for MaelstromConsensus

fn list_keys(&self) -> ResultStream<'_, String>

Returns all the keys ever created in the consensus store.

fn head<'life0, 'life1, 'async_trait>( &'life0 self, key: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Option<VersionedData>, ExternalError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Returns a recent version of data, and the corresponding sequence number, if one exists at this location.

fn compare_and_set<'life0, 'life1, 'async_trait>( &'life0 self, key: &'life1 str, expected: Option<SeqNo>, new: VersionedData, ) -> Pin<Box<dyn Future<Output = Result<CaSResult, ExternalError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Update the VersionedData stored at this location to new, iff the current sequence number is exactly expected and new’s sequence number > the current sequence number.

fn scan<'life0, 'life1, 'async_trait>( &'life0 self, _key: &'life1 str, _from: SeqNo, _limit: usize, ) -> Pin<Box<dyn Future<Output = Result<Vec<VersionedData>, ExternalError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Return limit versions of data stored for this key at sequence numbers >= from, in ascending order of sequence number.

fn truncate<'life0, 'life1, 'async_trait>( &'life0 self, _key: &'life1 str, _seqno: SeqNo, ) -> Pin<Box<dyn Future<Output = Result<usize, ExternalError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Deletes all historical versions of the data stored at key that are < seqno, iff seqno <= the current sequence number.

impl Debug for MaelstromConsensus

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.