Struct RuleExecutionProfiler 

pub struct RuleExecutionProfiler {
    pub profiles: HashMap<u64, RuleProfile>,
    pub hotspot_threshold_us: u64,
}

Profiles individual rule execution performance.

Tracks invocation counts, latencies, hit rates, and hotspot detection for every rule that passes through record_invocation.

Example

use ipfrs_tensorlogic::rule_profiler::RuleExecutionProfiler;

let mut profiler = RuleExecutionProfiler::new(1_000);
profiler.record_invocation(1, "ancestor", 500, true);
profiler.record_invocation(1, "ancestor", 1_500, false);

let hotspots = profiler.hotspots();
// avg = (500 + 1500) / 2 = 1000, threshold = 1000 → NOT > threshold
assert!(hotspots.is_empty());

Fields

profiles: HashMap<u64, RuleProfile>

Per-rule profiles indexed by rule_id.

hotspot_threshold_us: u64

Average time above which a rule is considered a hotspot (microseconds).

Implementations

impl RuleExecutionProfiler

pub fn new(hotspot_threshold_us: u64) -> Self

Creates a new profiler with the specified hotspot threshold.

A rule is a hotspot when its avg_time_us() strictly exceeds hotspot_threshold_us.

pub fn record_invocation( &mut self, rule_id: u64, rule_name: &str, time_us: u64, success: bool, )

Records a single rule invocation.

Parameters

• rule_id — stable numeric identifier for the rule
• rule_name — human-readable label (used only on first insertion)
• time_us — wall-clock duration of this invocation in microseconds
• success — true if the rule produced at least one binding

pub fn hotspots(&self) -> Vec<&RuleProfile>

Returns all rules whose average invocation time exceeds the hotspot threshold, sorted by avg_time_us in descending order.

pub fn top_rules_by_invocations(&self, n: usize) -> Vec<&RuleProfile>

Returns up to n rules ordered by total invocation count (highest first).

pub fn slowest_rules(&self, n: usize) -> Vec<&RuleProfile>

Returns up to n rules ordered by average time per invocation (highest first).

pub fn reset_rule(&mut self, rule_id: u64) -> bool

Removes the profile for rule_id.

Returns true if the rule was present and has been removed, false if no profile existed for that id.

pub fn stats(&self) -> ProfilerStats

Returns aggregate statistics for all currently tracked rules.