Skip to main content

StepResourceLease

Struct StepResourceLease 

Source
pub struct StepResourceLease<R>
where R: DeviceRuntime,
{ /* private fields */ }
Expand description

Resources whose lifetime is one exact continuous-batch execution frame. Child invocation leases retain this scope through Arc, so shared frame capacity and every participant authority outlive asynchronous device work.

Implementations§

Source§

impl<R> StepResourceLease<R>
where R: DeviceRuntime,

Source

pub const fn batch_step_id(&self) -> BatchStepId

Source

pub fn execution_lane(&self) -> &Arc<ExecutionLane<R>>

Source

pub fn reusable_execution_bucket(&self) -> Option<&ReusableExecutionBucketSpec>

Source

pub fn try_retire_normal( self: Arc<Self>, ) -> Result<StepRetirementReceipt, StepFinalizationFailure<R>>

Source

pub fn try_abort( self: Arc<Self>, ) -> Result<StepRetirementReceipt, StepFinalizationFailure<R>>

Source

pub fn try_rollback_unsubmitted( self: Arc<Self>, ) -> Result<StepRetirementReceipt, StepFinalizationFailure<R>>

Releases a capacity-deferred step before any invocation was prepared or submitted. Unlike try_abort, this leaves every participant session open so the scheduler can retry after the exact capacity source advances.

Source

pub fn participant_count(&self) -> u32

Source

pub fn coordinator_id(&self) -> LogicalAdmissionCoordinatorId

Source

pub fn participants( &self, ) -> impl ExactSizeIterator<Item = &Arc<AdmittedSequenceResources<R>>>

Source

pub fn participant_frames( &self, ) -> impl ExactSizeIterator<Item = StepParticipantFrameAssignment> + '_

Source

pub fn backing_slices(&self) -> &[LogicalBackingSliceAuthority]

Source

pub fn logical_capacity(&self) -> Option<&LogicalBatchCapacityLease>

Source

pub fn work_shape(&self) -> &BatchWorkShape

Source

pub fn bind_invocation_work_shape( &self, participant_tokens: Vec<(BatchParticipantAuthority, TokenSpanWork)>, ) -> Result<BatchWorkShape, VNextError>

Source

pub fn bind_all_invocation_work_shape( &self, token_spans: Vec<TokenSpanWork>, ) -> Result<BatchWorkShape, VNextError>

Source

pub fn shared_all_invocation_work_shape( &self, token_spans: &[TokenSpanWork], ) -> Result<Arc<BatchWorkShape>, VNextError>

Reuses the exact immutable work authority admitted for this step when a submission wave binds the same participants and token spans.

Source

pub fn claimed_backing(&self) -> &ClaimedBackingTransaction

Source

pub fn static_provisioning(&self) -> Option<&StaticProvisioningLease<R>>

Source

pub fn plan_evidence(&self) -> TrustedPlanRuntimeEvidence

Source

pub fn try_admit_invocation( self: &Arc<Self>, request: InvocationResourceAdmissionRequest, ) -> Result<InvocationResourceAdmissionDecision<R>, VNextError>

Source

pub fn try_prepare_submission_wave( self: &Arc<Self>, requests: Vec<InvocationResourceAdmissionRequest>, ) -> Result<StepSubmissionWaveAdmissionDecision<R>, VNextError>

Source

pub fn try_prepare_determinism_submission_wave( self: &Arc<Self>, requests: Vec<InvocationResourceAdmissionRequest>, ) -> Result<StepSubmissionWaveAdmissionDecision<R>, VNextError>

Prepares a canonical immutable-plan node subset that can only be submitted through the exact determinism restore/readback path.

Source

pub fn try_prepare_full_plan_submission_wave( self: &Arc<Self>, work_shape: Arc<BatchWorkShape>, fit_policy: AdmissionFitPolicy, pressure_action: AdmissionPressureAction, ) -> Result<StepSubmissionWaveAdmissionDecision<R>, VNextError>

Prepares the only production wave topology: every immutable-plan node in order over one shared participant/work authority. Callers do not rebuild a per-node request vector for topology already committed by the plan hash.

Trait Implementations§

Source§

impl<R> Drop for StepResourceLease<R>
where R: DeviceRuntime,

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more
Source§

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)
Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned. Read more

Auto Trait Implementations§

§

impl<R> !RefUnwindSafe for StepResourceLease<R>

§

impl<R> !UnwindSafe for StepResourceLease<R>

§

impl<R> Freeze for StepResourceLease<R>
where Vec<AdmittedStepParticipant<R>>: Freeze, Arc<ExecutionLane<R>>: Freeze,

§

impl<R> Send for StepResourceLease<R>
where Vec<AdmittedStepParticipant<R>>: Send, Arc<ExecutionLane<R>>: Send,

§

impl<R> Sync for StepResourceLease<R>
where Vec<AdmittedStepParticipant<R>>: Sync, Arc<ExecutionLane<R>>: Sync,

§

impl<R> Unpin for StepResourceLease<R>
where Vec<AdmittedStepParticipant<R>>: Unpin, Arc<ExecutionLane<R>>: Unpin,

§

impl<R> UnsafeUnpin for StepResourceLease<R>
where Vec<AdmittedStepParticipant<R>>: UnsafeUnpin, Arc<ExecutionLane<R>>: UnsafeUnpin,

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V