Struct FixedPointResidentBatch 

pub struct FixedPointResidentBatch { /* private fields */ }

Reusable resident fixed-point execution state.

Implementations

impl FixedPointResidentBatch

pub fn reaching( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, ) -> Result<Vec<u32>, String>

pub fn reaching_into( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, result: &mut Vec<u32>, ) -> Result<(), String>

Run reaching-definition closure into caller-owned result storage while reusing cached graph resources, resident frontier buffers, host scratch, and the caller’s final Vec<u32> allocation.

pub fn live( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, ) -> Result<Vec<u32>, String>

Run live-variable closure through cached resident graph resources and reusable resident frontier buffers.

pub fn live_into( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, result: &mut Vec<u32>, ) -> Result<(), String>

Run live-variable closure into caller-owned result storage while reusing cached graph resources, resident frontier buffers, host scratch, and the caller’s final Vec<u32> allocation.

pub fn points_to_subset( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, ) -> Result<Vec<u32>, String>

Run points-to subset closure through cached resident graph resources and reusable resident frontier buffers.

pub fn points_to_subset_into( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, result: &mut Vec<u32>, ) -> Result<(), String>

Run points-to subset closure into caller-owned result storage while reusing cached graph resources, resident frontier buffers, host scratch, and the caller’s final Vec<u32> allocation.

pub fn slice( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, ) -> Result<Vec<u32>, String>

Run backward-slice closure through cached resident graph resources and reusable resident frontier buffers.

pub fn slice_into( &mut self, backend: &dyn VyreBackend, pipeline: Arc<dyn CompiledPipeline>, graph: &FixedPointForwardGraph, seed_bits: &[u32], max_iterations: u32, config: &DispatchConfig, result: &mut Vec<u32>, ) -> Result<(), String>

Run backward-slice closure into caller-owned result storage while reusing cached graph resources, resident frontier buffers, host scratch, and the caller’s final Vec<u32> allocation.

pub fn reaching_sequence_window( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, ) -> Result<Vec<u32>, String>

Run reaching-definition closure through cached resident graph resources using backend resident sequence replay.

pub fn reaching_sequence_window_into( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, result: &mut Vec<u32>, ) -> Result<(), String>

Run reaching-definition closure through backend resident sequence replay into caller-owned result storage.

pub fn live_sequence_window( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, ) -> Result<Vec<u32>, String>

Run live-variable closure through cached resident graph resources using backend resident sequence replay.

pub fn live_sequence_window_into( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, result: &mut Vec<u32>, ) -> Result<(), String>

Run live-variable closure through backend resident sequence replay into caller-owned result storage.

pub fn points_to_subset_sequence_window( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, ) -> Result<Vec<u32>, String>

Run points-to subset closure through cached resident graph resources using backend resident sequence replay.

pub fn points_to_subset_sequence_window_into( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, result: &mut Vec<u32>, ) -> Result<(), String>

Run points-to subset closure through backend resident sequence replay into caller-owned result storage.

pub fn slice_sequence_window( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, ) -> Result<Vec<u32>, String>

Run backward-slice closure through cached resident graph resources using backend resident sequence replay.

pub fn slice_sequence_window_into( &mut self, backend: &dyn VyreBackend, plan: &FixedPointAnalysisPlan, seed_bits: &[u32], max_iterations: u32, result: &mut Vec<u32>, ) -> Result<(), String>

Run backward-slice closure through backend resident sequence replay into caller-owned result storage.

impl FixedPointResidentBatch

pub fn new() -> Self

Create a resident fixed-point batch facade with an unbounded graph cache.

pub fn with_max_retained_bytes(max_retained_bytes: usize) -> Self

Create a resident fixed-point batch facade with a soft graph-cache byte bound.

pub fn with_cache_bounds( max_retained_bytes: usize, max_execution_plans: usize, ) -> Self

Create a resident fixed-point batch facade with explicit graph-cache byte and execution-plan entry bounds.

pub fn with_memory_budget( max_retained_bytes: usize, max_execution_plans: usize, max_frontier_bytes: usize, ) -> Self

Create a resident fixed-point batch facade with explicit graph-cache, execution-plan cache, and resident frontier byte bounds.

pub fn graph_cache(&self) -> &FixedPointResidentGraphCache

Inspect the resident graph cache.

pub fn graph_cache_stats(&self) -> FixedPointResidentGraphCacheStats

Inspect resident graph cache counters.

pub fn execution_plan_cache_stats(&self) -> FixedPointExecutionPlanCacheStats

Inspect execution-plan cache counters.

pub fn stats(&self) -> FixedPointResidentBatchStats

Inspect resident batch counters.

pub fn frontier_density(&self) -> FrontierDensityTelemetry

Latest host-observed frontier density from the last fixed-point solve.

pub fn recommended_frontier_execution_mode(&self) -> FrontierExecutionMode

Sparse/dense execution family recommended from the last solve’s frontier density.

pub fn execution_plan_for_prepared_graph( &self, graph: &FixedPointForwardGraph, ) -> Result<FixedPointExecutionPlan, String>

Build a scale-aware execution plan for a prepared graph using the last observed frontier density.

pub fn cached_execution_plan_for_prepared_graph( &mut self, backend: &dyn VyreBackend, kind: FixedPointAnalysisKind, graph: &FixedPointForwardGraph, ) -> Result<FixedPointExecutionPlan, String>

Return a cached scale-aware execution plan for a prepared graph and analysis family using the last observed frontier density.

pub fn free_all( &mut self, backend: &dyn VyreBackend, ) -> Result<(), BackendError>

Free retained resident frontier and graph resources.

Trait Implementations

impl Clone for FixedPointResidentBatch

fn clone(&self) -> FixedPointResidentBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedPointResidentBatch

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

Formats the value using the given formatter.

impl Default for FixedPointResidentBatch

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for FixedPointResidentBatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FixedPointResidentBatch