pub struct CheckpointEvent {
pub run_id: i64,
pub step: u32,
pub kind: String,
pub detail: Option<String>,
}Expand description
One durable checkpoint-lifecycle event: a step was checkpointed, a run was resumed, or an already-committed step was skipped on resume. Together they make a crashed-and-resumed run’s history reconstructable from the store.
use io_harness::{CheckpointEvent, Store};
// Answers the question a crashed run leaves behind: did it restart, and did
// the restart re-do work that was already committed?
let events = store.checkpoint_events(run_id)?;
let resumes = events.iter().filter(|e| e.kind == "resume").count();
let replayed: Vec<u32> = events.iter().filter(|e| e.kind == "skipped").map(|e| e.step).collect();
assert_eq!(resumes, 1, "this run died once and came back");
// Two steps were replayed and recognised as already done, so they cost
// nothing the second time — that is what makes a resume idempotent rather
// than a second charge for the same steps.
assert_eq!(replayed, [1, 2]);Fields§
§run_id: i64The run this event belongs to.
step: u32The step it concerns.
kind: String"checkpoint", "resume", or "skipped".
detail: Option<String>Optional human-readable detail (never file contents or secrets).
Implementations§
Trait Implementations§
Source§impl Clone for CheckpointEvent
impl Clone for CheckpointEvent
Source§fn clone(&self) -> CheckpointEvent
fn clone(&self) -> CheckpointEvent
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CheckpointEvent
impl Debug for CheckpointEvent
Source§impl PartialEq for CheckpointEvent
impl PartialEq for CheckpointEvent
impl StructuralPartialEq for CheckpointEvent
Auto Trait Implementations§
impl Freeze for CheckpointEvent
impl RefUnwindSafe for CheckpointEvent
impl Send for CheckpointEvent
impl Sync for CheckpointEvent
impl Unpin for CheckpointEvent
impl UnsafeUnpin for CheckpointEvent
impl UnwindSafe for CheckpointEvent
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.