saddle-runtime 0.3.24

Saddle managed asynchronous runtime and lifecycle
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

//! Compiles as an external Runtime consumer. No root issuer/physical completion.
#![allow(dead_code)]
use saddle_core::{
    BoundedDiagnostic, Diagnostic, DiagnosticCode, DiagnosticOutcomeAxes, OperationOutcome,
};
use saddle_observability::root_diagnostic::{
    PublicRequestFailure, RootOutcomeFacts, RootRequestEvent,
};
use saddle_observability::{EmergencyDiagnosticHandle, Observer};
use saddle_runtime::request_task::reserved::{
    ReservedActiveStage, ReservedObservationStage, ReservedRequestFailure, ReservedRequestView,
};

fn facts(operation: OperationOutcome) -> RootOutcomeFacts {
    RootOutcomeFacts {
        axes: DiagnosticOutcomeAxes {
            operation,
            ..Default::default()
        },
        ..Default::default()
    }
}
fn database<'a>(
    view: &'a ReservedRequestView,
    observer: &'a Observer,
    output: Option<&'a EmergencyDiagnosticHandle>,
    original: &(dyn std::error::Error + 'static),
    original_facts: BoundedDiagnostic,
    classification: DiagnosticCode,
) -> Result<ReservedRequestFailure, (ReservedActiveStage<'a>, ReservedRequestFailure)> {
    let stage = view.start_stage(observer, output, ReservedObservationStage::Database);
    let failure = view.source_error_with_facts(
        original,
        original_facts,
        classification,
        output,
        RootRequestEvent::Database,
        facts(OperationOutcome::Failed),
    );
    stage
        .finish_failure(failure, facts(OperationOutcome::Failed))
        .map(|(receipt, _)| receipt)
}
fn transport_cancel(
    view: &ReservedRequestView,
    output: Option<&EmergencyDiagnosticHandle>,
    existing: Diagnostic,
    code: DiagnosticCode,
) -> ReservedRequestFailure {
    // Existing ExpectedRejection, occurrence, primary and location are unchanged.
    view.source_existing_description(
        &"outbound cancelled",
        existing,
        code,
        output,
        RootRequestEvent::Outbound,
        facts(OperationOutcome::Cancelled),
    )
}
fn describe_rejection(
    view: &ReservedRequestView,
    output: Option<&EmergencyDiagnosticHandle>,
    original: BoundedDiagnostic,
    code: DiagnosticCode,
) -> ReservedRequestFailure {
    view.source_description(
        &"column shape rejected without driver Error",
        original,
        code,
        output,
        RootRequestEvent::Database,
        facts(OperationOutcome::Rejected),
    )
}
fn existing_error(
    view: &ReservedRequestView,
    output: Option<&EmergencyDiagnosticHandle>,
    original: &(dyn std::error::Error + 'static),
    diagnostic: Diagnostic,
    code: DiagnosticCode,
) -> ReservedRequestFailure {
    view.source_existing_error(
        original,
        diagnostic,
        code,
        output,
        RootRequestEvent::Outbound,
        facts(OperationOutcome::TimedOut),
    )
}
fn response<'a>(
    view: &'a ReservedRequestView,
    observer: &'a Observer,
    output: Option<&'a EmergencyDiagnosticHandle>,
) {
    let _ = view
        .start_stage(observer, output, ReservedObservationStage::Response)
        .finish_nonfailure(facts(OperationOutcome::Succeeded));
}
fn final_projection(
    view: &ReservedRequestView,
    output: Option<&EmergencyDiagnosticHandle>,
    receipt: ReservedRequestFailure,
) -> Result<PublicRequestFailure, ReservedRequestFailure> {
    // Only after actual owner cleanup. Does not repeat the Database stage metric.
    receipt.finish(view, output, RootOutcomeFacts::default())
}
fn main() {
    println!(
        "guarded_stage={} align={} guarded_failure={} view_handle={}; inline consumer layouts must be recomputed; formal wiring NOT_RUN",
        std::mem::size_of::<ReservedActiveStage>(),
        std::mem::align_of::<ReservedActiveStage>(),
        std::mem::size_of::<ReservedRequestFailure>(),
        std::mem::size_of::<ReservedRequestView>()
    );
}