Skip to main content

diagnostic_replay/
diagnostic_replay.rs

1//! Demonstrates journal replay, metric derivation, and run summary building.
2
3// Import typed task failure values.
4use rust_supervisor::error::types::{TaskFailure, TaskFailureKind};
5// Import policy and event payload values.
6use rust_supervisor::event::payload::{
7    // Import policy decisions.
8    PolicyDecision,
9    // Import state transitions.
10    StateTransition,
11    // Import supervisor event envelopes.
12    SupervisorEvent,
13    // Import event payload variants.
14    What,
15    // Import event location values.
16    Where,
17    // Finish importing event payload values.
18};
19// Import event timing values.
20use rust_supervisor::event::time::{CorrelationId, EventSequence, EventTime, When};
21// Import identifier and attempt values.
22use rust_supervisor::id::types::{Attempt, ChildId, Generation, SupervisorPath};
23// Import fixed-capacity event journal.
24use rust_supervisor::journal::ring::EventJournal;
25// Import metrics facade.
26use rust_supervisor::observe::metrics::MetricsFacade;
27// Import child state values.
28use rust_supervisor::state::child::{ChildLifecycleState, ChildState};
29// Import supervisor state values.
30use rust_supervisor::state::supervisor::{ShutdownState, SupervisorState};
31// Import run summary builder.
32use rust_supervisor::summary::builder::RunSummaryBuilder;
33// Import UUID values for deterministic correlation IDs.
34use uuid::Uuid;
35
36// Run the diagnostic replay example.
37/// Runs the diagnostic replay example.
38fn main() {
39    // Build the child identifier.
40    let child_id = ChildId::new("market_feed");
41    // Build the child path.
42    let child_path = SupervisorPath::root().join("market_feed");
43    // Build a typed task failure.
44    let failure = TaskFailure::new(
45        // Set the failure kind.
46        TaskFailureKind::Timeout,
47        // Set the low-cardinality failure category.
48        "external_dependency",
49        // Set the diagnostic failure message.
50        "market feed heartbeat timed out",
51        // Finish the typed task failure.
52    );
53    // Build the restart policy decision.
54    let policy = PolicyDecision::new(
55        // Set the decision label.
56        "RestartAfter",
57        // Set the restart delay.
58        Some(500),
59        // Set the diagnostic decision reason.
60        Some("heartbeat timeout is restartable".to_owned()),
61        // Finish the policy decision.
62    );
63
64    // Create the fixed-capacity event journal.
65    let mut journal = EventJournal::new(8);
66    // Push the running event.
67    journal.push(event(
68        // Set the event sequence.
69        1,
70        // Clone the child identifier.
71        child_id.clone(),
72        // Set the child display name.
73        "Market Feed",
74        // Build the running event payload.
75        What::ChildRunning {
76            // Attach the state transition.
77            transition: Some(StateTransition::new("Starting", "Running")),
78            // Finish the running event payload.
79        },
80        // Attach no policy decision.
81        None,
82        // Finish the running event.
83    ));
84    // Push the failed event.
85    journal.push(event(
86        // Set the event sequence.
87        2,
88        // Clone the child identifier.
89        child_id.clone(),
90        // Set the child display name.
91        "Market Feed",
92        // Build the failed event payload.
93        What::ChildFailed {
94            // Attach the typed failure.
95            failure: failure.clone(),
96            // Finish the failed event payload.
97        },
98        // Attach the restart policy decision.
99        Some(policy.clone()),
100        // Finish the failed event.
101    ));
102    // Push the backoff event.
103    journal.push(event(
104        // Set the event sequence.
105        3,
106        // Clone the child identifier.
107        child_id.clone(),
108        // Set the child display name.
109        "Market Feed",
110        // Build the backoff payload.
111        What::BackoffScheduled { delay_ms: 500 },
112        // Attach the restart policy decision.
113        Some(policy.clone()),
114        // Finish the backoff event.
115    ));
116    // Push the restarted event.
117    journal.push(event(
118        // Set the event sequence.
119        4,
120        // Clone the child identifier.
121        child_id.clone(),
122        // Set the child display name.
123        "Market Feed",
124        // Build the restarted payload.
125        What::ChildRestarted { restart_count: 1 },
126        // Attach the restart policy decision.
127        Some(policy.clone()),
128        // Finish the restarted event.
129    ));
130
131    // Build the final child state.
132    let child = ChildState::declared(child_path, child_id, "Market Feed")
133        // Set the child lifecycle state.
134        .with_lifecycle_state(ChildLifecycleState::Running, EventSequence::new(1))
135        // Record the latest failure.
136        .record_failure(failure, EventSequence::new(2))
137        // Record the latest policy decision.
138        .with_policy_decision(policy, 1);
139    // Build the final supervisor state.
140    let final_state = SupervisorState::new(SupervisorPath::root(), EventSequence::new(4), 1)
141        // Add the child state.
142        .with_child(child)
143        // Mark shutdown as completed for the replay.
144        .with_shutdown_state(ShutdownState::Completed)
145        // Attach the last journal sequence.
146        .with_journal_sequence(EventSequence::new(4));
147    // Build the diagnostic run summary.
148    let summary = RunSummaryBuilder::new(8).build(
149        // Read recent events from the journal.
150        &journal,
151        // Attach the final current state.
152        final_state,
153        // Attach the shutdown cause.
154        Some("diagnostic replay complete".to_owned()),
155        // Finish the summary construction.
156    );
157    // Create the metrics facade.
158    let metrics = MetricsFacade::new();
159
160    // Print summary counters.
161    println!(
162        // Provide the output template.
163        "summary restart_count={} failure_count={} recent_events={}",
164        // Print the restart count.
165        summary.restart_count,
166        // Print the failure count.
167        summary.failure_count,
168        // Print the recent event count.
169        summary.recent_events.len(),
170        // Finish summary output.
171    );
172    // Iterate over recent journal events.
173    for event in journal.recent(8) {
174        // Print event names and derived metrics.
175        println!(
176            // Provide the output template.
177            "event={} metrics={:?}",
178            // Print the event name.
179            event.what.name(),
180            // Print metrics derived from the event.
181            metrics.samples_for_event(&event),
182            // Finish event output.
183        );
184        // Finish the journal replay loop.
185    }
186    // End the diagnostic replay example.
187}
188
189// Build a deterministic supervisor event.
190/// Builds one deterministic supervisor event.
191fn event(
192    // Receive the event sequence number.
193    sequence: u64,
194    // Receive the child identifier.
195    child_id: ChildId,
196    // Receive the child display name.
197    child_name: &str,
198    // Receive the event payload.
199    what: What,
200    // Receive the optional policy decision.
201    policy: Option<PolicyDecision>,
202    // Return the built supervisor event.
203) -> SupervisorEvent {
204    // Build the event sequence value.
205    let sequence_value = EventSequence::new(sequence);
206    // Build the base event envelope.
207    let event = SupervisorEvent::new(
208        // Build the event time wrapper.
209        When::new(EventTime::deterministic(
210            // Set deterministic wall-clock time.
211            sequence as u128,
212            // Set deterministic monotonic time.
213            sequence as u128,
214            // Set deterministic uptime.
215            sequence,
216            // Set the initial child generation.
217            Generation::initial(),
218            // Set the first attempt.
219            Attempt::first(),
220            // Finish deterministic event time.
221        )),
222        // Build the event location.
223        Where::new(SupervisorPath::root().join(&child_id.value)).with_child(child_id, child_name),
224        // Attach the payload.
225        what,
226        // Attach the sequence.
227        sequence_value,
228        // Attach a deterministic correlation identifier.
229        CorrelationId::from_uuid(Uuid::nil()),
230        // Attach the configuration version.
231        1,
232        // Finish the base event envelope.
233    );
234
235    // Attach policy data when it exists.
236    match policy {
237        // Attach the provided policy decision.
238        Some(policy) => event.with_policy(policy),
239        // Return the event without policy data.
240        None => event,
241        // Finish policy attachment.
242    }
243    // Finish the deterministic event builder.
244}