Milky2018/wasmoon_jit/artifact/loader

README
U
ArtifactCompatibility
U
ArtifactIncompatible
U
ArtifactLoadError
U
CHeap
U
CHeapError
U
ContextLayout
U
ContextShape
U
GCHeapHandle
U
GcSlot
U
InstalledCode
U
InstalledFunction
U
InstalledImport
U
InstalledTrampoline
U
InvocationControl
U
JITTable
U
JITTableOwner
U
JitCodeInstaller
U
JitInstallError
U
MemoryDescriptor
U
MemoryInfo
U
NativeAtomicWait
U
NativeCallableRegistry
U
NativeContinuationArena
U
NativeExceptionArena
U
NativeExecutionState
U
NativeExecutionStateError
U
NativeInvocationHandle
U
NativeInvocationPhase
U
NativeTableHandle
- ::outputGCSetupError::output
- ::to_reprGCSetupError::to_repr
- ::to_stringGCSetupError::to_string
- ::equalHostcallImportTrampolineError::equal
- ::not_equalHostcallImportTrampolineError::not_equal
- ::outputHostcallImportTrampolineError::output
- ::to_reprHostcallImportTrampolineError::to_repr
- ::to_stringHostcallImportTrampolineError::to_string
- ::outputJitPipelineError::output
- ::to_reprJitPipelineError::to_repr
- ::to_stringJitPipelineError::to_string
- ::equalNativeFiberError::equal
- ::not_equalNativeFiberError::not_equal
- ::outputNativeFiberError::output
- ::to_reprNativeFiberError::to_repr
- ::to_stringNativeFiberError::to_string
- ::outputNativeSetupError::output
- ::to_reprNativeSetupError::to_repr
- ::to_stringNativeSetupError::to_string
T
BacktraceFrame
- ::CallCounterCallCounter::CallCounter
- ::clearCallCounter::clear
- ::get_countCallCounter::get_count
- ::incrementCallCounter::increment
- ::resetCallCounter::reset
- ::totalCallCounter::total
- ::unique_functionsCallCounter::unique_functions
- ::DWARFBuilderDWARFBuilder::DWARFBuilder
- ::add_functionDWARFBuilder::add_function
- ::capture_backtraceDWARFBuilder::capture_backtrace
- ::destroyDWARFBuilder::destroy
- ::format_backtraceDWARFBuilder::format_backtrace
- ::lookup_addressDWARFBuilder::lookup_address
- ::registerDWARFBuilder::register
- ::unregisterDWARFBuilder::unregister
T
FunctionInfo
- ::outputFunctionTemperature::output
- ::to_stringFunctionTemperature::to_string
- ::GcSafepointGcSafepoint::GcSafepoint
- ::to_reprGcSafepoint::to_repr
T
HostcallImportTrampolineCode
T
HostcallImportTrampolineLayout
- ::aggressiveHotThreshold::aggressive
- ::conservativeHotThreshold::conservative
- ::defaultHotThreshold::default
- ::equalImportFunctionResolution::equal
- ::not_equalImportFunctionResolution::not_equal
- ::to_reprImportFunctionResolution::to_repr
- ::JITDebugDBJITDebugDB::JITDebugDB
- ::getJITDebugDB::get
- ::setJITDebugDB::set
- ::JITFunctionDebugJITFunctionDebug::JITFunctionDebug
- ::get_bytesJitCodeObject::get_bytes
- ::to_reprJitCodeObject::to_repr
T
JitIntegrationPlan
- ::to_reprJitPipelineDiagnostics::to_repr
- ::artifactLoadedArtifact::artifact
- ::bind_safepointsLoadedArtifact::bind_safepoints
- ::code_objectsLoadedArtifact::code_objects
- ::context_layoutLoadedArtifact::context_layout
- ::verifiedLoadedArtifact::verified
T
MemoryDescriptorLayout
- ::entry_addressNativeCallable::entry_address
- ::releaseNativeCallable::release
- ::compile_wasm_body_artifact_functionNativeCompiler::compile_wasm_body_artifact_function
- ::diagnose_wasm_bodyNativeCompiler::diagnose_wasm_body
- ::newNativeCompiler::new
- ::cancelNativeFiber::cancel
- ::continue_withNativeFiber::continue_with
- ::guard_sizeNativeFiber::guard_size
- ::newNativeFiber::new
- ::phaseNativeFiber::phase
- ::stack_sizeNativeFiber::stack_size
- ::suspendNativeFiber::suspend
- ::to_reprNativeFiber::to_repr
- ::equalNativeFiberEvent::equal
- ::not_equalNativeFiberEvent::not_equal
- ::to_reprNativeFiberEvent::to_repr
- ::equalNativeFiberPhase::equal
- ::not_equalNativeFiberPhase::not_equal
- ::to_reprNativeFiberPhase::to_repr
- ::equalNativeHostcallOutcome::equal
- ::not_equalNativeHostcallOutcome::not_equal
- ::to_reprNativeHostcallOutcome::to_repr
- ::alloc_guarded_memoryNativeJITContext::alloc_guarded_memory
- ::alloc_indirect_tableNativeJITContext::alloc_indirect_table
- ::bind_callableNativeJITContext::bind_callable
- ::bind_callable_registryNativeJITContext::bind_callable_registry
- ::bind_globalsNativeJITContext::bind_globals
- ::bind_segment_drop_flagsNativeJITContext::bind_segment_drop_flags
- ::call_trampolineNativeJITContext::call_trampoline
- ::clear_cancellation_callbackNativeJITContext::clear_cancellation_callback
- ::clear_gc_heapNativeJITContext::clear_gc_heap
- ::clear_hostcall_callbackNativeJITContext::clear_hostcall_callback
- ::clear_segmentsNativeJITContext::clear_segments
- ::configure_native_fiber_stack_sizeNativeJITContext::configure_native_fiber_stack_size
- ::define_continuation_typeNativeJITContext::define_continuation_type
- ::func_countNativeJITContext::func_count
- ::func_ptrNativeJITContext::func_ptr
- ::gc_begin_frameNativeJITContext::gc_begin_frame
- ::gc_collect_for_allocNativeJITContext::gc_collect_for_alloc
- ::gc_end_frameNativeJITContext::gc_end_frame
- ::gc_environment_is_clearNativeJITContext::gc_environment_is_clear
- ::gc_set_root_scratchNativeJITContext::gc_set_root_scratch
- ::gc_set_safepoint_tableNativeJITContext::gc_set_safepoint_table
- ::gc_use_func_safepointsNativeJITContext::gc_use_func_safepoints
- ::has_callable_metadataNativeJITContext::has_callable_metadata
- ::has_configured_native_fiber_stack_sizeNativeJITContext::has_configured_native_fiber_stack_size
- ::memory_descriptorNativeJITContext::memory_descriptor
- ::memory_ptrNativeJITContext::memory_ptr
- ::memory_sizeNativeJITContext::memory_size
- ::refresh_table_layoutNativeJITContext::refresh_table_layout
- ::register_safepointsNativeJITContext::register_safepoints
- ::set_callable_typesNativeJITContext::set_callable_types
- ::set_cancellation_callbackNativeJITContext::set_cancellation_callback
- ::set_continuation_arenaNativeJITContext::set_continuation_arena
- ::set_cooperative_schedulingNativeJITContext::set_cooperative_scheduling
- ::set_exception_arenaNativeJITContext::set_exception_arena
- ::set_funcNativeJITContext::set_func
- ::set_gc_heapNativeJITContext::set_gc_heap
- ::set_gc_heap_ptrNativeJITContext::set_gc_heap_ptr
- ::set_globalsNativeJITContext::set_globals
- ::set_hostcall_callbackNativeJITContext::set_hostcall_callback
- ::set_indirectNativeJITContext::set_indirect
- ::set_memoryNativeJITContext::set_memory
- ::set_memory_pointersNativeJITContext::set_memory_pointers
- ::set_table_pointersNativeJITContext::set_table_pointers
- ::setup_gcNativeJITContext::setup_gc
- ::setup_gc_with_func_tableNativeJITContext::setup_gc_with_func_table
- ::setup_segmentsNativeJITContext::setup_segments
- ::start_continuationNativeJITContext::start_continuation
- ::take_wasi_exit_codeNativeJITContext::take_wasi_exit_code
- ::teardown_gcNativeJITContext::teardown_gc
- ::throw_exception_tagNativeJITContext::throw_exception_tag
- ::throw_exception_valuesNativeJITContext::throw_exception_values
- ::throw_store_exception_valuesNativeJITContext::throw_store_exception_values
- ::try_allocNativeJITContext::try_alloc
- ::cancelNativeJITContinuation::cancel
- ::continue_after_hostcallNativeJITContinuation::continue_after_hostcall
- ::continue_withNativeJITContinuation::continue_with
- ::phaseNativeJITContinuation::phase
- ::equalNativeJITContinuationEvent::equal
- ::not_equalNativeJITContinuationEvent::not_equal
- ::to_reprNativeJITContinuationEvent::to_repr
- ::equalNativeSuspensionReason::equal
- ::not_equalNativeSuspensionReason::not_equal
- ::to_reprNativeSuspensionReason::to_repr
- ::equalNativeTarget::equal
- ::not_equalNativeTarget::not_equal
- ::to_reprNativeTarget::to_repr
- ::ProfilerProfiler::Profiler
- ::get_function_temperatureProfiler::get_function_temperature
- ::get_pendingProfiler::get_pending
- ::is_compiledProfiler::is_compiled
- ::mark_compiledProfiler::mark_compiled
- ::outputProfiler::output
- ::record_callProfiler::record_call
- ::should_use_jitProfiler::should_use_jit
- ::statsProfiler::stats
- ::to_stringProfiler::to_string
- ::equalRuntimeSymbol::equal
- ::not_equalRuntimeSymbol::not_equal
- ::to_reprRuntimeSymbol::to_repr
- ::RuntimeSymbolResolverRuntimeSymbolResolver::RuntimeSymbolResolver
- ::add_symbolRuntimeSymbolResolver::add_symbol
- ::resolveRuntimeSymbolResolver::resolve
- ::resolve_symbolRuntimeSymbolResolver::resolve_symbol
- ::to_reprRuntimeSymbolResolver::to_repr
- ::with_wasmoon_runtime_symbolsRuntimeSymbolResolver::with_wasmoon_runtime_symbols
- ::TrapDetailsTrapDetails::TrapDetails
T
TrapReport
T
VMContextLayout
T
WasmTrapFrame
V
EXCEPTION_REF_TAG
V
WASMOON_CODEGEN_REVISION
V
WASMOON_JIT_ABI_VERSION
V
alloc_guarded_memory_desc
V
alloc_memory
V
alloc_memory_desc
V
artifact_compatibility
V
artifact_module_identity
V
atomic_fence
V
atomic_notify
V
atomic_wait_begin
V
build_artifact_manifest
V
build_entry_trampoline_for_target
V
build_host_artifact_manifest
V
build_hostcall_import_trampoline_for_target
V
can_use_reusable_entry_trampoline
V
classify_import_function_ptr
V
collect_gc_root_args
V
compile_wasm_body_artifact_function
V
compile_wasm_body_diagnostics_for_target
V
context_shape
V
cooperative_idle
V
count_entry_trampoline_slots
V
decode_externref
V
decode_funcref_idx
V
decode_gc_heap_ref
V
decode_heap_ref
V
decode_i31
V
decode_store_funcref
V
encode_exception_ref
V
encode_externref
V
encode_funcref_idx
V
encode_gc_heap_ref
V
encode_heap_ref
V
encode_i31
V
encode_null_ref
V
encode_store_funcref
V
entry_trampoline_signature_hash
V
entry_trampoline_type_codes
V
entry_trampoline_value_type_code
V
format_signal_name
V
format_trap_report_message
V
format_u64_hex
V
free_memory
V
gc_debug_set_fail_alloc
V
get_hostcall_func_addr
V
get_hostcall_num_arg_slots
V
get_hostcall_num_result_slots
V
get_import_trampoline
V
get_last_trap_details
V
get_temperature
V
host_native_target
V
host_operating_system_abi
V
hostcall_value_byte_count
V
hostcall_value_slot_count
V
hostcall_value_slot_read
V
hostcall_value_slot_write
V
i64_to_value
V
is_cancelled_trap_code
V
is_exception_ref
V
is_funcref_ptr
V
is_i31
V
is_jit_supported_module
V
is_null
V
is_null_ref
V
is_wasi_exit_trap_code
V
jit_trap_message
V
load_artifact
V
make_cstring
V
memory_atomic_compare_exchange
V
memory_atomic_load
V
memory_atomic_rmw
V
memory_atomic_store
V
memory_descriptor_copy
V
memory_descriptor_fill
V
memory_descriptor_fill64
V
memory_descriptor_grow
V
memory_descriptor_grow64
V
memory_descriptor_layout
V
memory_descriptor_length
V
memory_descriptor_move
V
memory_descriptor_read
V
memory_descriptor_write
V
memory_descriptor_write_bytes
V
native_value_slot_read
V
native_value_slot_write
V
plan_entry_trampoline_for_target
V
plan_hostcall_import_trampoline_layout
V
plan_milkir_integration_for_target
V
plan_wasm_body_aarch64_code_object
V
plan_wasm_body_milkir_integration_for_target
V
plan_wasm_body_x64_code_object
V
resolve_import_function
V
resolve_import_function_ptr
V
sanitize_debug_filename
V
shaped_vmcontext_layout
V
slot_to_value
V
tag_funcref_ptr
V
take_pending_trap_message
V
untag_funcref_ptr
V
value_to_i64
V
value_to_slot
V
value_type_may_hold_gc_ref
V
verify_artifact
V
vmcontext_layout
V
wasm_function_signature
V
wasm_import_identity
V
wasm_runtime_symbols
V
wasm_trap_payload
V
wasmoon_runtime_external_symbols

