Struct EpistemicGpuPropagationTrace 

pub struct EpistemicGpuPropagationTrace {
    pub literal_count: usize,
    pub propagated_candidates: usize,
    pub world_view_bytes_written: usize,
    pub rejection_reason_slots_written: usize,
    pub kernel_launches: u32,
    pub host_write_ops: u32,
    pub kernel_timing: EpistemicGpuKernelTimingTrace,
}

Trace proving candidate propagation staging was performed by a GPU kernel.

Fields

literal_count: usize

Number of epistemic literals represented per candidate.

propagated_candidates: usize

Number of candidate rows propagated on device.

world_view_bytes_written: usize

World-view staging bytes written by the kernel.

rejection_reason_slots_written: usize

Rejection-reason slots initialized by the kernel.

kernel_launches: u32

Candidate-propagation kernel launches.

host_write_ops: u32

Host writes used by propagation. Accepted GPU execution requires zero.

kernel_timing: EpistemicGpuKernelTimingTrace

CUDA-event timing for the launched kernel.

Implementations

impl EpistemicGpuPropagationTrace

pub fn for_counts(literal_count: usize, candidate_count: usize) -> Result<Self>

Build a propagation trace for a bounded device launch.

pub const fn with_kernel_timing( self, kernel_timing: EpistemicGpuKernelTimingTrace, ) -> Self

Attach CUDA-event timing captured by the runtime launch path.

Trait Implementations

impl Clone for EpistemicGpuPropagationTrace

fn clone(&self) -> EpistemicGpuPropagationTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuPropagationTrace

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuPropagationTrace

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for EpistemicGpuPropagationTrace

impl Eq for EpistemicGpuPropagationTrace

impl StructuralPartialEq for EpistemicGpuPropagationTrace