pub struct RuntimeExecutionService { /* private fields */ }Expand description
Root-scoped serial execution service.
It is the correctness backend used when no process/worker scheduler is composed. Handles and state transitions are real; execution placement is deliberately delegated to later scheduler adapters.
Implementations§
Trait Implementations§
Source§impl Debug for RuntimeExecutionService
impl Debug for RuntimeExecutionService
Source§impl Default for RuntimeExecutionService
impl Default for RuntimeExecutionService
Source§impl RuntimeExecutionServices for RuntimeExecutionService
impl RuntimeExecutionServices for RuntimeExecutionService
fn scope_id(&self) -> ExecutionScopeId
fn create_future( &self, call: DeferredCall, ) -> Result<FutureHandle, ExecutionServiceError>
fn spawn( &self, future: &FutureHandle, ) -> Result<TaskHandle, ExecutionServiceError>
fn begin_await( &self, value: Value, ) -> Result<AwaitAction, ExecutionServiceError>
fn complete_future( &self, future: &FutureHandle, result: Result<Value, ExecutionServiceError>, ) -> Result<(), ExecutionServiceError>
fn cancel( &self, value: &Value, _reason: CancellationReason, ) -> Result<(), ExecutionServiceError>
fn drain_scope(&self, _reason: CancellationReason)
fn requires_program_capture(&self) -> bool
fn submit_job( &self, _call: DeferredCall, _options: DurableJobOptions, ) -> Result<JobHandle, ExecutionServiceError>
fn await_job(&self, _job: &JobHandle) -> Result<Value, ExecutionServiceError>
Auto Trait Implementations§
impl !Freeze for RuntimeExecutionService
impl !Send for RuntimeExecutionService
impl !Sync for RuntimeExecutionService
impl RefUnwindSafe for RuntimeExecutionService
impl Unpin for RuntimeExecutionService
impl UnsafeUnpin for RuntimeExecutionService
impl UnwindSafe for RuntimeExecutionService
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<R, P> ReadPrimitive<R> for P
impl<R, P> ReadPrimitive<R> for P
Source§fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
Read this value from the supplied reader. Same as
ReadEndian::read_from_little_endian().Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.