Trait paxakos::tracer::Tracer

pub trait Tracer<R, C, I>: Debug + Send where
    R: RoundNum,
    C: CoordNum,
    I: Identifier, {
    fn record_promise(
        &mut self, 
        round_num: R, 
        coord_num: C, 
        promise: Vec<(R, C, I)>
    );
    fn record_accept(&mut self, round_num: R, coord_num: C, log_entry_id: I);
    fn record_commit(&mut self, round_num: R, log_entry_id: I);
}

Required methods

fn record_promise(
    &mut self,
    round_num: R,
    coord_num: C,
    promise: Vec<(R, C, I)>
)

fn record_accept(&mut self, round_num: R, coord_num: C, log_entry_id: I)

fn record_commit(&mut self, round_num: R, log_entry_id: I)

Loading content...

Implementors

Loading content...