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>Device count of accepted worlds satisfying each query.
evidence_count: TrackedCudaSlice<u32>Device count of worlds satisfying all evidence.
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:
[postflight_summary(3); converged_flags; sparse_overflow_flags; block_participation; changed_flags; global_continue].
total_samples: usizeNumber of sampled worlds.
seed: u64Random seed used for sampling.
confidence: f64Requested confidence level for reported intervals.
sampling_method: McSamplingMethodEvidence-sampling strategy used by the resident engine.
num_queries: usizeNumber of query atoms (== query_counts.len()).
no_host: McNoHostStatsTransfer, launch, and host-loop measurements for the resident region.