Struct LeanWorkerRestartPolicy 

pub struct LeanWorkerRestartPolicy { /* private fields */ }

Policy for cycling a worker child before the next request.

The policy resets retained Lean runtime memory only by restarting the process. It does not change lean-rs-host’s in-process memory model, and it does not imply that SessionPool::drain() can return process-global Lean memory to the OS.

Implementations

impl LeanWorkerRestartPolicy

pub fn disabled() -> Self

Disable automatic policy restarts.

pub fn max_requests(self, limit: u64) -> Self

Restart before a request when this many requests have entered the child.

pub fn max_imports(self, limit: u64) -> Self

Restart before an import-like request when this many imports have run.

pub fn max_rss_kib(self, limit: u64) -> Self

Restart before a request when measured child RSS is at least this many KiB.

RSS measurement is best effort. It is implemented for the current supported Unix development targets; unsupported platforms skip the check and increment LeanWorkerStats::rss_samples_unavailable.

pub fn idle_restart_after(self, duration: Duration) -> Self

Restart before a request when the worker has been idle for this long.

Trait Implementations

impl Clone for LeanWorkerRestartPolicy

fn clone(&self) -> LeanWorkerRestartPolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LeanWorkerRestartPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LeanWorkerRestartPolicy

fn default() -> LeanWorkerRestartPolicy

Returns the “default value” for a type.

impl PartialEq for LeanWorkerRestartPolicy

fn eq(&self, other: &LeanWorkerRestartPolicy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LeanWorkerRestartPolicy

impl StructuralPartialEq for LeanWorkerRestartPolicy