Milky2018/wasmoon_jit/artifact/loader does not have a README file

ArtifactIncompatible

pub suberror ArtifactIncompatible {
  TargetMismatch(expected~ : @Milky2018/wasmoon_jit/artifact.TargetSpec
TargetSpec, actual~ : @Milky2018/wasmoon_jit/artifact.TargetSpec
TargetSpec)
  InvalidFunctionIndex(index~ : Int)
  ContextLayoutMismatch
  MissingCpuFeature(name~ : String)
  DuplicateCpuFeature(name~ : String)
  JitAbiVersionMismatch(expected~ : Int, actual~ : Int)
  CodegenRevisionMismatch(expected~ : String, actual~ : String)
  ModuleIdentityMismatch(expected~ : @Milky2018/wasmoon_jit/artifact.ModuleIdentity
ModuleIdentity, actual~ : @Milky2018/wasmoon_jit/artifact.ModuleIdentity
ModuleIdentity)
  CompilationPolicyMismatch(expected~ : @Milky2018/wasmoon_jit/artifact.CompilationPolicy
CompilationPolicy, actual~ : @Milky2018/wasmoon_jit/artifact.CompilationPolicy
CompilationPolicy)
  DuplicateFunctionIndex(index~ : Int)
  DuplicateSymbol(name~ : String)
  UnknownSymbol(kind~ : String, name~ : String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

ArtifactIncompatible::equal

source

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

ArtifactIncompatible::not_equal

source

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

ArtifactIncompatible::to_repr

source

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

ArtifactLoadError

source

pub suberror ArtifactLoadError {
  NativePreparationFailed(message~ : String)
  DecodeFailed(cause~ : @Milky2018/wasmoon_jit/artifact.ArtifactDecodeError
ArtifactDecodeError)
  Incompatible(cause~ : ArtifactIncompatible)
  CodeObjectInvalid(cause~ : @Milky2018/vcode/code_object.CodeObjectVerifyError
CodeObjectVerifyError)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

ArtifactLoadError::equal

source

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

ArtifactLoadError::native_preparation_failed

source

fn ArtifactLoadError::native_preparation_failed(message : String) -> ArtifactLoadError

Report a checked failure while preparing native metadata for verified input.

ArtifactLoadError::not_equal

source

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

ArtifactLoadError::to_repr

source

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

ArtifactCompatibility

source

pub(all) struct ArtifactCompatibility {
  target : @Milky2018/wasmoon_jit/artifact.TargetSpec
TargetSpec
  available_cpu_features : Array[@Milky2018/wasmoon_jit/artifact.CpuFeature
CpuFeature]
  jit_abi_version : Int
  codegen_revision : String
  module_identity : @Milky2018/wasmoon_jit/artifact.ModuleIdentity
ModuleIdentity
  context_shape : @Milky2018/wasmoon_runtime/native/layout.ContextShape
ContextShape
  policy : @Milky2018/wasmoon_jit/artifact.CompilationPolicy
CompilationPolicy
  runtime_symbols : Array[@Milky2018/vcode/native_types.ExternalSymbol
ExternalSymbol]
  data_symbols : Array[@Milky2018/vcode/native_types.DataSymbol
DataSymbol]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Host and module contract used to accept or reject a decoded artifact.

ArtifactCompatibility::equal

source

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

ArtifactCompatibility::not_equal

source

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

ArtifactCompatibility::to_repr

source

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

LoadedArtifact

source

pub struct LoadedArtifact {
  artifact : @Milky2018/wasmoon_jit/artifact.Artifact
Artifact
  context_layout : @Milky2018/wasmoon_runtime/native/layout.ContextLayout
ContextLayout?
  code_objects : Array[@Milky2018/vcode/code_object.UnlinkedCodeObject
UnlinkedCodeObject]
}

A decoded artifact whose manifest and every code object have been checked.

LoadedArtifact::artifact

source

fn LoadedArtifact::artifact(self : LoadedArtifact) -> @Milky2018/wasmoon_jit/artifact.Artifact
Artifact

LoadedArtifact::code_objects

source

fn LoadedArtifact::code_objects(self : LoadedArtifact) -> Array[@Milky2018/vcode/code_object.UnlinkedCodeObject
UnlinkedCodeObject]

LoadedArtifact::context_layout

source

fn LoadedArtifact::context_layout(self : LoadedArtifact) -> @Milky2018/wasmoon_runtime/native/layout.ContextLayout
ContextLayout?

load_artifact

source

fn load_artifact(bytes : Bytes, compatibility : ArtifactCompatibility, limits? : @Milky2018/wasmoon_jit/artifact.DecodeLimits
DecodeLimits) -> LoadedArtifact raise ArtifactLoadError

Decode, check compatibility, and reconstruct verified unlinked code objects.

Decoded and live artifacts converge on verify_artifact, before the shared installer resolves any symbol or allocates executable memory.

verify_artifact

source

fn verify_artifact(decoded : @Milky2018/wasmoon_jit/artifact.Artifact
Artifact, compatibility : ArtifactCompatibility) -> LoadedArtifact raise ArtifactLoadError

Check compatibility and reconstruct verified unlinked code objects from an in-memory artifact produced by the live compiler.

No symbol is resolved and no executable memory is allocated or published.

Source Files

Site source Report issue Packages Build queue Skills Statistics

#ArtifactIncompatible

#ArtifactIncompatible::equal

#ArtifactIncompatible::not_equal

#ArtifactIncompatible::to_repr

#ArtifactLoadError

#ArtifactLoadError::equal

#ArtifactLoadError::native_preparation_failed

#ArtifactLoadError::not_equal

#ArtifactLoadError::to_repr

#ArtifactCompatibility

#ArtifactCompatibility::equal

#ArtifactCompatibility::not_equal

#ArtifactCompatibility::to_repr

#LoadedArtifact

#LoadedArtifact::artifact

#LoadedArtifact::code_objects

#LoadedArtifact::context_layout

#load_artifact

#verify_artifact

Source Files

ArtifactIncompatible

ArtifactIncompatible::equal

ArtifactIncompatible::not_equal

ArtifactIncompatible::to_repr

ArtifactLoadError

ArtifactLoadError::equal

ArtifactLoadError::native_preparation_failed

ArtifactLoadError::not_equal

ArtifactLoadError::to_repr

ArtifactCompatibility

ArtifactCompatibility::equal

ArtifactCompatibility::not_equal

ArtifactCompatibility::to_repr

LoadedArtifact

LoadedArtifact::artifact

LoadedArtifact::code_objects

LoadedArtifact::context_layout

load_artifact

verify_artifact