Struct ExecuteScope 

pub struct ExecuteScope<'a, S: WriteScoped> { /* private fields */ }

One scope around a unit of device work.

Built by over for work that reads nothing it must trust, or launching for a kernel, which is the only kind that can be skipped.

Which of the two it is is settled by the constructor and cannot change afterwards. Entering on a skip would be wrong rather than merely wasteful: the provisional failure would be minted, overwritten by the propagated one, and never pruned, because the exit that prunes it is on the path that does not run. Nothing has to remember that, because a scope is one or the other before it exists.

Implementations

impl<'a, S: WriteScoped> ExecuteScope<'a, S>

pub fn over( server: &'a mut S, stream: StreamId, written: Vec<BufferBinding>, ) -> Self

A scope over work that writes written and reads nothing it has to trust — a host copy, a graph replay, a launch that never compiled.

Such work cannot be skipped, so this always enters.

pub fn launching<'b>( server: &'a mut S, kernel: KernelId, stream: StreamId, reads: impl Iterator<Item = &'b BufferBinding>, written: Vec<BufferBinding>, ) -> Self

A scope over a launch of kernel on stream, reading reads and writing written.

Skips, rather than claiming, when an input carries a failure. A launch whose input cannot be trusted does not run: a buffer holding garbage can be read as a dynamic cube count or as gather indices, scattering into memory that carried no failure at all. Its outputs take the failure that stopped it, exactly as a failed launch’s would, so a read downstream fails on the root cause.

pub fn skipped(&self) -> bool

Whether this scope skipped, so its body will not run.

pub fn execute<R>( self, body: impl FnOnce(&mut S) -> Result<R, ServerError>, ) -> ScopedOutcome<R>

Run body and settle the write set.

A skipped scope never runs it. Otherwise the claim is released if the body succeeded and replaced with the real error if it did not, and either way a measurement in flight hears about a failure, and a recording window hears how the work ended. body may return early anywhere.