pub struct SyncExecution<'a, CS: StateStoreBackend, A: AgentBackend, X: ActionBackend = NoActions, C: ConditionBackend = NoConditions, T: StateTyping = JsonState, H: LifecycleHooks = NoHooks, E: ChildExecutor = InlineExecutor> { /* private fields */ }Expand description
Blocking advancement of the same caller-owned execution source.
Calls require a thread outside any entered Tokio runtime context. The App’s
captured runtime and caller-provided lower runtimes must remain alive and
driven elsewhere. Source polling and destruction remain on the caller thread;
dropping this owner delegates nonblocking revocation to Execution.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let mut execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
while execution.try_next()?.is_some() {}
assert_eq!(execution.finish()?.state.values()["count"], 1);Implementations§
Source§impl<'a, CS: StateStoreBackend, A: AgentBackend, X: ActionBackend, C: ConditionBackend, T: StateTyping, H: LifecycleHooks, E: ChildExecutor> SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS: StateStoreBackend, A: AgentBackend, X: ActionBackend, C: ConditionBackend, T: StateTyping, H: LifecycleHooks, E: ChildExecutor> SyncExecution<'a, CS, A, X, C, T, H, E>
Sourcepub fn open(
run: &'a mut WorkflowRun<CS, A, X, C, T, H, E>,
options: ExecutionOptions,
) -> Result<Self, AppError>
pub fn open( run: &'a mut WorkflowRun<CS, A, X, C, T, H, E>, options: ExecutionOptions, ) -> Result<Self, AppError>
Acquires lazy synchronous advancement on a thread outside Tokio.
The App’s captured runtime must remain alive and driven elsewhere. Acquisition validates options before callbacks or source construction. The returned owner borrows the run exclusively through its last use.
A live synchronous owner prevents overlapping access to the run:
use agents_kit::AgentBackend;
use app_kit::{AppError, workflow::{ExecutionOptions, RunSnapshot, SyncExecution, WorkflowRun}};
use storage_kit::StateStoreBackend;
fn overlapping<CS: StateStoreBackend, A: AgentBackend>(
run: &mut WorkflowRun<CS, A>,
) -> Result<RunSnapshot, AppError> {
let execution = SyncExecution::open(run, ExecutionOptions::default())?;
let _ = run.id();
execution.abort()
}§Errors
Returns InvalidInput inside an entered Tokio runtime context before blocking.
Otherwise propagates the corresponding asynchronous execution errors, including
stale/revoked authority, invalid options, durable failures and timeouts.
The captured runtime and lower runtimes must stay alive and driven elsewhere.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
assert_eq!(execution.finish()?.state.values()["count"], 1);Sourcepub fn try_next(&mut self) -> Result<Option<ExecutionEvent>, AppError>
pub fn try_next(&mut self) -> Result<Option<ExecutionEvent>, AppError>
Blocks until one partial result or committed boundary is available.
An entered runtime context is rejected before advancing this owner.
§Errors
Returns InvalidInput inside an entered Tokio runtime context before blocking.
Otherwise propagates the corresponding asynchronous execution errors, including
stale/revoked authority, invalid options, durable failures and timeouts.
The captured runtime and lower runtimes must stay alive and driven elsewhere.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let mut execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
assert!(matches!(execution.try_next()?, Some(ExecutionEvent::Committed { .. })));
execution.finish()?;Sourcepub fn step(&mut self) -> Result<Option<ExecutionEvent>, AppError>
pub fn step(&mut self) -> Result<Option<ExecutionEvent>, AppError>
Drains partial results and blocks until one committed boundary.
An entered runtime context is rejected before advancing this owner.
§Errors
Returns InvalidInput inside an entered Tokio runtime context before blocking.
Otherwise propagates the corresponding asynchronous execution errors, including
stale/revoked authority, invalid options, durable failures and timeouts.
The captured runtime and lower runtimes must stay alive and driven elsewhere.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let mut execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
assert!(matches!(execution.step()?, Some(ExecutionEvent::Committed { .. })));
assert_eq!(execution.finish()?.state.values()["count"], 1);Sourcepub fn finish(self) -> Result<RunSnapshot, AppError>
pub fn finish(self) -> Result<RunSnapshot, AppError>
Drains execution to a halt or exhaustion and finalizes its observation.
Rejection inside an entered runtime drops this consumed owner; existing execution cleanup retains any previously admitted publication.
§Errors
Returns InvalidInput inside an entered Tokio runtime context before blocking.
Otherwise propagates the corresponding asynchronous execution errors, including
stale/revoked authority, invalid options, durable failures and timeouts.
The captured runtime and lower runtimes must stay alive and driven elsewhere.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
let snapshot = execution.finish()?;
assert!(matches!(snapshot.status, RunStatus::Succeeded));Sourcepub fn abort(self) -> Result<RunSnapshot, AppError>
pub fn abort(self) -> Result<RunSnapshot, AppError>
Finalizes the current uncommitted boundary without cancelling the run.
Rejection inside an entered runtime drops this consumed owner; it does not dispatch a new operation or discard accepted publication ownership.
§Errors
Returns InvalidInput inside an entered Tokio runtime context before blocking.
Otherwise propagates the corresponding asynchronous execution errors, including
stale/revoked authority, invalid options, durable failures and timeouts.
The captured runtime and lower runtimes must stay alive and driven elsewhere.
§Example
let runtime = tokio::runtime::Builder::new_multi_thread()
.worker_threads(2).enable_all().build()?;
// Runtime workers stay alive; this thread is outside any entered Tokio context.
let execution = SyncExecution::open(&mut run, ExecutionOptions::default())?;
let parked = execution.abort()?;
assert_eq!(parked.state.values()["count"], 0);
assert_eq!(SyncExecution::open(&mut run, ExecutionOptions::default())?.finish()?.state.values()["count"], 1);Auto Trait Implementations§
impl<'a, CS, A, X = NoActions, C = NoConditions, T = JsonState, H = NoHooks, E = InlineExecutor> !RefUnwindSafe for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X = NoActions, C = NoConditions, T = JsonState, H = NoHooks, E = InlineExecutor> !UnwindSafe for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X, C, T, H, E> Freeze for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X, C, T, H, E> Send for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X, C, T, H, E> Sync for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X, C, T, H, E> Unpin for SyncExecution<'a, CS, A, X, C, T, H, E>
impl<'a, CS, A, X, C, T, H, E> UnsafeUnpin for SyncExecution<'a, CS, A, X, C, T, H, E>where
Execution<'a, CS, A, X, C, T, H, E>: UnsafeUnpin,
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self to use its UpperHex implementation when
Debug-formatted.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> ⓘ
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> ⓘ
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> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T in a tonic::RequestSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
out indicating that a T is niched.Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self, then passes self.deref() into the pipe function.Source§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<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref() only in debug builds, and is erased in release
builds.