Skip to main content

Supervisor

Struct Supervisor 

Source
pub struct Supervisor { /* private fields */ }
Expand description

Host-side child restarter (design notes §15-16).

A Supervisor is not a bytecode Flow. It is a dedicated OS thread plus a table of ChildSpecs. When a supervised flow becomes FlowState::Failed (or completes, under RestartPolicy::Always), the worker delivers the FlowOutcome here instead of letting the fault take anything else down. The supervisor then consults the child’s RestartPolicy and, if intensity allows, respawns it under a fresh FlowId — Pids are never reused (see super::process::FlowId).

Constructed from a RuntimeSpawner so it does not have to own the runtime’s worker JoinHandles.

Implementations§

Source§

impl Supervisor

Source

pub fn new(spawner: RuntimeSpawner) -> Result<Self, SpawnError>

Source

pub fn with_config( spawner: RuntimeSpawner, config: SupervisorConfig, ) -> Result<Self, SpawnError>

Start the dedicated supervisor OS thread. Thread-spawn failure is SpawnError::ThreadSpawnFailed — same category-A surface as super::runtime::Runtime::new, not a panic.

Examples found in repository?
examples/crash_and_restart.rs (lines 33-39)
15fn main() {
16    let rt = match Runtime::with_config(
17        samples::boom(),
18        RuntimeConfig {
19            workers: 1,
20            quantum: 1_000,
21        },
22    ) {
23        Ok(rt) => rt,
24        Err(e) => {
25            eprintln!("runtime: {e}");
26            std::process::exit(1);
27        }
28    };
29    let Some(boom) = rt.function_index("boom") else {
30        eprintln!("missing boom");
31        std::process::exit(1);
32    };
33    let sup = match Supervisor::with_config(
34        rt.spawner(),
35        SupervisorConfig {
36            max_restarts: 2,
37            max_period: Duration::from_secs(5),
38        },
39    ) {
40        Ok(s) => s,
41        Err(e) => {
42            eprintln!("supervisor: {e}");
43            std::process::exit(1);
44        }
45    };
46    if let Err(e) = sup.start_child(ChildSpec::new("boom", boom).restart(RestartPolicy::OnFailure))
47    {
48        eprintln!("start_child: {e}");
49        std::process::exit(1);
50    }
51
52    let start = std::time::Instant::now();
53    while !sup.intensity_exceeded() {
54        if start.elapsed() > Duration::from_secs(2) {
55            eprintln!("supervisor did not hit intensity in time");
56            std::process::exit(1);
57        }
58        thread::sleep(Duration::from_millis(5));
59    }
60
61    let metrics = rt.metrics();
62    println!("intensity exceeded after {} failures", metrics.processes_failed);
63    println!("{metrics}");
64    sup.shutdown();
65    rt.shutdown();
66}
Source

pub fn start_child(&self, spec: ChildSpec) -> Result<FlowHandle, SpawnError>

Spawn spec and start supervising it. The returned handle is for this incarnation only — a restart allocates a new Pid and a new completion channel.

Examples found in repository?
examples/crash_and_restart.rs (line 46)
15fn main() {
16    let rt = match Runtime::with_config(
17        samples::boom(),
18        RuntimeConfig {
19            workers: 1,
20            quantum: 1_000,
21        },
22    ) {
23        Ok(rt) => rt,
24        Err(e) => {
25            eprintln!("runtime: {e}");
26            std::process::exit(1);
27        }
28    };
29    let Some(boom) = rt.function_index("boom") else {
30        eprintln!("missing boom");
31        std::process::exit(1);
32    };
33    let sup = match Supervisor::with_config(
34        rt.spawner(),
35        SupervisorConfig {
36            max_restarts: 2,
37            max_period: Duration::from_secs(5),
38        },
39    ) {
40        Ok(s) => s,
41        Err(e) => {
42            eprintln!("supervisor: {e}");
43            std::process::exit(1);
44        }
45    };
46    if let Err(e) = sup.start_child(ChildSpec::new("boom", boom).restart(RestartPolicy::OnFailure))
47    {
48        eprintln!("start_child: {e}");
49        std::process::exit(1);
50    }
51
52    let start = std::time::Instant::now();
53    while !sup.intensity_exceeded() {
54        if start.elapsed() > Duration::from_secs(2) {
55            eprintln!("supervisor did not hit intensity in time");
56            std::process::exit(1);
57        }
58        thread::sleep(Duration::from_millis(5));
59    }
60
61    let metrics = rt.metrics();
62    println!("intensity exceeded after {} failures", metrics.processes_failed);
63    println!("{metrics}");
64    sup.shutdown();
65    rt.shutdown();
66}
Source

