Enum ExecutorParam

pub enum ExecutorParam {
    MaxMemoryPages(u32),
    StackLogicalMax(u32),
    StackNativeMax(u32),
    PrecheckingMaxMemory(u64),
    PvfPrepTimeout(PvfPrepKind, u64),
    PvfExecTimeout(PvfExecKind, u64),
    WasmExtBulkMemory,
}

The different executor parameters for changing the execution environment semantics.

Variants

MaxMemoryPages(u32)

Maximum number of memory pages (64KiB bytes per page) the executor can allocate. A valid value lies within (0, 65536].

StackLogicalMax(u32)

Wasm logical stack size limit (max. number of Wasm values on stack). A valid value lies within [LOGICAL_MAX_LO, LOGICAL_MAX_HI].

For WebAssembly, the stack limit is subject to implementations, meaning that it may vary on different platforms. However, we want execution to be deterministic across machines of different architectures, including failures like stack overflow. For deterministic overflow, we rely on a logical limit, the maximum number of values allowed to be pushed on the stack.

StackNativeMax(u32)

Executor machine stack size limit, in bytes. If StackLogicalMax is also present, a valid value should not fall below 128 * StackLogicalMax.

For deterministic overflow, StackLogicalMax should be reached before the native stack is exhausted.

PrecheckingMaxMemory(u64)

Max. amount of memory the preparation worker is allowed to use during pre-checking, in bytes. Valid max. memory ranges from PRECHECK_MEM_MAX_LO to PRECHECK_MEM_MAX_HI.

PvfPrepTimeout(PvfPrepKind, u64)

PVF preparation timeouts, in millisecond. Always ensure that precheck_timeout < lenient_timeout. When absent, the default values will be used.

PvfExecTimeout(PvfExecKind, u64)

PVF execution timeouts, in millisecond. Always ensure that backing_timeout < approval_timeout. When absent, the default values will be used.

WasmExtBulkMemory

Enables WASM bulk memory proposal

Trait Implementations

impl Clone for ExecutorParam

fn clone(&self) -> ExecutorParam

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExecutorParam

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Decode for ExecutorParam

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self>, ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<'de> Deserialize<'de> for ExecutorParam

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for ExecutorParam

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl PartialEq for ExecutorParam

fn eq(&self, other: &ExecutorParam) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ExecutorParam

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeInfo for ExecutorParam

type Identity = ExecutorParam

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl DecodeWithMemTracking for ExecutorParam

impl EncodeLike for ExecutorParam

impl Eq for ExecutorParam

impl StructuralPartialEq for ExecutorParam