Skip to main content

RegressionHistoryPolicy

Struct RegressionHistoryPolicy 

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

Adaptive SLO policy backed by per-target blocked-ratio history.

Uses bounded threshold shifts around default class SLOs. History can be persisted to JSON for process restarts and operator inspection.

Implementations§

Source§

impl RegressionHistoryPolicy

Source

pub const fn new() -> Self

Create an in-memory adaptive policy with no persistence.

§Example
use stygian_charon::RegressionHistoryPolicy;

let policy = RegressionHistoryPolicy::new();
assert!(policy.tracked_target_count() == 0);
Source

pub fn with_json_store( path: impl AsRef<Path>, ) -> Result<Self, AdaptivePolicyError>

Create an adaptive policy that persists history to a JSON file.

If the file exists, it is loaded on startup.

§Errors

Returns AdaptivePolicyError when loading the store fails.

§Example
use stygian_charon::RegressionHistoryPolicy;

let _policy = RegressionHistoryPolicy::with_json_store("./charon-history.json")?;
Source

pub fn tracked_target_count(&self) -> usize

Number of unique targets tracked by history.

Source

pub fn observations_for_target(&self, target: &str) -> usize

Number of observations currently retained for one target.

Trait Implementations§

Source§

impl AdaptiveSloPolicy for RegressionHistoryPolicy

Source§

fn select_slo( &self, target: &str, target_class: TargetClass, default: BlockedRatioSlo, ) -> BlockedRatioSlo

Select an adjusted SLO for a target using historical observations. Read more
Source§

fn record_observation( &self, target: &str, target_class: TargetClass, blocked_ratio: f64, escalation_level: RequirementLevel, ) -> Result<(), AdaptivePolicyError>

Record a new blocked-ratio observation for a target. Read more
Source§

impl Debug for RegressionHistoryPolicy

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for RegressionHistoryPolicy

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

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.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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.

§

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

§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more
§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more
Source§

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

Source§

type Error = Infallible

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.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more