Skip to main content

McResidentResult

Struct McResidentResult

pub struct McResidentResult {
    pub query_counts: TrackedCudaSlice<u32>,
    pub evidence_count: TrackedCudaSlice<u32>,
    pub iter_trace: TrackedCudaSlice<u32>,
    pub sparse_final_row_counts: TrackedCudaSlice<u32>,
    pub sparse_offsets: TrackedCudaSlice<u32>,
    pub resident_status_flags: TrackedCudaSlice<u32>,
    pub total_samples: usize,
    pub seed: u64,
    pub confidence: f64,
    pub sampling_method: McSamplingMethod,
    pub num_queries: usize,
    pub no_host: McNoHostStats,
}

Expand description

Device-resident result of a GPU-resident MC run. Counts stay on device; the caller decides whether/when to download them (after the measured region).

Fields§

§query_counts: TrackedCudaSlice<u32>§evidence_count: TrackedCudaSlice<u32>§iter_trace: TrackedCudaSlice<u32>

Per-world fixpoint iteration count (device-resident).

§sparse_final_row_counts: TrackedCudaSlice<u32>

Final sparse row count per world (device-resident).

§sparse_offsets: TrackedCudaSlice<u32>

World-segment offsets for the sparse arena, populated by the resident kernel (device-resident).

§resident_status_flags: TrackedCudaSlice<u32>

Per-world resident status flags, populated by the resident kernel: [converged_flags; sparse_overflow_flags; block_participation; scratch...].

§total_samples: usize§seed: u64§confidence: f64§sampling_method: McSamplingMethod§num_queries: usize

Number of query atoms (== query_counts.len()).

§no_host: McNoHostStats

Auto Trait Implementations§

impl Freeze for McResidentResult

impl RefUnwindSafe for McResidentResult

impl Send for McResidentResult

impl Sync for McResidentResult

impl Unpin for McResidentResult

impl UnsafeUnpin for McResidentResult

impl UnwindSafe for McResidentResult

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,