pub enum Phase {
Idle,
Open {
outstanding: BTreeSet<JournalKey>,
results: BTreeMap<usize, Value>,
send_results: BTreeMap<String, Value>,
record: DecisionRecord,
},
Finished(RunOutcome),
}Expand description
The run’s phase within the BSP cycle.
Variants§
Idle
Between supersteps.
Open
A superstep is open: effects outstanding, results buffering, the decision record accumulating.
Fields
§
outstanding: BTreeSet<JournalKey>Keys still awaiting resolution (Host effects and Client asks).
§
results: BTreeMap<usize, Value>Buffered results by node index — merged in canonical order at close, never in arrival order (§5.2).
§
send_results: BTreeMap<String, Value>Buffered Send-task results by task_path (zero-padded ordinals,
so lexicographic order IS spawn order) — merged after the static
results, in path order.
§
record: DecisionRecordFinished(RunOutcome)
Terminal.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for Phase
impl<'de> Deserialize<'de> for Phase
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl StructuralPartialEq for Phase
Auto Trait Implementations§
impl Freeze for Phase
impl RefUnwindSafe for Phase
impl Send for Phase
impl Sync for Phase
impl Unpin for Phase
impl UnsafeUnpin for Phase
impl UnwindSafe for Phase
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