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
impl Supervisor
pub fn new(spawner: RuntimeSpawner) -> Result<Self, SpawnError>
Sourcepub fn with_config(
spawner: RuntimeSpawner,
config: SupervisorConfig,
) -> Result<Self, SpawnError>
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?
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}Sourcepub fn start_child(&self, spec: ChildSpec) -> Result<FlowHandle, SpawnError>
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?
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}pub fn live_children(&self) -> usize
Sourcepub fn intensity_exceeded(&self) -> bool
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?
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}Sourcepub fn shutdown(self)
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?
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}