Milky2018/wasmoon_runtime/native/execution

native

Milky2018/wasmoon_runtime/native/execution does not have a README file

NativeContinuationArena

using @Milky2018/wasmoon_runtime/native/ffi { type NativeContinuationArena }

Store-owned continuation identities. The bridge retains state, while state owns physical storage and never retains the bridge or a native context.

NativeExceptionArena

source

using @Milky2018/wasmoon_runtime/native/ffi { type NativeExceptionArena }

Store-owned immutable exception snapshots shared by native instances.

NativeExecutionStateError

source

pub suberror NativeExecutionStateError {
  ExecutionStateSealed
  UnknownInvocation(Int64)
  InvocationNotActive(Int64)
  InvocationNotParked(Int64)
  InvocationNotCurrent(Int64)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Invalid transition in the Store-owned native invocation state machine.

impl Show for NativeExecutionStateError

NativeExecutionStateError::equal

source

fn NativeExecutionStateError::equal(NativeExecutionStateError, NativeExecutionStateError) -> Bool

NativeExecutionStateError::not_equal

source

fn NativeExecutionStateError::not_equal(x : NativeExecutionStateError, y : NativeExecutionStateError) -> Bool

NativeExecutionStateError::output

source

fn NativeExecutionStateError::output(self : NativeExecutionStateError, logger : &Logger) -> Unit

NativeExecutionStateError::to_repr

source

fn NativeExecutionStateError::to_repr(NativeExecutionStateError) -> @moonbitlang/core/debug.Repr
Repr

NativeExecutionStateError::to_string

source

fn NativeExecutionStateError::to_string(self : NativeExecutionStateError) -> String

NativeExecutionState

source

type NativeExecutionState

Store-scoped owner of native invocation lifetimes.

The active stack models nested native entry. Parked invocations remain in invocations but are absent from active, so any number of component tasks can retain distinct native resources without sharing an execution stack.

impl Debug for NativeExecutionState

NativeExecutionState::NativeExecutionState

source

fn NativeExecutionState::NativeExecutionState() -> NativeExecutionState raise @Milky2018/wasmoon_runtime/native/ffi.NativeAllocationError
NativeAllocationError

NativeExecutionState::active_depth

source

fn NativeExecutionState::active_depth(self : NativeExecutionState) -> Int

NativeExecutionState::begin

source

fn NativeExecutionState::begin(self : NativeExecutionState, release? : () -> Unit) -> NativeInvocationHandle raise NativeExecutionStateError

NativeExecutionState::continuations

source

fn NativeExecutionState::continuations(self : NativeExecutionState) -> @Milky2018/wasmoon_runtime/native/ffi.NativeContinuationArena
NativeContinuationArena

NativeExecutionState::current_invocation

source

fn NativeExecutionState::current_invocation(self : NativeExecutionState) -> Int64?

NativeExecutionState::exceptions

source

fn NativeExecutionState::exceptions(self : NativeExecutionState) -> @Milky2018/wasmoon_runtime/native/ffi.NativeExceptionArena
NativeExceptionArena

NativeExecutionState::live_count

source

fn NativeExecutionState::live_count(self : NativeExecutionState) -> Int

NativeExecutionState::parked_count

source

fn NativeExecutionState::parked_count(self : NativeExecutionState) -> Int

NativeExecutionState::release_if_live

source

fn NativeExecutionState::release_if_live(self : NativeExecutionState, id : Int64) -> Unit

Best-effort scope cleanup after an error.

Strict user-visible transitions use complete and cancel; this method is intentionally idempotent so a defer can release an unfinished invocation without masking the original trap.

NativeExecutionState::retire_continuations

source

fn NativeExecutionState::retire_continuations(self : NativeExecutionState) -> Unit

Retire parked guest stacks before their modules release entry trampolines.

NativeExecutionState::seal

source

fn NativeExecutionState::seal(self : NativeExecutionState) -> Unit

Irreversibly reject new invocations while preserving cleanup operations for existing handles.

NativeExecutionState::to_repr

source

fn NativeExecutionState::to_repr(self : NativeExecutionState) -> @moonbitlang/core/debug.Repr
Repr

NativeInvocationHandle

source

type NativeInvocationHandle

Stable handle for one Store-owned native invocation.

impl Debug for NativeInvocationHandle

NativeInvocationHandle::cancel

source

fn NativeInvocationHandle::cancel(self : NativeInvocationHandle) -> Unit raise NativeExecutionStateError

NativeInvocationHandle::complete

source

fn NativeInvocationHandle::complete(self : NativeInvocationHandle) -> Unit raise NativeExecutionStateError

NativeInvocationHandle::id

source

fn NativeInvocationHandle::id(self : NativeInvocationHandle) -> Int64

NativeInvocationHandle::park

source

fn NativeInvocationHandle::park(self : NativeInvocationHandle) -> Unit raise NativeExecutionStateError

NativeInvocationHandle::phase

source

fn NativeInvocationHandle::phase(self : NativeInvocationHandle) -> NativeInvocationPhase raise NativeExecutionStateError

NativeInvocationHandle::reactivate

source

fn NativeInvocationHandle::reactivate(self : NativeInvocationHandle) -> Unit raise NativeExecutionStateError

NativeInvocationHandle::release_if_live

source

fn NativeInvocationHandle::release_if_live(self : NativeInvocationHandle) -> Unit

NativeInvocationHandle::resource_id

source

fn NativeInvocationHandle::resource_id(self : NativeInvocationHandle) -> Int64 raise NativeExecutionStateError

NativeInvocationHandle::to_repr

source

fn NativeInvocationHandle::to_repr(self : NativeInvocationHandle) -> @moonbitlang/core/debug.Repr
Repr

NativeInvocationPhase

source

pub(all) enum NativeInvocationPhase {
  Active
  Parked
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Lifecycle phase of a Store-owned native invocation.

NativeInvocationPhase::equal

source

fn NativeInvocationPhase::equal(NativeInvocationPhase, NativeInvocationPhase) -> Bool

NativeInvocationPhase::not_equal

source

fn NativeInvocationPhase::not_equal(x : NativeInvocationPhase, y : NativeInvocationPhase) -> Bool

NativeInvocationPhase::to_repr

source

fn NativeInvocationPhase::to_repr(NativeInvocationPhase) -> @moonbitlang/core/debug.Repr
Repr

supported

source

fn supported() -> Bool

Source Files

Site source Report issue Packages Build queue Skills Statistics

#NativeContinuationArena

#NativeExceptionArena

#NativeExecutionStateError

#NativeExecutionStateError::equal

#NativeExecutionStateError::not_equal

#NativeExecutionStateError::output

#NativeExecutionStateError::to_repr

#NativeExecutionStateError::to_string

#NativeExecutionState

#NativeExecutionState::NativeExecutionState

#NativeExecutionState::active_depth

#NativeExecutionState::begin

#NativeExecutionState::continuations

#NativeExecutionState::current_invocation

#NativeExecutionState::exceptions

#NativeExecutionState::live_count

#NativeExecutionState::parked_count

#NativeExecutionState::release_if_live

#NativeExecutionState::retire_continuations

#NativeExecutionState::seal

#NativeExecutionState::to_repr

#NativeInvocationHandle

#NativeInvocationHandle::cancel

#NativeInvocationHandle::complete

#NativeInvocationHandle::id

#NativeInvocationHandle::park

#NativeInvocationHandle::phase

#NativeInvocationHandle::reactivate

#NativeInvocationHandle::release_if_live

#NativeInvocationHandle::resource_id

#NativeInvocationHandle::to_repr

#NativeInvocationPhase

#NativeInvocationPhase::equal

#NativeInvocationPhase::not_equal

#NativeInvocationPhase::to_repr

#supported

Source Files

NativeContinuationArena

NativeExceptionArena

NativeExecutionStateError

NativeExecutionStateError::equal

NativeExecutionStateError::not_equal

NativeExecutionStateError::output

NativeExecutionStateError::to_repr

NativeExecutionStateError::to_string

NativeExecutionState

NativeExecutionState::NativeExecutionState

NativeExecutionState::active_depth

NativeExecutionState::begin

NativeExecutionState::continuations

NativeExecutionState::current_invocation

NativeExecutionState::exceptions

NativeExecutionState::live_count

NativeExecutionState::parked_count

NativeExecutionState::release_if_live

NativeExecutionState::retire_continuations

NativeExecutionState::seal

NativeExecutionState::to_repr

NativeInvocationHandle

NativeInvocationHandle::cancel

NativeInvocationHandle::complete

NativeInvocationHandle::id

NativeInvocationHandle::park

NativeInvocationHandle::phase

NativeInvocationHandle::reactivate

NativeInvocationHandle::release_if_live

NativeInvocationHandle::resource_id

NativeInvocationHandle::to_repr

NativeInvocationPhase

NativeInvocationPhase::equal

NativeInvocationPhase::not_equal

NativeInvocationPhase::to_repr

supported