pub fn live_children(&self) -> usize

Source

pub fn intensity_exceeded(&self) -> bool

true once more than SupervisorConfig::max_restarts respawns landed inside the intensity window. Remaining children keep running; we just stop bringing them back (no safe abort of a mid-quantum flow).

Examples found in repository?
examples/crash_and_restart.rs (line 53)
15fn main() {
16    let rt = match Runtime::with_config(
17        samples::boom(),
18        RuntimeConfig {
19            workers: 1,
20            quantum: 1_000,
21        },
22    ) {
23        Ok(rt) => rt,
24        Err(e) => {
25            eprintln!("runtime: {e}");
26            std::process::exit(1);
27        }
28    };
29    let Some(boom) = rt.function_index("boom") else {
30        eprintln!("missing boom");
31        std::process::exit(1);
32    };
33    let sup = match Supervisor::with_config(
34        rt.spawner(),
35        SupervisorConfig {
36            max_restarts: 2,
37            max_period: Duration::from_secs(5),
38        },
39    ) {
40        Ok(s) => s,
41        Err(e) => {
42            eprintln!("supervisor: {e}");
43            std::process::exit(1);
44        }
45    };
46    if let Err(e) = sup.start_child(ChildSpec::new("boom", boom).restart(RestartPolicy::OnFailure))
47    {
48        eprintln!("start_child: {e}");
49        std::process::exit(1);
50    }
51
52    let start = std::time::Instant::now();
53    while !sup.intensity_exceeded() {
54        if start.elapsed() > Duration::from_secs(2) {
55            eprintln!("supervisor did not hit intensity in time");
56            std::process::exit(1);
57        }
58        thread::sleep(Duration::from_millis(5));
59    }
60
61    let metrics = rt.metrics();
62    println!("intensity exceeded after {} failures", metrics.processes_failed);
63    println!("{metrics}");
64    sup.shutdown();
65    rt.shutdown();
66}
Source

pub fn shutdown(self)

Stop the drive thread. Does not terminate live children — they belong to the runtime, not to us.

Examples found in repository?
examples/crash_and_restart.rs (line 64)
15fn main() {
16    let rt = match Runtime::with_config(
17        samples::boom(),
18        RuntimeConfig {
19            workers: 1,
20            quantum: 1_000,
21        },
22    ) {
23        Ok(rt) => rt,
24        Err(e) => {
25            eprintln!("runtime: {e}");
26            std::process::exit(1);
27        }
28    };
29    let Some(boom) = rt.function_index("boom") else {
30        eprintln!("missing boom");
31        std::process::exit(1);
32    };
33    let sup = match Supervisor::with_config(
34        rt.spawner(),
35        SupervisorConfig {
36            max_restarts: 2,
37            max_period: Duration::from_secs(5),
38        },
39    ) {
40        Ok(s) => s,
41        Err(e) => {
42            eprintln!("supervisor: {e}");
43            std::process::exit(1);
44        }
45    };
46    if let Err(e) = sup.start_child(ChildSpec::new("boom", boom).restart(RestartPolicy::OnFailure))
47    {
48        eprintln!("start_child: {e}");
49        std::process::exit(1);
50    }
51
52    let start = std::time::Instant::now();
53    while !sup.intensity_exceeded() {
54        if start.elapsed() > Duration::from_secs(2) {
55            eprintln!("supervisor did not hit intensity in time");
56            std::process::exit(1);
57        }
58        thread::sleep(Duration::from_millis(5));
59    }
60
61    let metrics = rt.metrics();
62    println!("intensity exceeded after {} failures", metrics.processes_failed);
63    println!("{metrics}");
64    sup.shutdown();
65    rt.shutdown();
66}

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.