Module supervision

Module supervision 

Source
Expand description

Messages used in supervision.

§Supervision invariants (SV-*)

  • SV-1 (root-cause attribution): For an UnhandledSupervisionEvent chain, actually_failing_actor() returns the event that should be treated as the root cause for structured failure attribution. In particular, if a failed parent wraps a stopped child event, the stopped child remains the root cause.

Structs§

ActorSupervisionEvent
This is the local actor supervision event. Child actor will propagate this event to its parent.