Skip to main content

EpistemicGpuPreparedExecution

xlog_runtime::executor

Struct EpistemicGpuPreparedExecution

pub struct EpistemicGpuPreparedExecution {
    pub preflight: EpistemicGpuRuntimePreflight,
    pub tuple_membership_bindings: Vec<EpistemicTupleMembershipBinding>,
    pub workspace: EpistemicGpuWorkspace,
    pub workspace_reset: EpistemicGpuWorkspaceResetTrace,
}

Expand description

Prepared runtime state for epistemic GPU execution.

Fields§

§preflight: EpistemicGpuRuntimePreflight

Static preflight summary.

§tuple_membership_bindings: Vec<EpistemicTupleMembershipBinding>

Planned tuple-membership bindings certified before GPU execution.

§workspace: EpistemicGpuWorkspace

Device-resident workspace buffers.

§workspace_reset: EpistemicGpuWorkspaceResetTrace

Device-side initialization trace for the workspace buffers.

Auto Trait Implementations§

impl Freeze for EpistemicGpuPreparedExecution

impl RefUnwindSafe for EpistemicGpuPreparedExecution

impl Send for EpistemicGpuPreparedExecution

impl Sync for EpistemicGpuPreparedExecution

impl Unpin for EpistemicGpuPreparedExecution

impl UnsafeUnpin for EpistemicGpuPreparedExecution

impl UnwindSafe for EpistemicGpuPreparedExecution

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,