Struct ResidentIfdsParallelScratch 

pub struct ResidentIfdsParallelScratch<R> { /* private fields */ }

Reusable resident scratch buffers for parallel IFDS query batches.

Implementations

impl<R> ResidentIfdsParallelScratch<R>

pub fn words_per_query(&self) -> usize

Number of u32 words in each query frontier.

pub fn max_queries(&self) -> usize

Maximum query count this scratch allocation can solve in one batch.

pub fn max_seed_facts(&self) -> usize

Maximum flattened seed facts this scratch can stage without allocating temporary resident seed buffers.

pub fn changed_iteration_capacity(&self) -> usize

Maximum fixpoint iterations this scratch is budgeted to run without reallocating reusable resident storage.

pub fn frontier_byte_len(&self) -> usize

Resident frontier matrix byte length.

pub fn changed_byte_len(&self) -> usize

Resident changed-flag byte length.

pub fn seed_triples_byte_len(&self) -> usize

Resident seed-triple staging byte length.

pub fn seed_offsets_byte_len(&self) -> usize

Resident seed-offset staging byte length.

pub fn retained_bytes(&self) -> usize

Total resident bytes retained by this reusable parallel scratch set.

Trait Implementations

impl<R: Debug> Debug for ResidentIfdsParallelScratch<R>

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

Formats the value using the given formatter.