Module fixed_point 

Helper functions for fixed-point searches

This module implements the standard iterative strategy for solving fixed-point equations of monotonically increasing functions.

Enums

SearchFailure

Error type returned when a fixed point search fails.

Functions

max_response_time

Given a sequence of SearchResults, either return the maximum finite result (if no divergence errors occurred) or propagate the first error encountered.

search

Iterative search for a fixed point up to a given divergence_limit, assuming a given processor supply and a generic workload bound.

search_with_offset

Conduct an iterative fixed point search up to a given divergence threshold, assuming a given fixed offset within the busy window.

Type Aliases

SearchResult

A fixed-point search either returns the fixed point (of type Duration) or a SearchFailure explaining why the search failed.