Struct LivenessAnalysis 

pub struct LivenessAnalysis {
    pub order: Vec<NodeId>,
    /* private fields */
}

Result of running liveness analysis on a ComputeGraph.

Fields

order: Vec<NodeId>

The topological order used for position assignment.

Implementations

impl LivenessAnalysis

pub fn interval(&self, buf: BufferId) -> Option<&LiveInterval>

Returns the live interval for a buffer, if it was referenced.

pub fn all_intervals(&self) -> impl Iterator<Item = &LiveInterval>

Returns all live intervals.

pub fn sorted_by_start(&self) -> Vec<&LiveInterval>

Returns all intervals sorted by start position (ascending).

pub fn interference_pairs(&self) -> Vec<(BufferId, BufferId)>

Returns pairs of buffers whose live intervals overlap (interference set).

The result is deduplicated: each pair (a, b) appears at most once, with a.0 < b.0.

pub fn dead_buffers(&self) -> Vec<BufferId>

Returns dead buffers (written but never read).

pub fn max_live_count(&self) -> usize

Returns the maximum number of buffers simultaneously live at any step.

This is a lower bound on the number of live allocations required.

pub fn max_live_bytes(&self) -> usize

Returns the maximum total bytes simultaneously live at any step.

Trait Implementations

impl Clone for LivenessAnalysis

fn clone(&self) -> LivenessAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LivenessAnalysis

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

Formats the value using the given formatter.