Expand description
Concurrent execution policies for pure representable machines.
ExclusiveExecutor directly returns outputs to a caller that serializes
turns through exclusive access. SerializedExecutor provides
run-to-completion turns: it queues inputs
and does not advance the next transition until the preceding output handler
returns. LinearizedExecutor advances inputs immediately under its lock,
then dispatches already-ordered outputs. The latter policy is appropriate
only when transition linearization may precede completion of earlier work.
Structs§
- Exclusive
Executor - Allocation-free execution of an affine machine through exclusive access.
- Exclusive
Poisoned - Failure to recover a machine consumed by a panicking transition.
- Linearized
Executor - Transition-linearized execution with separately ordered output dispatch.
- Poisoned
Input - Rejection of an input after a serialized executor was poisoned.
- Serialized
Executor - Serialized run-to-completion execution of one machine.
- Turn
Receipt - Completion receipt for one serialized input.
Enums§
- Dispatch
Outcome - Ownership result of one
LinearizedExecutor::dispatch_pendingcall. - Exclusive
State - Observable state of an
ExclusiveExecutor. - Turn
Outcome - Result of waiting for a serialized turn.
Traits§
- Machine
- A stateful transducer whose composition remains structurally inspectable.
- Output
Evidence - Extracts small copyable evidence before an output is queued for dispatch.
- Output
Handler - Handles one machine output synchronously.