hibana 0.8.0

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118

//! Decode-path helpers for `RouteBranch`.

mod finish;
mod state;

use core::task::Poll;

pub(crate) use state::DecodeState;

use super::decision_state::RouteState;
use super::{
    core::{
        BranchPreviewView, CursorEndpoint, DecodeRuntimeDesc, MaterializedRouteBranch,
        StagedPayload, is_linger_route_from_cursor, preflight_route_arm_commit_from_parts,
        scope_slot_for_route_from_cursor,
    },
    decision_state::{RouteArmCommitProof, RouteCommitProofList},
    inbox::PackedIngressEvidence,
    lane_port,
    offer::{BranchCommitPlan, BranchKind},
};
use crate::{
    binding::EndpointSlot,
    control::cap::mint::{EpochTable, MintConfigMarker},
    endpoint::{RecvError, RecvResult},
    global::{
        const_dsl::ScopeKind,
        typestate::{
            ARM_SHARED, JumpReason, LoopMetadata, LoopRole, PhaseCursor, RecvMeta, StateIndex,
        },
    },
    runtime::{config::Clock, consts::LabelUniverse},
    transport::{Transport, wire::Payload},
};

#[derive(Clone, Copy)]
struct LoopAckPlan {
    lane_idx: usize,
    idx: u8,
    has_local_decision: bool,
}

#[derive(Clone, Copy)]
struct EndpointRxAuditPlan {
    lane: u8,
    label: u8,
}

#[derive(Clone, Copy)]
enum DecodeProgressPlan {
    Wire {
        meta: RecvMeta,
        next_index: StateIndex,
        branch_scope: crate::global::const_dsl::ScopeId,
        branch_lane: u8,
    },
    Branch {
        scope: crate::global::const_dsl::ScopeId,
        lane: u8,
        selected_arm: u8,
        progress_eff: crate::eff::EffIndex,
        next_index: StateIndex,
        extra_linger_eff: Option<crate::eff::EffIndex>,
        align_to_lane_progress: bool,
    },
    Empty {
        scope: crate::global::const_dsl::ScopeId,
        lane: u8,
        selected_arm: u8,
        progress_eff: crate::eff::EffIndex,
        next_index: StateIndex,
    },
}

#[derive(Clone, Copy)]
enum DecodeLingerCursorPlan {
    None,
    SetLaneToEff { lane: u8, eff: crate::eff::EffIndex },
}

struct DecodeCommitPlan<'txn, 'r> {
    branch: BranchCommitPlan,
    loop_ack: Option<LoopAckPlan>,
    audit: EndpointRxAuditPlan,
    route_arm_proofs: RouteCommitProofList<'txn>,
    progress: DecodeProgressPlan,
    linger_cursor: DecodeLingerCursorPlan,
    committed_payload: Payload<'r>,
}

struct DecodePublishPlan<'r> {
    branch: BranchCommitPlan,
    loop_ack: Option<LoopAckPlan>,
    audit: EndpointRxAuditPlan,
    progress: DecodeProgressPlan,
    linger_cursor: DecodeLingerCursorPlan,
    committed_payload: Payload<'r>,
}

struct DecodeCommitTxn<'txn, 'r, const ROLE: u8, T, U, C, E, const MAX_RV: usize, Mint, B>
where
    T: Transport + 'r,
    U: LabelUniverse,
    C: Clock,
    E: EpochTable,
    Mint: MintConfigMarker,
    B: EndpointSlot + 'r,
{
    cursor: &'txn PhaseCursor,
    decision_state: &'txn mut RouteState,
    route_arm_proofs: Option<RouteCommitProofList<'txn>>,
    _role: core::marker::PhantomData<(&'r T, U, C, E, Mint, B)>,
}

#[inline]
pub(super) fn decode_phase_invariant() -> RecvError {
    RecvError::PhaseInvariant
}