跳到主要内容

C API 0.11.2 Documentation

WasmEdge C API denotes an interface to access the WasmEdge runtime at version 0.11.2. The following are the guides to working with the C APIs of WasmEdge.

Please notice that the WasmEdge C API provides SONAME and SOVERSION after the 0.11.0 release.

Please notice that libwasmedge_c.so is renamed to libwasmedge.so after the 0.11.0 release. Please use -lwasmedge instead of -lwasmedge_c for the linker option.

Developers can refer to here to upgrade to 0.12.0.

Table of Contents

WasmEdge Installation

Download And Install

The easiest way to install WasmEdge is to run the following command. Your system should have git and wget as prerequisites.

curl -sSf https://raw.githubusercontent.com/WasmEdge/WasmEdge/master/utils/install.sh | bash -s -- -v 0.11.2

For more details, please refer to the Installation Guide for the WasmEdge installation.

Compile Sources

After the installation of WasmEdge, the following guide can help you to test for the availability of the WasmEdge C API.

  1. Prepare the test C file (and assumed saved as test.c):

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    printf("WasmEdge version: %s\n", WasmEdge_VersionGet());
    return 0;
    }
  2. Compile the file with gcc or clang.

    gcc test.c -lwasmedge
  3. Run and get the expected output.

    $ ./a.out
    WasmEdge version: 0.11.2

ABI Compatibility

WasmEdge C API introduces SONAME and SOVERSION in the 0.11.0 release to present the compatibility between different C API versions.

The releases before 0.11.0 are all unversioned. Please make sure the library version is the same as the corresponding C API version you used.

WasmEdge VersionWasmEdge C API Library NameWasmEdge C API SONAMEWasmEdge C API SOVERSION
< 0.11.0libwasmedge_c.soUnversionedUnversioned
0.11.0 to 0.11.1libwasmedge.solibwasmedge.so.0libwasmedge.so.0.0.0
since 0.11.2libwasmedge.solibwasmedge.so.0libwasmedge.so.0.0.1

WasmEdge Basics

In this part, we will introduce the utilities and concepts of WasmEdge shared library.

Version

The Version related APIs provide developers to check for the WasmEdge shared library version.

#include <wasmedge/wasmedge.h>
printf("WasmEdge version: %s\n", WasmEdge_VersionGet());
printf("WasmEdge version major: %u\n", WasmEdge_VersionGetMajor());
printf("WasmEdge version minor: %u\n", WasmEdge_VersionGetMinor());
printf("WasmEdge version patch: %u\n", WasmEdge_VersionGetPatch());

Logging Settings

The WasmEdge_LogSetErrorLevel() and WasmEdge_LogSetDebugLevel() APIs can set the logging system to debug level or error level. By default, the error level is set, and the debug info is hidden.

Developers can also use the WasmEdge_LogOff() API to disable all logging. (0.11.2 or upper only)

Value Types

In WasmEdge, developers should convert the values to WasmEdge_Value objects through APIs for matching to the WASM value types.

  1. Number types: i32, i64, f32, f64, and v128 for the SIMD proposal

    WasmEdge_Value Val;
    Val = WasmEdge_ValueGenI32(123456);
    printf("%d\n", WasmEdge_ValueGetI32(Val));
    /* Will print "123456" */
    Val = WasmEdge_ValueGenI64(1234567890123LL);
    printf("%ld\n", WasmEdge_ValueGetI64(Val));
    /* Will print "1234567890123" */
    Val = WasmEdge_ValueGenF32(123.456f);
    printf("%f\n", WasmEdge_ValueGetF32(Val));
    /* Will print "123.456001" */
    Val = WasmEdge_ValueGenF64(123456.123456789);
    printf("%.10f\n", WasmEdge_ValueGetF64(Val));
    /* Will print "123456.1234567890" */
  2. Reference types: funcref and externref for the Reference-Types proposal

    WasmEdge_Value Val;
    void *Ptr;
    bool IsNull;
    uint32_t Num = 10;
    /* Generate a externref to NULL. */
    Val = WasmEdge_ValueGenNullRef(WasmEdge_RefType_ExternRef);
    IsNull = WasmEdge_ValueIsNullRef(Val);
    /* The `IsNull` will be `TRUE`. */
    Ptr = WasmEdge_ValueGetExternRef(Val);
    /* The `Ptr` will be `NULL`. */

    /* Get the function instance by creation or from module instance. */
    const WasmEdge_FunctionInstanceContext *FuncCxt = ...;
    /* Generate a funcref with the given function instance context. */
    Val = WasmEdge_ValueGenFuncRef(FuncCxt);
    const WasmEdge_FunctionInstanceContext *GotFuncCxt =
    WasmEdge_ValueGetFuncRef(Val);
    /* The `GotFuncCxt` will be the same as `FuncCxt`. */

    /* Generate a externref to `Num`. */
    Val = WasmEdge_ValueGenExternRef(&Num);
    Ptr = WasmEdge_ValueGetExternRef(Val);
    /* The `Ptr` will be `&Num`. */
    printf("%u\n", *(uint32_t *)Ptr);
    /* Will print "10" */
    Num += 55;
    printf("%u\n", *(uint32_t *)Ptr);
    /* Will print "65" */

Strings

The WasmEdge_String object is for the instance names when invoking a WASM function or finding the contexts of instances.

  1. Create a WasmEdge_String from a C string (const char * with NULL termination) or a buffer with length.

    The content of the C string or buffer will be copied into the WasmEdge_String object.

    char Buf[4] = {50, 55, 60, 65};
    WasmEdge_String Str1 = WasmEdge_StringCreateByCString("test");
    WasmEdge_String Str2 = WasmEdge_StringCreateByBuffer(Buf, 4);
    /* The objects should be deleted by `WasmEdge_StringDelete()`. */
    WasmEdge_StringDelete(Str1);
    WasmEdge_StringDelete(Str2);
  2. Wrap a WasmEdge_String to a buffer with length.

    The content will not be copied, and the caller should guarantee the life cycle of the input buffer.

    const char CStr[] = "test";
    WasmEdge_String Str = WasmEdge_StringWrap(CStr, 4);
    /* The object should __NOT__ be deleted by `WasmEdge_StringDelete()`. */
  3. String comparison

    const char CStr[] = "abcd";
    char Buf[4] = {0x61, 0x62, 0x63, 0x64};
    WasmEdge_String Str1 = WasmEdge_StringWrap(CStr, 4);
    WasmEdge_String Str2 = WasmEdge_StringCreateByBuffer(Buf, 4);
    bool IsEq = WasmEdge_StringIsEqual(Str1, Str2);
    /* The `IsEq` will be `TRUE`. */
    WasmEdge_StringDelete(Str2);
  4. Convert to C string

    char Buf[256];
    WasmEdge_String Str =
    WasmEdge_StringCreateByCString("test_wasmedge_string");
    uint32_t StrLength = WasmEdge_StringCopy(Str, Buf, sizeof(Buf));
    /* StrLength will be 20 */
    printf("String: %s\n", Buf);
    /* Will print "test_wasmedge_string". */

Results

The WasmEdge_Result object specifies the execution status. APIs about WASM execution will return the WasmEdge_Result to denote the status.

WasmEdge_Result Res = WasmEdge_Result_Success;
bool IsSucceeded = WasmEdge_ResultOK(Res);
/* The `IsSucceeded` will be `TRUE`. */
uint32_t Code = WasmEdge_ResultGetCode(Res);
/* The `Code` will be 0. */
const char *Msg = WasmEdge_ResultGetMessage(Res);
/* The `Msg` will be "success". */
enum WasmEdge_ErrCategory Category = WasmEdge_ResultGetCategory(Res);
/* The `Category` will be WasmEdge_ErrCategory_WASM. */

Res = WasmEdge_ResultGen(WasmEdge_ErrCategory_UserLevelError, 123);
/* Generate the user-defined result with code. */
Code = WasmEdge_ResultGetCode(Res);
/* The `Code` will be 123. */
Category = WasmEdge_ResultGetCategory(Res);
/* The `Category` will be WasmEdge_ErrCategory_UserLevelError. */

Contexts

The objects, such as VM, Store, and Function, are composed of Contexts. All of the contexts can be created by calling the corresponding creation APIs and should be destroyed by calling the corresponding deletion APIs. Developers have responsibilities to manage the contexts for memory management.

/* Create the configure context. */
WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
/* Delete the configure context. */
WasmEdge_ConfigureDelete(ConfCxt);

The details of other contexts will be introduced later.

WASM Data Structures

The WASM data structures are used for creating instances or can be queried from instance contexts. The details of instances creation will be introduced in the Instances.

  1. Limit

    The WasmEdge_Limit struct is defined in the header:

    /// Struct of WASM limit.
    typedef struct WasmEdge_Limit {
    /// Boolean to describe has max value or not.
    bool HasMax;
    /// Boolean to describe is shared memory or not.
    bool Shared;
    /// Minimum value.
    uint32_t Min;
    /// Maximum value. Will be ignored if the `HasMax` is false.
    uint32_t Max;
    } WasmEdge_Limit;

    Developers can initialize the struct by assigning it's value, and the Max value is needed to be larger or equal to the Min value. The API WasmEdge_LimitIsEqual() is provided to compare with 2 WasmEdge_Limit structs.

  2. Function type context

    The Function Type context is used for the Function creation, checking the value types of a Function instance, or getting the function type with function name from VM. Developers can use the Function Type context APIs to get the parameter or return value types information.

    enum WasmEdge_ValType ParamList[2] = {WasmEdge_ValType_I32,
    WasmEdge_ValType_I64};
    enum WasmEdge_ValType ReturnList[1] = {WasmEdge_ValType_FuncRef};
    WasmEdge_FunctionTypeContext *FuncTypeCxt =
    WasmEdge_FunctionTypeCreate(ParamList, 2, ReturnList, 1);

    enum WasmEdge_ValType Buf[16];
    uint32_t ParamLen = WasmEdge_FunctionTypeGetParametersLength(FuncTypeCxt);
    /* `ParamLen` will be 2. */
    uint32_t GotParamLen =
    WasmEdge_FunctionTypeGetParameters(FuncTypeCxt, Buf, 16);
    /* `GotParamLen` will be 2, and `Buf[0]` and `Buf[1]` will be the same as
    * `ParamList`. */
    uint32_t ReturnLen = WasmEdge_FunctionTypeGetReturnsLength(FuncTypeCxt);
    /* `ReturnLen` will be 1. */
    uint32_t GotReturnLen =
    WasmEdge_FunctionTypeGetReturns(FuncTypeCxt, Buf, 16);
    /* `GotReturnLen` will be 1, and `Buf[0]` will be the same as `ReturnList`.
    */

    WasmEdge_FunctionTypeDelete(FuncTypeCxt);
  3. Table type context

    The Table Type context is used for Table instance creation or getting information from Table instances.

    WasmEdge_Limit TabLim = {
    .HasMax = true, .Shared = false, .Min = 10, .Max = 20};
    WasmEdge_TableTypeContext *TabTypeCxt =
    WasmEdge_TableTypeCreate(WasmEdge_RefType_ExternRef, TabLim);

    enum WasmEdge_RefType GotRefType = WasmEdge_TableTypeGetRefType(TabTypeCxt);
    /* `GotRefType` will be WasmEdge_RefType_ExternRef. */
    WasmEdge_Limit GotTabLim = WasmEdge_TableTypeGetLimit(TabTypeCxt);
    /* `GotTabLim` will be the same value as `TabLim`. */

    WasmEdge_TableTypeDelete(TabTypeCxt);
  4. Memory type context

    The Memory Type context is used for Memory instance creation or getting information from Memory instances.

    WasmEdge_Limit MemLim = {
    .HasMax = true, .Shared = false, .Min = 10, .Max = 20};
    WasmEdge_MemoryTypeContext *MemTypeCxt = WasmEdge_MemoryTypeCreate(MemLim);

    WasmEdge_Limit GotMemLim = WasmEdge_MemoryTypeGetLimit(MemTypeCxt);
    /* `GotMemLim` will be the same value as `MemLim`. */

    WasmEdge_MemoryTypeDelete(MemTypeCxt)
  5. Global type context

    The Global Type context is used for Global instance creation or getting information from Global instances.

    WasmEdge_GlobalTypeContext *GlobTypeCxt = WasmEdge_GlobalTypeCreate(
    WasmEdge_ValType_F64, WasmEdge_Mutability_Var);

    WasmEdge_ValType GotValType = WasmEdge_GlobalTypeGetValType(GlobTypeCxt);
    /* `GotValType` will be WasmEdge_ValType_F64. */
    WasmEdge_Mutability GotValMut =
    WasmEdge_GlobalTypeGetMutability(GlobTypeCxt);
    /* `GotValMut` will be WasmEdge_Mutability_Var. */

    WasmEdge_GlobalTypeDelete(GlobTypeCxt);
  6. Import type context

    The Import Type context is used for getting the imports information from a AST Module. Developers can get the external type (function, table, memory, or global), import module name, and external name from an Import Type context. The details about querying Import Type contexts will be introduced in the AST Module.

    WasmEdge_ASTModuleContext *ASTCxt = ...;
    /*
    * Assume that `ASTCxt` is returned by the `WasmEdge_LoaderContext` for the
    * result of loading a WASM file.
    */
    const WasmEdge_ImportTypeContext *ImpType = ...;
    /* Assume that `ImpType` is queried from the `ASTCxt` for the import. */

    enum WasmEdge_ExternalType ExtType =
    WasmEdge_ImportTypeGetExternalType(ImpType);
    /*
    * The `ExtType` can be one of `WasmEdge_ExternalType_Function`,
    * `WasmEdge_ExternalType_Table`, `WasmEdge_ExternalType_Memory`, or
    * `WasmEdge_ExternalType_Global`.
    */
    WasmEdge_String ModName = WasmEdge_ImportTypeGetModuleName(ImpType);
    WasmEdge_String ExtName = WasmEdge_ImportTypeGetExternalName(ImpType);
    /*
    * The `ModName` and `ExtName` should not be destroyed and the string
    * buffers are binded into the `ASTCxt`.
    */
    const WasmEdge_FunctionTypeContext *FuncTypeCxt =
    WasmEdge_ImportTypeGetFunctionType(ASTCxt, ImpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Function`, the
    * `FuncTypeCxt` will be NULL.
    */
    const WasmEdge_TableTypeContext *TabTypeCxt =
    WasmEdge_ImportTypeGetTableType(ASTCxt, ImpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Table`, the `TabTypeCxt`
    * will be NULL.
    */
    const WasmEdge_MemoryTypeContext *MemTypeCxt =
    WasmEdge_ImportTypeGetMemoryType(ASTCxt, ImpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Memory`, the `MemTypeCxt`
    * will be NULL.
    */
    const WasmEdge_GlobalTypeContext *GlobTypeCxt =
    WasmEdge_ImportTypeGetGlobalType(ASTCxt, ImpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Global`, the `GlobTypeCxt`
    * will be NULL.
    */
  7. Export type context

    The Export Type context is used for getting the exports information from a AST Module. Developers can get the external type (function, table, memory, or global) and external name from an Export Type context. The details about querying Export Type contexts will be introduced in the AST Module.

    WasmEdge_ASTModuleContext *ASTCxt = ...;
    /*
    * Assume that `ASTCxt` is returned by the `WasmEdge_LoaderContext` for the
    * result of loading a WASM file.
    */
    const WasmEdge_ExportTypeContext *ExpType = ...;
    /* Assume that `ExpType` is queried from the `ASTCxt` for the export. */

    enum WasmEdge_ExternalType ExtType =
    WasmEdge_ExportTypeGetExternalType(ExpType);
    /*
    * The `ExtType` can be one of `WasmEdge_ExternalType_Function`,
    * `WasmEdge_ExternalType_Table`, `WasmEdge_ExternalType_Memory`, or
    * `WasmEdge_ExternalType_Global`.
    */
    WasmEdge_String ExtName = WasmEdge_ExportTypeGetExternalName(ExpType);
    /*
    * The `ExtName` should not be destroyed and the string buffer is binded
    * into the `ASTCxt`.
    */
    const WasmEdge_FunctionTypeContext *FuncTypeCxt =
    WasmEdge_ExportTypeGetFunctionType(ASTCxt, ExpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Function`, the
    * `FuncTypeCxt` will be NULL.
    */
    const WasmEdge_TableTypeContext *TabTypeCxt =
    WasmEdge_ExportTypeGetTableType(ASTCxt, ExpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Table`, the `TabTypeCxt`
    * will be NULL.
    */
    const WasmEdge_MemoryTypeContext *MemTypeCxt =
    WasmEdge_ExportTypeGetMemoryType(ASTCxt, ExpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Memory`, the `MemTypeCxt`
    * will be NULL.
    */
    const WasmEdge_GlobalTypeContext *GlobTypeCxt =
    WasmEdge_ExportTypeGetGlobalType(ASTCxt, ExpType);
    /*
    * If the `ExtType` is not `WasmEdge_ExternalType_Global`, the `GlobTypeCxt`
    * will be NULL.
    */

Async

After calling the asynchronous execution APIs, developers will get the WasmEdge_Async object. Developers own the object and should call the WasmEdge_AsyncDelete() API to destroy it.

  1. Wait for the asynchronous execution

    Developers can wait the execution until finished:

    WasmEdge_Async *Async = ...; /* Ignored. Asynchronous execute a function. */
    /* Blocking and waiting for the execution. */
    WasmEdge_AsyncWait(Async);
    WasmEdge_AsyncDelete(Async);

    Or developers can wait for a time limit. If the time limit exceeded, developers can choose to cancel the execution. For the interruptible execution in AOT mode, developers should set TRUE through the WasmEdge_ConfigureCompilerSetInterruptible() API into the configure context for the AOT compiler.

    WasmEdge_Async *Async = ...; /* Ignored. Asynchronous execute a function. */
    /* Blocking and waiting for the execution for 1 second. */
    bool IsEnd = WasmEdge_AsyncWaitFor(Async, 1000);
    if (IsEnd) {
    /* The execution finished. Developers can get the result. */
    WasmEdge_Result Res = WasmEdge_AsyncGet(/* ... Ignored */);
    } else {
    /*
    * The time limit exceeded. Developers can keep waiting or cancel the
    * execution.
    */
    WasmEdge_AsyncCancel(Async);
    WasmEdge_Result Res = WasmEdge_AsyncGet(Async, 0, NULL);
    /* The result error code will be `WasmEdge_ErrCode_Interrupted`. */
    }
    WasmEdge_AsyncDelete(Async);
  2. Get the execution result of the asynchronous execution

    Developers can use the WasmEdge_AsyncGetReturnsLength() API to get the return value list length. This function will block and wait for the execution. If the execution has finished, this function will return the length immediately. If the execution failed, this function will return 0. This function can help the developers to create the buffer to get the return values. If developers have already known the buffer length, they can skip this function and use the WasmEdge_AsyncGet() API to get the result.

    WasmEdge_Async *Async = ...; /* Ignored. Asynchronous execute a function. */
    /*
    * Blocking and waiting for the execution and get the return value list
    * length.
    */
    uint32_t Arity = WasmEdge_AsyncGetReturnsLength(Async);
    WasmEdge_AsyncDelete(Async);

    The WasmEdge_AsyncGet() API will block and wait for the execution. If the execution has finished, this function will fill the return values into the buffer and return the execution result immediately.

    WasmEdge_Async *Async = ...; /* Ignored. Asynchronous execute a function. */
    /* Blocking and waiting for the execution and get the return values. */
    const uint32_t BUF_LEN = 256;
    WasmEdge_Value Buf[BUF_LEN];
    WasmEdge_Result Res = WasmEdge_AsyncGet(Async, Buf, BUF_LEN);
    WasmEdge_AsyncDelete(Async);

Configurations

The configuration context, WasmEdge_ConfigureContext, manages the configurations for Loader, Validator, Executor, VM, and Compiler. Developers can adjust the settings about the proposals, VM host pre-registrations (such as WASI), and AOT compiler options, and then apply the Configure context to create other runtime contexts.

  1. Proposals

    WasmEdge supports turning on or off the WebAssembly proposals. This configuration is effective in any contexts created with the Configure context.

    enum WasmEdge_Proposal {
    WasmEdge_Proposal_ImportExportMutGlobals = 0,
    WasmEdge_Proposal_NonTrapFloatToIntConversions,
    WasmEdge_Proposal_SignExtensionOperators,
    WasmEdge_Proposal_MultiValue,
    WasmEdge_Proposal_BulkMemoryOperations,
    WasmEdge_Proposal_ReferenceTypes,
    WasmEdge_Proposal_SIMD,
    WasmEdge_Proposal_TailCall,
    WasmEdge_Proposal_MultiMemories,
    WasmEdge_Proposal_Annotations,
    WasmEdge_Proposal_Memory64,
    WasmEdge_Proposal_ExceptionHandling,
    WasmEdge_Proposal_ExtendedConst,
    WasmEdge_Proposal_Threads,
    WasmEdge_Proposal_FunctionReferences
    };

    Developers can add or remove the proposals into the Configure context.

    /*
    * By default, the following proposals have turned on initially:
    * * Import/Export of mutable globals
    * * Non-trapping float-to-int conversions
    * * Sign-extension operators
    * * Multi-value returns
    * * Bulk memory operations
    * * Reference types
    * * Fixed-width SIMD
    *
    * For the current WasmEdge version, the following proposals are supported
    * (turned off by default) additionally:
    * * Tail-call
    * * Multiple memories
    * * Extended-const
    * * Threads
    */
    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddProposal(ConfCxt, WasmEdge_Proposal_MultiMemories);
    WasmEdge_ConfigureRemoveProposal(ConfCxt, WasmEdge_Proposal_ReferenceTypes);
    bool IsBulkMem = WasmEdge_ConfigureHasProposal(
    ConfCxt, WasmEdge_Proposal_BulkMemoryOperations);
    /* The `IsBulkMem` will be `TRUE`. */
    WasmEdge_ConfigureDelete(ConfCxt);
  2. Host registrations

    This configuration is used for the VM context to turn on the WASI or wasmedge_process supports and only effective in VM contexts.

    enum WasmEdge_HostRegistration {
    WasmEdge_HostRegistration_Wasi = 0,
    WasmEdge_HostRegistration_WasmEdge_Process
    };

    The details will be introduced in the preregistrations of VM context.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    bool IsHostWasi = WasmEdge_ConfigureHasHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_Wasi);
    /* The `IsHostWasi` will be `FALSE`. */
    WasmEdge_ConfigureAddHostRegistration(ConfCxt,
    WasmEdge_HostRegistration_Wasi);
    IsHostWasi = WasmEdge_ConfigureHasHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_Wasi);
    /* The `IsHostWasi` will be `TRUE`. */
    WasmEdge_ConfigureDelete(ConfCxt);
  3. Maximum memory pages

    Developers can limit the page size of memory instances by this configuration. When growing the page size of memory instances in WASM execution and exceeding the limited size, the page growing will fail. This configuration is only effective in the Executor and VM contexts.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    uint32_t PageSize = WasmEdge_ConfigureGetMaxMemoryPage(ConfCxt);
    /* By default, the maximum memory page size is 65536. */
    WasmEdge_ConfigureSetMaxMemoryPage(ConfCxt, 1024);
    /*
    * Limit the memory size of each memory instance with not larger than 1024
    * pages (64 MiB).
    */
    PageSize = WasmEdge_ConfigureGetMaxMemoryPage(ConfCxt);
    /* The `PageSize` will be 1024. */
    WasmEdge_ConfigureDelete(ConfCxt);
  4. Forcibly interpreter mode (0.11.2 or upper only)

    If developers want to execute the WASM file or the AOT compiled WASM in interpreter mode forcibly, they can turn on the configuration.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    bool IsForceInterp = WasmEdge_ConfigureIsForceInterpreter(ConfCxt);
    /* By default, The `IsForceInterp` will be `FALSE`. */
    WasmEdge_ConfigureSetForceInterpreter(ConfCxt, TRUE);
    IsForceInterp = WasmEdge_ConfigureIsForceInterpreter(ConfCxt);
    /* The `IsForceInterp` will be `TRUE`. */
    WasmEdge_ConfigureDelete(ConfCxt);
  5. AOT compiler options

    The AOT compiler options configure the behavior about optimization level, output format, dump IR, and generic binary.

    enum WasmEdge_CompilerOptimizationLevel {
    // Disable as many optimizations as possible.
    WasmEdge_CompilerOptimizationLevel_O0 = 0,
    // Optimize quickly without destroying debuggability.
    WasmEdge_CompilerOptimizationLevel_O1,
    // Optimize for fast execution as much as possible without triggering
    // significant incremental compile time or code size growth.
    WasmEdge_CompilerOptimizationLevel_O2,
    // Optimize for fast execution as much as possible.
    WasmEdge_CompilerOptimizationLevel_O3,
    // Optimize for small code size as much as possible without triggering
    // significant incremental compile time or execution time slowdowns.
    WasmEdge_CompilerOptimizationLevel_Os,
    // Optimize for small code size as much as possible.
    WasmEdge_CompilerOptimizationLevel_Oz
    };

    enum WasmEdge_CompilerOutputFormat {
    // Native dynamic library format.
    WasmEdge_CompilerOutputFormat_Native = 0,
    // WebAssembly with AOT compiled codes in custom section.
    WasmEdge_CompilerOutputFormat_Wasm
    };

    These configurations are only effective in Compiler contexts.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    /* By default, the optimization level is O3. */
    WasmEdge_ConfigureCompilerSetOptimizationLevel(
    ConfCxt, WasmEdge_CompilerOptimizationLevel_O2);
    /* By default, the output format is universal WASM. */
    WasmEdge_ConfigureCompilerSetOutputFormat(
    ConfCxt, WasmEdge_CompilerOutputFormat_Native);
    /* By default, the dump IR is `FALSE`. */
    WasmEdge_ConfigureCompilerSetDumpIR(ConfCxt, TRUE);
    /* By default, the generic binary is `FALSE`. */
    WasmEdge_ConfigureCompilerSetGenericBinary(ConfCxt, TRUE);
    /* By default, the interruptible is `FALSE`.
    /* Set this option to `TRUE` to support the interruptible execution in AOT
    mode. */
    WasmEdge_ConfigureCompilerSetInterruptible(ConfCxt, TRUE);
    WasmEdge_ConfigureDelete(ConfCxt);
  6. Statistics options

    The statistics options configure the behavior about instruction counting, cost measuring, and time measuring in both runtime and AOT compiler. These configurations are effective in Compiler, VM, and Executor contexts.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    /*
    * By default, the instruction counting is `FALSE` when running a
    * compiled-WASM or a pure-WASM.
    */
    WasmEdge_ConfigureStatisticsSetInstructionCounting(ConfCxt, TRUE);
    /*
    * By default, the cost measurement is `FALSE` when running a compiled-WASM
    * or a pure-WASM.
    */
    WasmEdge_ConfigureStatisticsSetCostMeasuring(ConfCxt, TRUE);
    /*
    * By default, the time measurement is `FALSE` when running a compiled-WASM
    * or a pure-WASM.
    */
    WasmEdge_ConfigureStatisticsSetTimeMeasuring(ConfCxt, TRUE);
    WasmEdge_ConfigureDelete(ConfCxt);

Statistics

The statistics context, WasmEdge_StatisticsContext, provides the instruction counter, cost summation, and cost limitation at runtime.

Before using statistics, the statistics configuration must be set. Otherwise, the return values of calling statistics are undefined behaviour.

  1. Instruction counter

    The instruction counter can help developers to profile the performance of WASM running. Developers can retrieve the Statistics context from the VM context, or create a new one for the Executor creation. The details will be introduced in the next partitions.

    WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
    /*
    * ...
    * After running the WASM functions with the `Statistics` context
    */
    uint32_t Count = WasmEdge_StatisticsGetInstrCount(StatCxt);
    double IPS = WasmEdge_StatisticsGetInstrPerSecond(StatCxt);
    WasmEdge_StatisticsDelete(StatCxt);
  2. Cost table

    The cost table is to accumulate the cost of instructions with their weights. Developers can set the cost table array (the indices are the byte code value of instructions, and the values are the cost of instructions) into the Statistics context. If the cost limit value is set, the execution will return the cost limit exceeded error immediately when exceeds the cost limit in runtime.

    WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
    uint64_t CostTable[16] = {
    0, 0,
    10, /* 0x02: Block */
    11, /* 0x03: Loop */
    12, /* 0x04: If */
    12, /* 0x05: Else */
    0, 0, 0, 0, 0, 0,
    20, /* 0x0C: Br */
    21, /* 0x0D: Br_if */
    22, /* 0x0E: Br_table */
    0
    };
    /*
    * Developers can set the costs of each instruction. The value not
    * covered will be 0.
    */
    WasmEdge_StatisticsSetCostTable(StatCxt, CostTable, 16);
    WasmEdge_StatisticsSetCostLimit(StatCxt, 5000000);
    /*
    * ...
    * After running the WASM functions with the `Statistics` context
    */
    uint64_t Cost = WasmEdge_StatisticsGetTotalCost(StatCxt);
    WasmEdge_StatisticsDelete(StatCxt);

Tools Driver

Besides executing the wasmedge and wasmedgec CLI tools, developers can trigger the WasmEdge CLI tools by WasmEdge C API. The API arguments are the same as the command line arguments of the CLI tools.

#include <wasmedge/wasmedge.h>
#include <stdio.h>
int main(int argc, const char *argv[]) {
/* Run the WasmEdge AOT compiler. */
return WasmEdge_Driver_Compiler(argc, argv);
}
#include <wasmedge/wasmedge.h>
#include <stdio.h>
int main(int argc, const char *argv[]) {
/* Run the WasmEdge runtime tool. */
return WasmEdge_Driver_Tool(argc, argv);
}

WasmEdge VM

In this partition, we will introduce the functions of WasmEdge_VMContext object and show examples of executing WASM functions.

WASM Execution Example With VM Context

The following shows the example of running the WASM for getting the Fibonacci. This example uses the binary format of fibonacci.wat, and developers can convert it into the WASM file by the wat2wasm live tool.

(module
(export "fib" (func $fib))
(func $fib (param $n i32) (result i32)
(if
(i32.lt_s (get_local $n)(i32.const 2))
(return (i32.const 1))
)
(return
(i32.add
(call $fib (i32.sub (get_local $n)(i32.const 2)))
(call $fib (i32.sub (get_local $n)(i32.const 1)))
)
)
)
)
  1. Run WASM functions rapidly

    Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory, and the C file test.c is as following:

    #include <stdio.h>
    #include <wasmedge/wasmedge.h>
    int main() {
    /* Create the configure context and add the WASI support. */
    /* This step is not necessary unless you need WASI support. */
    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddHostRegistration(ConfCxt,
    WasmEdge_HostRegistration_Wasi);
    /* The configure and store context to the VM creation can be NULL. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(5)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    /* Run the WASM function from file. */
    WasmEdge_Result Res = WasmEdge_VMRunWasmFromFile(
    VMCxt, "fibonacci.wasm", FuncName, Params, 1, Returns, 1);
    /*
    * Developers can run the WASM binary from buffer with the
    * `WasmEdge_VMRunWasmFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMRunWasmFromASTModule()` API.
    */

    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Error message: %s\n", WasmEdge_ResultGetMessage(Res));
    }

    /* Resources deallocations. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);
    WasmEdge_StringDelete(FuncName);
    return 0;
    }

    Then you can compile and run: (the 5th Fibonacci number is 8 in 0-based index)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get the result: 8
  2. Instantiate and run WASM functions manually

    Besides the above example, developers can run the WASM functions step-by-step with VM context APIs:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    /* Create the configure context and add the WASI support. */
    /* This step is not necessary unless you need the WASI support. */
    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddHostRegistration(ConfCxt,
    WasmEdge_HostRegistration_Wasi);
    /* The configure and store context to the VM creation can be NULL. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(10)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    /* Result. */
    WasmEdge_Result Res;

    /* Step 1: Load WASM file. */
    Res = WasmEdge_VMLoadWasmFromFile(VMCxt, "fibonacci.wasm");
    /*
    * Developers can load the WASM binary from buffer with the
    * `WasmEdge_VMLoadWasmFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMLoadWasmFromASTModule()` API.
    */
    if (!WasmEdge_ResultOK(Res)) {
    printf("Loading phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /* Step 2: Validate the WASM module. */
    Res = WasmEdge_VMValidate(VMCxt);
    if (!WasmEdge_ResultOK(Res)) {
    printf("Validation phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /* Step 3: Instantiate the WASM module. */
    Res = WasmEdge_VMInstantiate(VMCxt);
    /*
    * Developers can load, validate, and instantiate another WASM module to
    * replace the instantiated one. In this case, the old module will be
    * cleared, but the registered modules are still kept.
    */
    if (!WasmEdge_ResultOK(Res)) {
    printf("Instantiation phase failed: %s\n",
    WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /*
    * Step 4: Execute WASM functions. You can execute functions repeatedly
    * after instantiation.
    */
    Res = WasmEdge_VMExecute(VMCxt, FuncName, Params, 1, Returns, 1);
    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Execution phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    }

    /* Resources deallocations. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);
    WasmEdge_StringDelete(FuncName);
    return 0;
    }

    Then you can compile and run: (the 10th Fibonacci number is 89 in 0-based index)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get the result: 89

    The following graph explains the status of the VM context.

                           |========================|
    |------->| VM: Initiated |
    | |========================|
    | |
    | LoadWasm
    | |
    | v
    | |========================|
    |--------| VM: Loaded |<-------|
    | |========================| |
    | | ^ |
    | Validate | |
    Cleanup | LoadWasm |
    | v | LoadWasm
    | |========================| |
    |--------| VM: Validated | |
    | |========================| |
    | | ^ |
    | Instantiate | |
    | | RegisterModule |
    | v | |
    | |========================| |
    |--------| VM: Instantiated |--------|
    |========================|
    | ^
    | |
    --------------
    Instantiate, Execute, ExecuteRegistered

    The status of the VM context would be Inited when created. After loading WASM successfully, the status will be Loaded. After validating WASM successfully, the status will be Validated. After instantiating WASM successfully, the status will be Instantiated, and developers can invoke functions. Developers can register WASM or module instances in any status, but they should instantiate WASM again. Developers can also load WASM in any status, and they should validate and instantiate the WASM module before function invocation. When in the Instantiated status, developers can instantiate the WASM module again to reset the old WASM runtime structures.

VM Creations

The VM creation API accepts the Configure context and the Store context. If developers only need the default settings, just pass NULL to the creation API. The details of the Store context will be introduced in Store.

WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, StoreCxt);
/* The caller should guarantee the life cycle if the store context. */
WasmEdge_StatisticsContext *StatCxt = WasmEdge_VMGetStatisticsContext(VMCxt);
/*
* The VM context already contains the statistics context and can be retrieved
* by this API.
*/
/*
* Note that the retrieved store and statistics contexts from the VM contexts by
* VM APIs should __NOT__ be destroyed and owned by the VM contexts.
*/
WasmEdge_VMDelete(VMCxt);
WasmEdge_StoreDelete(StoreCxt);
WasmEdge_ConfigureDelete(ConfCxt);

Preregistrations

WasmEdge provides the following built-in pre-registrations.

  1. WASI (WebAssembly System Interface)

    Developers can turn on the WASI support for VM in the Configure context.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddHostRegistration(ConfCxt,
    WasmEdge_HostRegistration_Wasi);
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);
    /*
    * The following API can retrieve the pre-registration module instances from
    * the VM context.
    */
    /*
    * This API will return `NULL` if the corresponding pre-registration is not
    * set into the configuration.
    */
    WasmEdge_ModuleInstanceContext *WasiModule =
    WasmEdge_VMGetImportModuleContext(VMCxt,
    WasmEdge_HostRegistration_Wasi);
    /* Initialize the WASI. */
    WasmEdge_ModuleInstanceInitWASI(WasiModule, /* ... ignored */);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);

    And also can create the WASI module instance from API. The details will be introduced in the Host Functions and the Host Module Registrations.

  2. WasmEdge_Process

    This pre-registration is for the process interface for WasmEdge on Rust sources. After turning on this pre-registration, the VM will support the wasmedge_process plugin.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasmEdge_Process);
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);
    /*
    * The following API can retrieve the pre-registration module instances from
    * the VM context.
    */
    /*
    * This API will return `NULL` if the corresponding pre-registration is not
    * set into the configuration or the plugin load failed.
    */
    WasmEdge_ModuleInstanceContext *ProcModule =
    WasmEdge_VMGetImportModuleContext(
    VMCxt, WasmEdge_HostRegistration_WasmEdge_Process);
    /* Initialize the WasmEdge_Process. */
    WasmEdge_ModuleInstanceInitWasmEdgeProcess(ProcModule, /* ... ignored */);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);

    And also can create the WasmEdge_Process module instance from API. The details will be introduced in the Host Functions and the Host Module Registrations.

  3. WASI-NN proposal

    Developers can turn on the WASI-NN proposal support for VM in the Configure context.

    Note: Please check that the dependencies and prerequisites are satisfied.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    WasmEdge_ConfigureAddHostRegistration(ConfCxt,
    WasmEdge_HostRegistration_WasiNN);
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);
    /*
    * The following API can retrieve the pre-registration module instances from
    * the VM context.
    */
    /*
    * This API will return `NULL` if the corresponding pre-registration is not
    * set into the configuration or the plugin load failed.
    */
    WasmEdge_ModuleInstanceContext *NNModule =
    WasmEdge_VMGetImportModuleContext(VMCxt,
    WasmEdge_HostRegistration_WasiNN);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);

    And also can create the WASI-NN module instance from API. The details will be introduced in the Host Functions and the Host Module Registrations.

  4. WASI-Crypto proposal

    Developers can turn on the WASI-Crypto proposal support for VM in the Configure context.

    Note: Please check that the dependencies and prerequisites are satisfied.

    WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
    /* The WASI-Crypto related configures are suggested to turn on together. */
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasiCrypto_Common);
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasiCrypto_AsymmetricCommon);
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasiCrypto_Kx);
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasiCrypto_Signatures);
    WasmEdge_ConfigureAddHostRegistration(
    ConfCxt, WasmEdge_HostRegistration_WasiCrypto_Symmetric);
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(ConfCxt, NULL);
    /*
    * The following API can retrieve the pre-registration module instances from
    * the VM context.
    */
    /*
    * This API will return `NULL` if the corresponding pre-registration is not
    * set into the configuration or the plugin load failed.
    */
    WasmEdge_ModuleInstanceContext *CryptoCommonModule =
    WasmEdge_VMGetImportModuleContext(
    VMCxt, WasmEdge_HostRegistration_WasiCrypto_Common);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_ConfigureDelete(ConfCxt);

    And also can create the WASI-Crypto module instance from API. The details will be introduced in the Host Functions and the Host Module Registrations.

Host Module Registrations

Host functions are functions outside WebAssembly and passed to WASM modules as imports. In WasmEdge, the host functions are composed into host modules as WasmEdge_ModuleInstanceContext objects with module names. Please refer to the Host Functions in WasmEdge Runtime for the details. In this chapter, we show the example for registering the host modules into a VM context.

WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);
WasmEdge_ModuleInstanceContext *WasiModule =
WasmEdge_ModuleInstanceCreateWASI(/* ... ignored ... */);
/* You can also create and register the WASI host modules by this API. */
WasmEdge_Result Res = WasmEdge_VMRegisterModuleFromImport(VMCxt, WasiModule);
/* The result status should be checked. */

/* ... */

WasmEdge_ModuleInstanceDelete(WasiModule);
/*
* The created module instances should be deleted by the developers when the VM
* deallocation.
*/
WasmEdge_VMDelete(VMCxt);

WASM Registrations And Executions

In WebAssembly, the instances in WASM modules can be exported and can be imported by other WASM modules. WasmEdge VM provides APIs for developers to register and export any WASM modules, and execute the functions or host functions in the registered WASM modules.

  1. Register the WASM modules with exported module names

    Unless the module instances have already contained the module names, every WASM module should be named uniquely when registering. Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory.

    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);
    WasmEdge_String ModName = WasmEdge_StringCreateByCString("mod");
    WasmEdge_Result Res =
    WasmEdge_VMRegisterModuleFromFile(VMCxt, ModName, "fibonacci.wasm");
    /*
    * Developers can register the WASM module from buffer with the
    * `WasmEdge_VMRegisterModuleFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMRegisterModuleFromASTModule()` API.
    */
    /*
    * The result status should be checked.
    * The error will occur if the WASM module instantiation failed or the
    * module name conflicts.
    */
    WasmEdge_StringDelete(ModName);
    WasmEdge_VMDelete(VMCxt);
  2. Execute the functions in registered WASM modules

    Assume that the C file test.c is as follows:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(20)};
    WasmEdge_Value Returns[1];
    /* Names. */
    WasmEdge_String ModName = WasmEdge_StringCreateByCString("mod");
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    /* Result. */
    WasmEdge_Result Res;

    /* Register the WASM module into VM. */
    Res = WasmEdge_VMRegisterModuleFromFile(VMCxt, ModName, "fibonacci.wasm");
    /*
    * Developers can register the WASM module from buffer with the
    * `WasmEdge_VMRegisterModuleFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMRegisterModuleFromASTModule()` API.
    */
    if (!WasmEdge_ResultOK(Res)) {
    printf("WASM registration failed: %s\n",
    WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /*
    * The function "fib" in the "fibonacci.wasm" was exported with the module
    * name "mod". As the same as host functions, other modules can import the
    * function `"mod" "fib"`.
    */

    /*
    * Execute WASM functions in registered modules.
    * Unlike the execution of functions, the registered functions can be
    * invoked without `WasmEdge_VMInstantiate()` because the WASM module was
    * instantiated when registering. Developers can also invoke the host
    * functions directly with this API.
    */
    Res = WasmEdge_VMExecuteRegistered(VMCxt, ModName, FuncName, Params, 1,
    Returns, 1);
    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Execution phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    }
    WasmEdge_StringDelete(ModName);
    WasmEdge_StringDelete(FuncName);
    WasmEdge_VMDelete(VMCxt);
    return 0;
    }

    Then you can compile and run: (the 20th Fibonacci number is 89 in 0-based index)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get the result: 10946

Asynchronous Execution

  1. Asynchronously run WASM functions rapidly

    Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory, and the C file test.c is as following:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    /* Create the VM context. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(20)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    /* Asynchronously run the WASM function from file and get the
    * `WasmEdge_Async` object. */
    WasmEdge_Async *Async = WasmEdge_VMAsyncRunWasmFromFile(
    VMCxt, "fibonacci.wasm", FuncName, Params, 1);
    /*
    * Developers can run the WASM binary from buffer with the
    * `WasmEdge_VMAsyncRunWasmFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMAsyncRunWasmFromASTModule()` API.
    */

    /* Wait for the execution. */
    WasmEdge_AsyncWait(Async);
    /*
    * Developers can also use the `WasmEdge_AsyncGetReturnsLength()` or
    * `WasmEdge_AsyncGet()` APIs to wait for the asynchronous execution.
    * These APIs will wait until the execution finished.
    */

    /* Check the return values length. */
    uint32_t Arity = WasmEdge_AsyncGetReturnsLength(Async);
    /* The `Arity` should be 1. Developers can skip this step if they have
    * known the return arity. */

    /* Get the result. */
    WasmEdge_Result Res = WasmEdge_AsyncGet(Async, Returns, Arity);

    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Error message: %s\n", WasmEdge_ResultGetMessage(Res));
    }

    /* Resources deallocations. */
    WasmEdge_AsyncDelete(Async);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StringDelete(FuncName);
    return 0;
    }

    Then you can compile and run: (the 20th Fibonacci number is 10946 in 0-based index)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get the result: 10946
  2. Instantiate and asynchronously run WASM functions manually

    Besides the above example, developers can run the WASM functions step-by-step with VM context APIs:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    /* Create the VM context. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(25)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    /* Result. */
    WasmEdge_Result Res;

    /* Step 1: Load WASM file. */
    Res = WasmEdge_VMLoadWasmFromFile(VMCxt, "fibonacci.wasm");
    /*
    * Developers can load the WASM binary from buffer with the
    * `WasmEdge_VMLoadWasmFromBuffer()` API, or from
    * `WasmEdge_ASTModuleContext` object with the
    * `WasmEdge_VMLoadWasmFromASTModule()` API.
    */
    if (!WasmEdge_ResultOK(Res)) {
    printf("Loading phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /* Step 2: Validate the WASM module. */
    Res = WasmEdge_VMValidate(VMCxt);
    if (!WasmEdge_ResultOK(Res)) {
    printf("Validation phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /* Step 3: Instantiate the WASM module. */
    Res = WasmEdge_VMInstantiate(VMCxt);
    /*
    * Developers can load, validate, and instantiate another WASM module to
    * replace the instantiated one. In this case, the old module will be
    * cleared, but the registered modules are still kept.
    */
    if (!WasmEdge_ResultOK(Res)) {
    printf("Instantiation phase failed: %s\n",
    WasmEdge_ResultGetMessage(Res));
    return 1;
    }
    /* Step 4: Asynchronously execute the WASM function and get the
    * `WasmEdge_Async` object. */
    WasmEdge_Async *Async =
    WasmEdge_VMAsyncExecute(VMCxt, FuncName, Params, 1);
    /*
    * Developers can execute functions repeatedly after instantiation.
    * For invoking the registered functions, you can use the
    * `WasmEdge_VMAsyncExecuteRegistered()` API.
    */

    /* Wait and check the return values length. */
    uint32_t Arity = WasmEdge_AsyncGetReturnsLength(Async);
    /* The `Arity` should be 1. Developers can skip this step if they have
    * known the return arity. */

    /* Get the result. */
    Res = WasmEdge_AsyncGet(Async, Returns, Arity);
    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Execution phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
    }

    /* Resources deallocations. */
    WasmEdge_AsyncDelete(Async);
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StringDelete(FuncName);
    }

    Then you can compile and run: (the 25th Fibonacci number is 121393 in 0-based index)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get the result: 121393

Instance Tracing

Sometimes the developers may have requirements to get the instances of the WASM runtime. The VM context supplies the APIs to retrieve the instances.

  1. Store

    If the VM context is created without assigning a Store context, the VM context will allocate and own a Store context.

    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);
    WasmEdge_StoreContext *StoreCxt = WasmEdge_VMGetStoreContext(VMCxt);
    /* The object should __NOT__ be deleted by `WasmEdge_StoreDelete()`. */
    WasmEdge_VMDelete(VMCxt);

    Developers can also create the VM context with a Store context. In this case, developers should guarantee the life cycle of the Store context. Please refer to the Store Contexts for the details about the Store context APIs.

    WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, StoreCxt);
    WasmEdge_StoreContext *StoreCxtMock = WasmEdge_VMGetStoreContext(VMCxt);
    /* The `StoreCxt` and the `StoreCxtMock` are the same. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StoreDelete(StoreCxt);
  2. List exported functions

    After the WASM module instantiation, developers can use the WasmEdge_VMExecute() API to invoke the exported WASM functions. For this purpose, developers may need information about the exported WASM function list. Please refer to the Instances in runtime for the details about the function types. Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory, and the C file test.c is as following:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>
    int main() {
    WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, StoreCxt);

    WasmEdge_VMLoadWasmFromFile(VMCxt, "fibonacci.wasm");
    WasmEdge_VMValidate(VMCxt);
    WasmEdge_VMInstantiate(VMCxt);

    /* List the exported functions. */
    /* Get the number of exported functions. */
    uint32_t FuncNum = WasmEdge_VMGetFunctionListLength(VMCxt);
    /* Create the name buffers and the function type buffers. */
    const uint32_t BUF_LEN = 256;
    WasmEdge_String FuncNames[BUF_LEN];
    WasmEdge_FunctionTypeContext *FuncTypes[BUF_LEN];
    /*
    * Get the export function list.
    * If the function list length is larger than the buffer length, the
    * overflowed data will be discarded. The `FuncNames` and `FuncTypes` can
    * be NULL if developers don't need them.
    */
    uint32_t RealFuncNum =
    WasmEdge_VMGetFunctionList(VMCxt, FuncNames, FuncTypes, BUF_LEN);

    for (uint32_t I = 0; I < RealFuncNum && I < BUF_LEN; I++) {
    char Buf[BUF_LEN];
    uint32_t Size = WasmEdge_StringCopy(FuncNames[I], Buf, sizeof(Buf));
    printf("Get exported function string length: %u, name: %s\n", Size,
    Buf);
    /*
    * The function names should be __NOT__ destroyed.
    * The returned function type contexts should __NOT__ be destroyed.
    */
    }
    WasmEdge_StoreDelete(StoreCxt);
    WasmEdge_VMDelete(VMCxt);
    return 0;
    }

    Then you can compile and run: (the only exported function in fibonacci.wasm is fib)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Get exported function string length: 3, name: fib

    If developers want to get the exported function names in the registered WASM modules, please retrieve the Store context from the VM context and refer to the APIs of Store Contexts to list the registered functions by the module name.

  3. Get function types

    The VM context provides APIs to find the function type by function name. Please refer to the Instances in runtime for the details about the function types.

    /*
    * ...
    * Assume that a WASM module is instantiated in `VMCxt`.
    */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    const WasmEdge_FunctionTypeContext *FuncType =
    WasmEdge_VMGetFunctionType(VMCxt, FuncName);
    /*
    * Developers can get the function types of functions in the registered
    * modules via the `WasmEdge_VMGetFunctionTypeRegistered()` API with the
    * module name. If the function is not found, these APIs will return `NULL`.
    * The returned function type contexts should __NOT__ be destroyed.
    */
    WasmEdge_StringDelete(FuncName);
  4. Get the active module

    After the WASM module instantiation, an anonymous module is instantiated and owned by the VM context. Developers may need to retrieve it to get the instances beyond the module. Then developers can use the WasmEdge_VMGetActiveModule() API to get that anonymous module instance. Please refer to the Module instance for the details about the module instance APIs.

    /*
    * ...
    * Assume that a WASM module is instantiated in `VMCxt`.
    */
    const WasmEdge_ModuleInstanceContext *ModCxt =
    WasmEdge_VMGetActiveModule(VMCxt);
    /*
    * If there's no WASM module instantiated, this API will return `NULL`.
    * The returned module instance context should __NOT__ be destroyed.
    */
  5. Get the components

    The VM context is composed by the Loader, Validator, and Executor contexts. For the developers who want to use these contexts without creating another instances, these APIs can help developers to get them from the VM context. The get contexts are owned by the VM context, and developers should not call their delete functions.

    WasmEdge_LoaderContext *LoadCxt = WasmEdge_VMGetLoaderContext(VMCxt);
    /* The object should __NOT__ be deleted by `WasmEdge_LoaderDelete()`. */
    WasmEdge_ValidatorContext *ValidCxt = WasmEdge_VMGetValidatorContext(VMCxt);
    /* The object should __NOT__ be deleted by `WasmEdge_ValidatorDelete()`. */
    WasmEdge_ExecutorContext *ExecCxt = WasmEdge_VMGetExecutorContext(VMCxt);
    /* The object should __NOT__ be deleted by `WasmEdge_ExecutorDelete()`. */

WasmEdge Runtime

In this partition, we will introduce the objects of WasmEdge runtime manually.

WASM Execution Example Step-By-Step

Besides the WASM execution through the VM context, developers can execute the WASM functions or instantiate WASM modules step-by-step with the Loader, Validator, Executor, and Store contexts. Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory, and the C file test.c is as following:

#include <wasmedge/wasmedge.h>
#include <stdio.h>
int main() {
/*
* Create the configure context. This step is not necessary because we didn't
* adjust any setting.
*/
WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
/*
* Create the statistics context. This step is not necessary if the statistics
* in runtime is not needed.
*/
WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
/*
* Create the store context. The store context is the object to link the
* modules for imports and exports.
*/
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
/* Result. */
WasmEdge_Result Res;

/* Create the loader context. The configure context can be NULL. */
WasmEdge_LoaderContext *LoadCxt = WasmEdge_LoaderCreate(ConfCxt);
/* Create the validator context. The configure context can be NULL. */
WasmEdge_ValidatorContext *ValidCxt = WasmEdge_ValidatorCreate(ConfCxt);
/*
* Create the executor context. The configure context and the statistics
* context can be NULL.
*/
WasmEdge_ExecutorContext *ExecCxt = WasmEdge_ExecutorCreate(ConfCxt, StatCxt);

/*
* Load the WASM file or the compiled-WASM file and convert into the AST
* module context.
*/
WasmEdge_ASTModuleContext *ASTCxt = NULL;
Res = WasmEdge_LoaderParseFromFile(LoadCxt, &ASTCxt, "fibonacci.wasm");
if (!WasmEdge_ResultOK(Res)) {
printf("Loading phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
return 1;
}
/* Validate the WASM module. */
Res = WasmEdge_ValidatorValidate(ValidCxt, ASTCxt);
if (!WasmEdge_ResultOK(Res)) {
printf("Validation phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
return 1;
}
/* Instantiate the WASM module into store context. */
WasmEdge_ModuleInstanceContext *ModCxt = NULL;
Res = WasmEdge_ExecutorInstantiate(ExecCxt, &ModCxt, StoreCxt, ASTCxt);
if (!WasmEdge_ResultOK(Res)) {
printf("Instantiation phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
return 1;
}

/* Try to list the exported functions of the instantiated WASM module. */
uint32_t FuncNum = WasmEdge_ModuleInstanceListFunctionLength(ModCxt);
/* Create the name buffers. */
const uint32_t BUF_LEN = 256;
WasmEdge_String FuncNames[BUF_LEN];
/*
* If the list length is larger than the buffer length, the overflowed data
* will be discarded.
*/
uint32_t RealFuncNum =
WasmEdge_ModuleInstanceListFunction(ModCxt, FuncNames, BUF_LEN);
for (uint32_t I = 0; I < RealFuncNum && I < BUF_LEN; I++) {
char Buf[BUF_LEN];
uint32_t Size = WasmEdge_StringCopy(FuncNames[I], Buf, sizeof(Buf));
printf("Get exported function string length: %u, name: %s\n", Size, Buf);
/* The function names should __NOT__ be destroyed. */
}

/* The parameters and returns arrays. */
WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(18)};
WasmEdge_Value Returns[1];
/* Function name. */
WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
/* Find the exported function by function name. */
WasmEdge_FunctionInstanceContext *FuncCxt =
WasmEdge_ModuleInstanceFindFunction(ModCxt, FuncName);
if (FuncCxt == NULL) {
printf("Function `fib` not found.\n");
return 1;
}
/* Invoke the WASM function. */
Res = WasmEdge_ExecutorInvoke(ExecCxt, FuncCxt, Params, 1, Returns, 1);
if (WasmEdge_ResultOK(Res)) {
printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
} else {
printf("Execution phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
}

/* Resources deallocations. */
WasmEdge_StringDelete(FuncName);
WasmEdge_ASTModuleDelete(ASTCxt);
WasmEdge_ModuleInstanceDelete(ModCxt);
WasmEdge_LoaderDelete(LoadCxt);
WasmEdge_ValidatorDelete(ValidCxt);
WasmEdge_ExecutorDelete(ExecCxt);
WasmEdge_ConfigureDelete(ConfCxt);
WasmEdge_StoreDelete(StoreCxt);
WasmEdge_StatisticsDelete(StatCxt);
return 0;
}

Then you can compile and run: (the 18th Fibonacci number is 4181 in 0-based index)

$ gcc test.c -lwasmedge
$ ./a.out
Get exported function string length: 3, name: fib
Get the result: 4181

Loader

The Loader context loads the WASM binary from files or buffers. Both the WASM and the compiled-WASM from the WasmEdge AOT Compiler are supported.

uint8_t Buf[4096];
/* ... Read the WASM code to the buffer. */
uint32_t FileSize = ...;
/* The `FileSize` is the length of the WASM code. */

/* Developers can adjust settings in the configure context. */
WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
/* Create the loader context. The configure context can be NULL. */
WasmEdge_LoaderContext *LoadCxt = WasmEdge_LoaderCreate(ConfCxt);

WasmEdge_ASTModuleContext *ASTCxt = NULL;
WasmEdge_Result Res;

/* Load WASM or compiled-WASM from the file. */
Res = WasmEdge_LoaderParseFromFile(LoadCxt, &ASTCxt, "fibonacci.wasm");
if (!WasmEdge_ResultOK(Res)) {
printf("Loading phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
/* The output AST module context should be destroyed. */
WasmEdge_ASTModuleDelete(ASTCxt);

/* Load WASM or compiled-WASM from the buffer. */
Res = WasmEdge_LoaderParseFromBuffer(LoadCxt, &ASTCxt, Buf, FileSize);
if (!WasmEdge_ResultOK(Res)) {
printf("Loading phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
/* The output AST module context should be destroyed. */
WasmEdge_ASTModuleDelete(ASTCxt);

WasmEdge_LoaderDelete(LoadCxt);
WasmEdge_ConfigureDelete(ConfCxt);

Validator

The Validator context can validate the WASM module. Every WASM module should be validated before instantiation.

/*
* ...
* Assume that the `ASTCxt` is the output AST module context from the loader
* context.
* Assume that the `ConfCxt` is the configure context.
*/
/* Create the validator context. The configure context can be NULL. */
WasmEdge_ValidatorContext *ValidCxt = WasmEdge_ValidatorCreate(ConfCxt);
WasmEdge_Result Res = WasmEdge_ValidatorValidate(ValidCxt, ASTCxt);
if (!WasmEdge_ResultOK(Res)) {
printf("Validation phase failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
WasmEdge_ValidatorDelete(ValidCxt);

Executor

The Executor context is the executor for both WASM and compiled-WASM. This object should work base on the Store context. For the details of the Store context, please refer to the next chapter.

  1. Instantiate and register an AST module as a named Module instance

    As the same of registering host modules or importing WASM modules in VM contexts, developers can instantiate and register an AST module contexts into the Store context as a named Module instance by the Executor APIs. After the registration, the result Module instance is exported with the given module name and can be linked when instantiating another module. For the details about the Module instances APIs, please refer to the Instances.

    /*
    * ...
    * Assume that the `ASTCxt` is the output AST module context from the loader
    * context and has passed the validation. Assume that the `ConfCxt` is the
    * configure context.
    */
    /* Create the statistics context. This step is not necessary. */
    WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
    /*
    * Create the executor context. The configure and the statistics contexts
    * can be NULL.
    */
    WasmEdge_ExecutorContext *ExecCxt =
    WasmEdge_ExecutorCreate(ConfCxt, StatCxt);
    /*
    * Create the store context. The store context is the object to link the
    * modules for imports and exports.
    */
    WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
    /* Result. */
    WasmEdge_Result Res;

    WasmEdge_String ModName = WasmEdge_StringCreateByCString("mod");
    /* The output module instance. */
    WasmEdge_ModuleInstanceContext *ModCxt = NULL;
    /*
    * Register the WASM module into the store with the export module name
    * "mod".
    */
    Res =
    WasmEdge_ExecutorRegister(ExecCxt, &ModCxt, StoreCxt, ASTCxt, ModName);
    if (!WasmEdge_ResultOK(Res)) {
    printf("WASM registration failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return -1;
    }
    WasmEdge_StringDelete(ModName);

    /* ... */

    /* After the execution, the resources should be released. */
    WasmEdge_ExecutorDelete(ExecCxt);
    WasmEdge_StatisticsDelete(StatCxt);
    WasmEdge_StoreDelete(StoreCxt);
    WasmEdge_ModuleInstanceDelete(ModCxt);
  2. Register an existing Module instance and export the module name

    Besides instantiating and registering an AST module contexts, developers can register an existing Module instance into the store with exporting the module name (which is in the Module instance already). This case occurs when developers create a Module instance for the host functions and want to register it for linking. For the details about the construction of host functions in Module instances, please refer to the Host Functions.

    /*
    * ...
    * Assume that the `ASTCxt` is the output AST module context from the loader
    * context and has passed the validation. Assume that the `ConfCxt` is the
    * configure context.
    */
    /* Create the statistics context. This step is not necessary. */
    WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
    /*
    * Create the executor context. The configure and the statistics contexts
    * can be NULL.
    */
    WasmEdge_ExecutorContext *ExecCxt =
    WasmEdge_ExecutorCreate(ConfCxt, StatCxt);
    /*
    * Create the store context. The store context is the object to link the
    * modules for imports and exports.
    */
    WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
    /* Result. */
    WasmEdge_Result Res;

    /* Create a module instance for host functions. */
    WasmEdge_String ModName = WasmEdge_StringCreateByCString("host-module");
    WasmEdge_ModuleInstanceContext *HostModCxt =
    WasmEdge_ModuleInstanceCreate(ModName);
    WasmEdge_StringDelete(ModName);
    /*
    * ...
    * Create and add the host functions, tables, memories, and globals into the
    * module instance.
    */

    /* Register the module instance into store with the exported module name. */
    /* The export module name is in the module instance already. */
    Res = WasmEdge_ExecutorRegisterImport(ExecCxt, StoreCxt, HostModCxt);
    if (!WasmEdge_ResultOK(Res)) {
    printf("WASM registration failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return -1;
    }

    /* ... */

    /* After the execution, the resources should be released. */
    WasmEdge_ExecutorDelete(ExecCxt);
    WasmEdge_StatisticsDelete(StatCxt);
    WasmEdge_StoreDelete(StoreCxt);
    WasmEdge_ModuleInstanceDelete(ModCxt);
  3. Instantiate an AST module to an anonymous Module instance

    WASM or compiled-WASM modules should be instantiated before the function invocation. Before instantiating a WASM module, please check the import section for ensuring the imports are registered into the Store context for linking.

    /*
    * ...
    * Assume that the `ASTCxt` is the output AST module context from the loader
    * context and has passed the validation. Assume that the `ConfCxt` is the
    * configure context.
    */
    /* Create the statistics context. This step is not necessary. */
    WasmEdge_StatisticsContext *StatCxt = WasmEdge_StatisticsCreate();
    /*
    * Create the executor context. The configure and the statistics contexts
    * can be NULL.
    */
    WasmEdge_ExecutorContext *ExecCxt =
    WasmEdge_ExecutorCreate(ConfCxt, StatCxt);
    /*
    * Create the store context. The store context is the object to link the
    * modules for imports and exports.
    */
    WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();

    /* The output module instance. */
    WasmEdge_ModuleInstanceContext *ModCxt = NULL;
    /* Instantiate the WASM module. */
    WasmEdge_Result Res =
    WasmEdge_ExecutorInstantiate(ExecCxt, &ModCxt, StoreCxt, ASTCxt);
    if (!WasmEdge_ResultOK(Res)) {
    printf("WASM instantiation failed: %s\n", WasmEdge_ResultGetMessage(Res));
    return -1;
    }

    /* ... */

    /* After the execution, the resources should be released. */
    WasmEdge_ExecutorDelete(ExecCxt);
    WasmEdge_StatisticsDelete(StatCxt);
    WasmEdge_StoreDelete(StoreCxt);
    WasmEdge_ModuleInstanceDelete(ModCxt);
  4. Invoke functions

    After registering or instantiating and get the result Module instance, developers can retrieve the exported Function instances from the Module instance for invocation. For the details about the Module instances APIs, please refer to the Instances. Please refer to the example above for the Function instance invocation with the WasmEdge_ExecutorInvoke() API.

AST Module

The AST Module context presents the loaded structure from a WASM file or buffer. Developer will get this object after loading a WASM file or buffer from Loader. Before instantiation, developers can also query the imports and exports of an AST Module context.

WasmEdge_ASTModuleContext *ASTCxt = ...;
/* Assume that a WASM is loaded into an AST module context. */

/* Create the import type context buffers. */
const uint32_t BUF_LEN = 256;
const WasmEdge_ImportTypeContext *ImpTypes[BUF_LEN];
uint32_t ImportNum = WasmEdge_ASTModuleListImportsLength(ASTCxt);
/*
* If the list length is larger than the buffer length, the overflowed data will
* be discarded.
*/
uint32_t RealImportNum =
WasmEdge_ASTModuleListImports(ASTCxt, ImpTypes, BUF_LEN);
for (uint32_t I = 0; I < RealImportNum && I < BUF_LEN; I++) {
/* Working with the import type `ImpTypes[I]` ... */
}

/* Create the export type context buffers. */
const WasmEdge_ExportTypeContext *ExpTypes[BUF_LEN];
uint32_t ExportNum = WasmEdge_ASTModuleListExportsLength(ASTCxt);
/*
* If the list length is larger than the buffer length, the overflowed data will
* be discarded.
*/
uint32_t RealExportNum =
WasmEdge_ASTModuleListExports(ASTCxt, ExpTypes, BUF_LEN);
for (uint32_t I = 0; I < RealExportNum && I < BUF_LEN; I++) {
/* Working with the export type `ExpTypes[I]` ... */
}

WasmEdge_ASTModuleDelete(ASTCxt);
/*
* After deletion of `ASTCxt`, all data queried from the `ASTCxt` should not be
* accessed.
*/

Store

Store is the runtime structure for the representation of all global state that can be manipulated by WebAssembly programs. The Store context in WasmEdge is an object to provide the instance exporting and importing when instantiating WASM modules. Developers can retrieve the named modules from the Store context.

WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();

/*
* ...
* Register a WASM module via the executor context.
*/

/* Try to list the registered WASM modules. */
uint32_t ModNum = WasmEdge_StoreListModuleLength(StoreCxt);
/* Create the name buffers. */
const uint32_t BUF_LEN = 256;
WasmEdge_String ModNames[BUF_LEN];
/*
* If the list length is larger than the buffer length, the overflowed data will
* be discarded.
*/
uint32_t RealModNum = WasmEdge_StoreListModule(StoreCxt, ModNames, BUF_LEN);
for (uint32_t I = 0; I < RealModNum && I < BUF_LEN; I++) {
/* Working with the module name `ModNames[I]` ... */
/* The module names should __NOT__ be destroyed. */
}

/* Find named module by name. */
WasmEdge_String ModName = WasmEdge_StringCreateByCString("module");
const WasmEdge_ModuleInstanceContext *ModCxt =
WasmEdge_StoreFindModule(StoreCxt, ModName);
/* If the module with name not found, the `ModCxt` will be NULL. */
WasmEdge_StringDelete(ModName);

Instances

The instances are the runtime structures of WASM. Developers can retrieve the Module instances from the Store contexts, and retrieve the other instances from the Module instances. A single instance can be allocated by its creation function. Developers can construct instances into an Module instance for registration. Please refer to the Host Functions for details. The instances created by their creation functions should be destroyed by developers, EXCEPT they are added into an Module instance.

  1. Module instance

    After instantiating or registering an AST module context, developers will get a Module instance as the result, and have the responsibility to destroy it when not in use. A Module instance can also be created for the host module. Please refer to the host function for the details. Module instance provides APIs to list and find the exported instances in the module.

    /*
    * ...
    * Instantiate a WASM module via the executor context and get the `ModCxt`
    * as the output module instance.
    */

    /* Try to list the exported instance of the instantiated WASM module. */
    /* Take the function instances for example here. */
    uint32_t FuncNum = WasmEdge_ModuleInstanceListFunctionLength(ModCxt);
    /* Create the name buffers. */
    const uint32_t BUF_LEN = 256;
    WasmEdge_String FuncNames[BUF_LEN];
    /*
    * If the list length is larger than the buffer length, the overflowed data
    * will be discarded.
    */
    uint32_t RealFuncNum =
    WasmEdge_ModuleInstanceListFunction(ModCxt, FuncNames, BUF_LEN);
    for (uint32_t I = 0; I < RealFuncNum && I < BUF_LEN; I++) {
    /* Working with the function name `FuncNames[I]` ... */
    /* The function names should __NOT__ be destroyed. */
    }

    /* Try to find the exported instance of the instantiated WASM module. */
    /* Take the function instances for example here. */
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("fib");
    WasmEdge_FunctionInstanceContext *FuncCxt =
    WasmEdge_ModuleInstanceFindFunction(ModCxt, FuncName);
    /* `FuncCxt` will be `NULL` if the function not found. */
    /*
    * The returned instance is owned by the module instance context and should
    * __NOT__ be destroyed.
    */
    WasmEdge_StringDelete(FuncName);
  2. Function instance

    Host functions are functions outside WebAssembly and passed to WASM modules as imports. In WasmEdge, developers can create the Function contexts for host functions and add them into an Module instance context for registering into a VM or a Store. Developers can retrieve the Function Type from the Function contexts through the API. For the details of the Host Function guide, please refer to the next chapter.

    /* Retrieve the function instance from the module instance context. */
    WasmEdge_FunctionInstanceContext *FuncCxt = ...;
    WasmEdge_FunctionTypeContext *FuncTypeCxt =
    WasmEdge_FunctionInstanceGetFunctionType(FuncCxt);
    /*
    * The `FuncTypeCxt` is owned by the `FuncCxt` and should __NOT__ be
    * destroyed.
    */

    /*
    * For the function instance creation, please refer to the `Host Function`
    * guide.
    */
  3. Table instance

    In WasmEdge, developers can create the Table contexts and add them into an Module instance context for registering into a VM or a Store. The Table contexts supply APIs to control the data in table instances.

    WasmEdge_Limit TabLimit = {
    .HasMax = true, .Shared = false, .Min = 10, .Max = 20};
    /* Create the table type with limit and the `FuncRef` element type. */
    WasmEdge_TableTypeContext *TabTypeCxt =
    WasmEdge_TableTypeCreate(WasmEdge_RefType_FuncRef, TabLimit);
    /* Create the table instance with table type. */
    WasmEdge_TableInstanceContext *HostTable =
    WasmEdge_TableInstanceCreate(TabTypeCxt);
    /* Delete the table type. */
    WasmEdge_TableTypeDelete(TabTypeCxt);
    WasmEdge_Result Res;
    WasmEdge_Value Data;

    TabTypeCxt = WasmEdge_TableInstanceGetTableType(HostTable);
    /*
    * The `TabTypeCxt` got from table instance is owned by the `HostTable` and
    * should __NOT__ be destroyed.
    */
    enum WasmEdge_RefType RefType = WasmEdge_TableTypeGetRefType(TabTypeCxt);
    /* `RefType` will be `WasmEdge_RefType_FuncRef`. */
    Data = WasmEdge_ValueGenFuncRef(5);
    Res = WasmEdge_TableInstanceSetData(HostTable, Data, 3);
    /* Set the function index 5 to the table[3]. */
    /*
    * This will get an "out of bounds table access" error
    * because the position (13) is out of the table size (10):
    * Res = WasmEdge_TableInstanceSetData(HostTable, Data, 13);
    */
    Res = WasmEdge_TableInstanceGetData(HostTable, &Data, 3);
    /* Get the FuncRef value of the table[3]. */
    /*
    * This will get an "out of bounds table access" error
    * because the position (13) is out of the table size (10):
    * Res = WasmEdge_TableInstanceGetData(HostTable, &Data, 13);
    */

    uint32_t Size = WasmEdge_TableInstanceGetSize(HostTable);
    /* `Size` will be 10. */
    Res = WasmEdge_TableInstanceGrow(HostTable, 6);
    /* Grow the table size of 6, the table size will be 16. */
    /*
    * This will get an "out of bounds table access" error because
    * the size (16 + 6) will reach the table limit(20):
    * Res = WasmEdge_TableInstanceGrow(HostTable, 6);
    */

    WasmEdge_TableInstanceDelete(HostTable);
  4. Memory instance

    In WasmEdge, developers can create the Memory contexts and add them into an Module instance context for registering into a VM or a Store. The Memory contexts supply APIs to control the data in memory instances.

    WasmEdge_Limit MemLimit = {
    .HasMax = true, .Shared = false, .Min = 1, .Max = 5};
    /* Create the memory type with limit. The memory page size is 64KiB. */
    WasmEdge_MemoryTypeContext *MemTypeCxt =
    WasmEdge_MemoryTypeCreate(MemLimit);
    /* Create the memory instance with memory type. */
    WasmEdge_MemoryInstanceContext *HostMemory =
    WasmEdge_MemoryInstanceCreate(MemTypeCxt);
    /* Delete the memory type. */
    WasmEdge_MemoryTypeDelete(MemTypeCxt);
    WasmEdge_Result Res;
    uint8_t Buf[256];

    Buf[0] = 0xAA;
    Buf[1] = 0xBB;
    Buf[2] = 0xCC;
    Res = WasmEdge_MemoryInstanceSetData(HostMemory, Buf, 0x1000, 3);
    /* Set the data[0:2] to the memory[4096:4098]. */
    /*
    * This will get an "out of bounds memory access" error
    * because [65535:65537] is out of 1 page size (65536):
    * Res = WasmEdge_MemoryInstanceSetData(HostMemory, Buf, 0xFFFF, 3);
    */
    Buf[0] = 0;
    Buf[1] = 0;
    Buf[2] = 0;
    Res = WasmEdge_MemoryInstanceGetData(HostMemory, Buf, 0x1000, 3);
    /* Get the memory[4096:4098]. Buf[0:2] will be `{0xAA, 0xBB, 0xCC}`. */
    /*
    * This will get an "out of bounds memory access" error
    * because [65535:65537] is out of 1 page size (65536):
    * Res = WasmEdge_MemoryInstanceSetData(HostMemory, Buf, 0xFFFF, 3);
    */

    uint32_t PageSize = WasmEdge_MemoryInstanceGetPageSize(HostMemory);
    /* `PageSize` will be 1. */
    Res = WasmEdge_MemoryInstanceGrowPage(HostMemory, 2);
    /* Grow the page size of 2, the page size of the memory instance will be 3.
    */
    /*
    * This will get an "out of bounds memory access" error because
    * the page size (3 + 3) will reach the memory limit(5):
    * Res = WasmEdge_MemoryInstanceGrowPage(HostMemory, 3);
    */

    WasmEdge_MemoryInstanceDelete(HostMemory);
  5. Global instance

    In WasmEdge, developers can create the Global contexts and add them into an Module instance context for registering into a VM or a Store. The Global contexts supply APIs to control the value in global instances.

    WasmEdge_Value Val = WasmEdge_ValueGenI64(1000);
    /* Create the global type with value type and mutation. */
    WasmEdge_GlobalTypeContext *GlobTypeCxt = WasmEdge_GlobalTypeCreate(
    WasmEdge_ValType_I64, WasmEdge_Mutability_Var);
    /* Create the global instance with value and global type. */
    WasmEdge_GlobalInstanceContext *HostGlobal =
    WasmEdge_GlobalInstanceCreate(GlobTypeCxt, Val);
    /* Delete the global type. */
    WasmEdge_GlobalTypeDelete(GlobTypeCxt);
    WasmEdge_Result Res;

    GlobTypeCxt = WasmEdge_GlobalInstanceGetGlobalType(HostGlobal);
    /* The `GlobTypeCxt` got from global instance is owned by the `HostGlobal`
    * and should __NOT__ be destroyed. */
    enum WasmEdge_ValType ValType = WasmEdge_GlobalTypeGetValType(GlobTypeCxt);
    /* `ValType` will be `WasmEdge_ValType_I64`. */
    enum WasmEdge_Mutability ValMut =
    WasmEdge_GlobalTypeGetMutability(GlobTypeCxt);
    /* `ValMut` will be `WasmEdge_Mutability_Var`. */

    WasmEdge_GlobalInstanceSetValue(HostGlobal, WasmEdge_ValueGenI64(888));
    /*
    * Set the value u64(888) to the global.
    * This function will do nothing if the value type mismatched or
    * the global mutability is `WasmEdge_Mutability_Const`.
    */
    WasmEdge_Value GlobVal = WasmEdge_GlobalInstanceGetValue(HostGlobal);
    /* Get the value (888 now) of the global context. */

    WasmEdge_GlobalInstanceDelete(HostGlobal);

Host Functions

Host functions are functions outside WebAssembly and passed to WASM modules as imports. In WasmEdge, developers can create the Function, Memory, Table, and Global contexts and add them into an Module instance context for registering into a VM or a Store.

  1. Host function allocation

    Developers can define C functions with the following function signature as the host function body:

    typedef WasmEdge_Result (*WasmEdge_HostFunc_t)(
    void *Data, const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *Params, WasmEdge_Value *Returns);

    The example of an add host function to add 2 i32 values:

    WasmEdge_Result Add(void *, const WasmEdge_CallingFrameContext *,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    /*
    * Params: {i32, i32}
    * Returns: {i32}
    * Developers should take care about the function type.
    */
    /* Retrieve the value 1. */
    int32_t Val1 = WasmEdge_ValueGetI32(In[0]);
    /* Retrieve the value 2. */
    int32_t Val2 = WasmEdge_ValueGetI32(In[1]);
    /* Output value 1 is Val1 + Val2. */
    Out[0] = WasmEdge_ValueGenI32(Val1 + Val2);
    /* Return the status of success. */
    return WasmEdge_Result_Success;
    }

    Then developers can create Function context with the host function body and the function type:

    enum WasmEdge_ValType ParamList[2] = {WasmEdge_ValType_I32,
    WasmEdge_ValType_I32};
    enum WasmEdge_ValType ReturnList[1] = {WasmEdge_ValType_I32};
    /* Create a function type: {i32, i32} -> {i32}. */
    WasmEdge_FunctionTypeContext *HostFType =
    WasmEdge_FunctionTypeCreate(ParamList, 2, ReturnList, 1);
    /*
    * Create a function context with the function type and host function body.
    * The `Cost` parameter can be 0 if developers do not need the cost
    * measuring.
    */
    WasmEdge_FunctionInstanceContext *HostFunc =
    WasmEdge_FunctionInstanceCreate(HostFType, Add, NULL, 0);
    /*
    * The third parameter is the pointer to the additional data.
    * Developers should guarantee the life cycle of the data, and it can be
    * `NULL` if the external data is not needed.
    */
    WasmEdge_FunctionTypeDelete(HostType);

    /*
    * If the function instance is __NOT__ added into a module instance context,
    * it should be deleted.
    */
    WasmEdge_FunctionInstanceDelete(HostFunc);
  2. Calling frame context

    The WasmEdge_CallingFrameContext is the context to provide developers to access the module instance of the frame on the top of the calling stack. According to the WASM spec, a frame with the module instance is pushed into the stack when invoking a function. Therefore, the host functions can access the module instance of the top frame to retrieve the memory instances to read/write data.

    WasmEdge_Result LoadOffset(void *Data,
    const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    /* Function type: {i32} -> {} */
    uint32_t Offset = (uint32_t)WasmEdge_ValueGetI32(In[0]);
    uint32_t Num = 0;

    /*
    * Get the 0-th memory instance of the module instance of the top frame on
    * stack.
    */
    WasmEdge_MemoryInstanceContext *MemCxt =
    WasmEdge_CallingFrameGetMemoryInstance(CallFrameCxt, 0);

    WasmEdge_Result Res =
    WasmEdge_MemoryInstanceGetData(MemCxt, (uint8_t *)(&Num), Offset, 4);
    if (WasmEdge_ResultOK(Res)) {
    printf("u32 at memory[%lu]: %lu\n", Offset, Num);
    } else {
    return Res;
    }
    return WasmEdge_Result_Success;
    }

    Besides using the WasmEdge_CallingFrameGetMemoryInstance() API to get the memory instance by index in the module instance, developers can use the WasmEdge_CallingFrameGetModuleInstance() to get the module instance directly. Therefore, developers can retrieve the exported contexts by the WasmEdge_ModuleInstanceContext APIs. And also, developers can use the WasmEdge_CallingFrameGetExecutor() API to get the currently used executor context.

  3. User-defined error code of the host functions

    In host functions, WasmEdge provides WasmEdge_Result_Success to return success, WasmEdge_Result_Terminate to terminate the WASM execution, and WasmEdge_Result_Fail to return fail. WasmEdge also provides the usage of returning the user-specified codes. Developers can use the WasmEdge_ResultGen() API to generate the WasmEdge_Result with error code, and use the WasmEdge_ResultGetCode() API to get the error code.

    Notice: The error code only supports 24-bit integer (0 ~ 16777216 in uint32_t). The values larger than 24-bit will be truncated.

    Assume that a simple WASM from the WAT is as following:

    (module
    (type $t0 (func (param i32)))
    (import "extern" "trap" (func $f-trap (type $t0)))
    (func (export "trap") (param i32)
    local.get 0
    call $f-trap)
    )

    And the test.c is as following:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>

    /* Host function body definition. */
    WasmEdge_Result Trap(void *Data,
    const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    int32_t Val = WasmEdge_ValueGetI32(In[0]);
    /* Return the error code from the param[0]. */
    return WasmEdge_ResultGen(WasmEdge_ErrCategory_UserLevelError, Val);
    }

    int main() {
    /* Create the VM context. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The WASM module buffer. */
    uint8_t WASM[] = {/* WASM header */
    0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00,
    /* Type section */
    0x01, 0x05, 0x01,
    /* function type {i32} -> {} */
    0x60, 0x01, 0x7F, 0x00,
    /* Import section */
    0x02, 0x0F, 0x01,
    /* module name: "extern" */
    0x06, 0x65, 0x78, 0x74, 0x65, 0x72, 0x6E,
    /* extern name: "trap" */
    0x04, 0x74, 0x72, 0x61, 0x70,
    /* import desc: func 0 */
    0x00, 0x00,
    /* Function section */
    0x03, 0x02, 0x01, 0x00,
    /* Export section */
    0x07, 0x08, 0x01,
    /* export name: "trap" */
    0x04, 0x74, 0x72, 0x61, 0x70,
    /* export desc: func 0 */
    0x00, 0x01,
    /* Code section */
    0x0A, 0x08, 0x01,
    /* code body */
    0x06, 0x00, 0x20, 0x00, 0x10, 0x00, 0x0B};

    /* Create the module instance. */
    WasmEdge_String ExportName = WasmEdge_StringCreateByCString("extern");
    WasmEdge_ModuleInstanceContext *HostModCxt =
    WasmEdge_ModuleInstanceCreate(ExportName);
    enum WasmEdge_ValType ParamList[1] = {WasmEdge_ValType_I32};
    WasmEdge_FunctionTypeContext *HostFType =
    WasmEdge_FunctionTypeCreate(ParamList, 1, NULL, 0);
    WasmEdge_FunctionInstanceContext *HostFunc =
    WasmEdge_FunctionInstanceCreate(HostFType, Trap, NULL, 0);
    WasmEdge_FunctionTypeDelete(HostFType);
    WasmEdge_String HostFuncName = WasmEdge_StringCreateByCString("trap");
    WasmEdge_ModuleInstanceAddFunction(HostModCxt, HostFuncName, HostFunc);
    WasmEdge_StringDelete(HostFuncName);

    WasmEdge_VMRegisterModuleFromImport(VMCxt, HostModCxt);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[1] = {WasmEdge_ValueGenI32(5566)};
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("trap");
    /* Run the WASM function from buffer. */
    WasmEdge_Result Res = WasmEdge_VMRunWasmFromBuffer(
    VMCxt, WASM, sizeof(WASM), FuncName, Params, 1, NULL, 0);

    /* Get the result code and print. */
    printf("Get the error code: %u\n", WasmEdge_ResultGetCode(Res));

    /* Resources deallocations. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StringDelete(FuncName);
    WasmEdge_ModuleInstanceDelete(HostModCxt);
    return 0;
    }

    Then you can compile and run: (giving the expected error code 5566)

    $ gcc test.c -lwasmedge
    $ ./a.out
    [2022-08-26 15:06:40.384] [error] user defined failed: user defined error code, Code: 0x15be
    [2022-08-26 15:06:40.384] [error] When executing function name: "trap"
    Get the error code: 5566
  4. Construct a module instance with host instances

    Besides creating a Module instance by registering or instantiating a WASM module, developers can create a Module instance with a module name and add the Function, Memory, Table, and Global instances into it with their exporting names.

    /* Host function body definition. */
    WasmEdge_Result Add(void *Data,
    const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    int32_t Val1 = WasmEdge_ValueGetI32(In[0]);
    int32_t Val2 = WasmEdge_ValueGetI32(In[1]);
    Out[0] = WasmEdge_ValueGenI32(Val1 + Val2);
    return WasmEdge_Result_Success;
    }

    /* Create a module instance. */
    WasmEdge_String ExportName = WasmEdge_StringCreateByCString("module");
    WasmEdge_ModuleInstanceContext *HostModCxt =
    WasmEdge_ModuleInstanceCreate(ExportName);
    WasmEdge_StringDelete(ExportName);

    /* Create and add a function instance into the module instance. */
    enum WasmEdge_ValType ParamList[2] = {WasmEdge_ValType_I32,
    WasmEdge_ValType_I32};
    enum WasmEdge_ValType ReturnList[1] = {WasmEdge_ValType_I32};
    WasmEdge_FunctionTypeContext *HostFType =
    WasmEdge_FunctionTypeCreate(ParamList, 2, ReturnList, 1);
    WasmEdge_FunctionInstanceContext *HostFunc =
    WasmEdge_FunctionInstanceCreate(HostFType, Add, NULL, 0);
    /*
    * The third parameter is the pointer to the additional data object.
    * Developers should guarantee the life cycle of the data, and it can be
    * `NULL` if the external data is not needed.
    */
    WasmEdge_FunctionTypeDelete(HostFType);
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("add");
    WasmEdge_ModuleInstanceAddFunction(HostModCxt, FuncName, HostFunc);
    WasmEdge_StringDelete(FuncName);

    /* Create and add a table instance into the import object. */
    WasmEdge_Limit TableLimit = {
    .HasMax = true, .Shared = false, .Min = 10, .Max = 20};
    WasmEdge_TableTypeContext *HostTType =
    WasmEdge_TableTypeCreate(WasmEdge_RefType_FuncRef, TableLimit);
    WasmEdge_TableInstanceContext *HostTable =
    WasmEdge_TableInstanceCreate(HostTType);
    WasmEdge_TableTypeDelete(HostTType);
    WasmEdge_String TableName = WasmEdge_StringCreateByCString("table");
    WasmEdge_ModuleInstanceAddTable(HostModCxt, TableName, HostTable);
    WasmEdge_StringDelete(TableName);

    /* Create and add a memory instance into the import object. */
    WasmEdge_Limit MemoryLimit = {
    .HasMax = true, .Shared = false, .Min = 1, .Max = 2};
    WasmEdge_MemoryTypeContext *HostMType =
    WasmEdge_MemoryTypeCreate(MemoryLimit);
    WasmEdge_MemoryInstanceContext *HostMemory =
    WasmEdge_MemoryInstanceCreate(HostMType);
    WasmEdge_MemoryTypeDelete(HostMType);
    WasmEdge_String MemoryName = WasmEdge_StringCreateByCString("memory");
    WasmEdge_ModuleInstanceAddMemory(HostModCxt, MemoryName, HostMemory);
    WasmEdge_StringDelete(MemoryName);

    /* Create and add a global instance into the module instance. */
    WasmEdge_GlobalTypeContext *HostGType = WasmEdge_GlobalTypeCreate(
    WasmEdge_ValType_I32, WasmEdge_Mutability_Var);
    WasmEdge_GlobalInstanceContext *HostGlobal =
    WasmEdge_GlobalInstanceCreate(HostGType, WasmEdge_ValueGenI32(666));
    WasmEdge_GlobalTypeDelete(HostGType);
    WasmEdge_String GlobalName = WasmEdge_StringCreateByCString("global");
    WasmEdge_ModuleInstanceAddGlobal(HostModCxt, GlobalName, HostGlobal);
    WasmEdge_StringDelete(GlobalName);

    /*
    * The module instance should be deleted.
    * Developers should __NOT__ destroy the instances added into the module
    * instance contexts.
    */
    WasmEdge_ModuleInstanceDelete(HostModCxt);
  5. Specified module instance

    WasmEdge_ModuleInstanceCreateWASI() API can create and initialize the WASI module instance.

    WasmEdge_ModuleInstanceCreateWasiNN() API can create and initialize the wasi_ephemeral_nn module instance for WASI-NN plugin.

    WasmEdge_ModuleInstanceCreateWasiCryptoCommon() API can create and initialize the wasi_ephemeral_crypto_common module instance for WASI-Crypto plugin.

    WasmEdge_ModuleInstanceCreateWasiCryptoAsymmetricCommon() API can create and initialize the wasi_ephemeral_crypto_asymmetric_common module instance for WASI-Crypto plugin.

    WasmEdge_ModuleInstanceCreateWasiCryptoKx() API can create and initialize the wasi_ephemeral_crypto_kx module instance for WASI-Crypto plugin.

    WasmEdge_ModuleInstanceCreateWasiCryptoSignatures() API can create and initialize the wasi_ephemeral_crypto_signatures module instance for WASI-Crypto plugin.

    WasmEdge_ModuleInstanceCreateWasiCryptoSymmetric() API can create and initialize the wasi_ephemeral_crypto_symmetric module instance for WASI-Crypto plugin.

    WasmEdge_ModuleInstanceCreateWasmEdgeProcess() API can create and initialize the wasmedge_process module instance for wasmedge_process plugin.

    Developers can create these module instance contexts and register them into the Store or VM contexts rather than adjust the settings in the Configure contexts.

    Note: For the WASI-NN plugin, please check that the dependencies and prerequests are satisfied. Note: For the WASI-Crypto plugin, please check that the dependencies and prerequests are satisfied. And the 5 modules are recommended to all be created and registered together.

    WasmEdge_ModuleInstanceContext *WasiModCxt =
    WasmEdge_ModuleInstanceCreateWASI(/* ... ignored */);
    WasmEdge_ModuleInstanceContext *ProcModCxt =
    WasmEdge_ModuleInstanceCreateWasmEdgeProcess(/* ... ignored */);
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);
    /* Register the WASI and WasmEdge_Process into the VM context. */
    WasmEdge_VMRegisterModuleFromImport(VMCxt, WasiModCxt);
    WasmEdge_VMRegisterModuleFromImport(VMCxt, ProcModCxt);
    /* Get the WASI exit code. */
    uint32_t ExitCode = WasmEdge_ModuleInstanceWASIGetExitCode(WasiModCxt);
    /*
    * The `ExitCode` will be EXIT_SUCCESS if the execution has no error.
    * Otherwise, it will return with the related exit code.
    */
    WasmEdge_VMDelete(VMCxt);
    /* The module instances should be deleted. */
    WasmEdge_ModuleInstanceDelete(WasiModCxt);
    WasmEdge_ModuleInstanceDelete(ProcModCxt);
  6. Example

    Assume that a simple WASM from the WAT is as following:

    (module
    (type $t0 (func (param i32 i32) (result i32)))
    (import "extern" "func-add" (func $f-add (type $t0)))
    (func (export "addTwo") (param i32 i32) (result i32)
    local.get 0
    local.get 1
    call $f-add)
    )

    And the test.c is as following:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>

    /* Host function body definition. */
    WasmEdge_Result Add(void *Data,
    const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    int32_t Val1 = WasmEdge_ValueGetI32(In[0]);
    int32_t Val2 = WasmEdge_ValueGetI32(In[1]);
    printf("Host function \"Add\": %d + %d\n", Val1, Val2);
    Out[0] = WasmEdge_ValueGenI32(Val1 + Val2);
    return WasmEdge_Result_Success;
    }

    int main() {
    /* Create the VM context. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The WASM module buffer. */
    uint8_t WASM[] = {/* WASM header */
    0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00,
    /* Type section */
    0x01, 0x07, 0x01,
    /* function type {i32, i32} -> {i32} */
    0x60, 0x02, 0x7F, 0x7F, 0x01, 0x7F,
    /* Import section */
    0x02, 0x13, 0x01,
    /* module name: "extern" */
    0x06, 0x65, 0x78, 0x74, 0x65, 0x72, 0x6E,
    /* extern name: "func-add" */
    0x08, 0x66, 0x75, 0x6E, 0x63, 0x2D, 0x61, 0x64, 0x64,
    /* import desc: func 0 */
    0x00, 0x00,
    /* Function section */
    0x03, 0x02, 0x01, 0x00,
    /* Export section */
    0x07, 0x0A, 0x01,
    /* export name: "addTwo" */
    0x06, 0x61, 0x64, 0x64, 0x54, 0x77, 0x6F,
    /* export desc: func 0 */
    0x00, 0x01,
    /* Code section */
    0x0A, 0x0A, 0x01,
    /* code body */
    0x08, 0x00, 0x20, 0x00, 0x20, 0x01, 0x10, 0x00, 0x0B};

    /* Create the module instance. */
    WasmEdge_String ExportName = WasmEdge_StringCreateByCString("extern");
    WasmEdge_ModuleInstanceContext *HostModCxt =
    WasmEdge_ModuleInstanceCreate(ExportName);
    enum WasmEdge_ValType ParamList[2] = {WasmEdge_ValType_I32,
    WasmEdge_ValType_I32};
    enum WasmEdge_ValType ReturnList[1] = {WasmEdge_ValType_I32};
    WasmEdge_FunctionTypeContext *HostFType =
    WasmEdge_FunctionTypeCreate(ParamList, 2, ReturnList, 1);
    WasmEdge_FunctionInstanceContext *HostFunc =
    WasmEdge_FunctionInstanceCreate(HostFType, Add, NULL, 0);
    WasmEdge_FunctionTypeDelete(HostFType);
    WasmEdge_String HostFuncName = WasmEdge_StringCreateByCString("func-add");
    WasmEdge_ModuleInstanceAddFunction(HostModCxt, HostFuncName, HostFunc);
    WasmEdge_StringDelete(HostFuncName);

    WasmEdge_VMRegisterModuleFromImport(VMCxt, HostModCxt);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[2] = {WasmEdge_ValueGenI32(1234),
    WasmEdge_ValueGenI32(5678)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("addTwo");
    /* Run the WASM function from buffer. */
    WasmEdge_Result Res = WasmEdge_VMRunWasmFromBuffer(
    VMCxt, WASM, sizeof(WASM), FuncName, Params, 2, Returns, 1);

    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Error message: %s\n", WasmEdge_ResultGetMessage(Res));
    }

    /* Resources deallocations. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StringDelete(FuncName);
    WasmEdge_ModuleInstanceDelete(HostModCxt);
    return 0;
    }

    Then you can compile and run: (the result of 1234 + 5678 is 6912)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Host function "Add": 1234 + 5678
    Get the result: 6912
  7. Host Data Example

    Developers can set a external data object to the Function context, and access to the object in the function body. Assume that a simple WASM from the WAT is as following:

    (module
    (type $t0 (func (param i32 i32) (result i32)))
    (import "extern" "func-add" (func $f-add (type $t0)))
    (func (export "addTwo") (param i32 i32) (result i32)
    local.get 0
    local.get 1
    call $f-add)
    )

    And the test.c is as following:

    #include <wasmedge/wasmedge.h>
    #include <stdio.h>

    /* Host function body definition. */
    WasmEdge_Result Add(void *Data,
    const WasmEdge_CallingFrameContext *CallFrameCxt,
    const WasmEdge_Value *In, WasmEdge_Value *Out) {
    int32_t Val1 = WasmEdge_ValueGetI32(In[0]);
    int32_t Val2 = WasmEdge_ValueGetI32(In[1]);
    printf("Host function \"Add\": %d + %d\n", Val1, Val2);
    Out[0] = WasmEdge_ValueGenI32(Val1 + Val2);
    /* Also set the result to the data. */
    int32_t *DataPtr = (int32_t *)Data;
    *DataPtr = Val1 + Val2;
    return WasmEdge_Result_Success;
    }

    int main() {
    /* Create the VM context. */
    WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);

    /* The WASM module buffer. */
    uint8_t WASM[] = {/* WASM header */
    0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00,
    /* Type section */
    0x01, 0x07, 0x01,
    /* function type {i32, i32} -> {i32} */
    0x60, 0x02, 0x7F, 0x7F, 0x01, 0x7F,
    /* Import section */
    0x02, 0x13, 0x01,
    /* module name: "extern" */
    0x06, 0x65, 0x78, 0x74, 0x65, 0x72, 0x6E,
    /* extern name: "func-add" */
    0x08, 0x66, 0x75, 0x6E, 0x63, 0x2D, 0x61, 0x64, 0x64,
    /* import desc: func 0 */
    0x00, 0x00,
    /* Function section */
    0x03, 0x02, 0x01, 0x00,
    /* Export section */
    0x07, 0x0A, 0x01,
    /* export name: "addTwo" */
    0x06, 0x61, 0x64, 0x64, 0x54, 0x77, 0x6F,
    /* export desc: func 0 */
    0x00, 0x01,
    /* Code section */
    0x0A, 0x0A, 0x01,
    /* code body */
    0x08, 0x00, 0x20, 0x00, 0x20, 0x01, 0x10, 0x00, 0x0B};

    /* The external data object: an integer. */
    int32_t Data;

    /* Create the module instance. */
    WasmEdge_String ExportName = WasmEdge_StringCreateByCString("extern");
    WasmEdge_ModuleInstanceContext *HostModCxt =
    WasmEdge_ModuleInstanceCreate(ExportName);
    enum WasmEdge_ValType ParamList[2] = {WasmEdge_ValType_I32,
    WasmEdge_ValType_I32};
    enum WasmEdge_ValType ReturnList[1] = {WasmEdge_ValType_I32};
    WasmEdge_FunctionTypeContext *HostFType =
    WasmEdge_FunctionTypeCreate(ParamList, 2, ReturnList, 1);
    WasmEdge_FunctionInstanceContext *HostFunc =
    WasmEdge_FunctionInstanceCreate(HostFType, Add, &Data, 0);
    WasmEdge_FunctionTypeDelete(HostFType);
    WasmEdge_String HostFuncName = WasmEdge_StringCreateByCString("func-add");
    WasmEdge_ModuleInstanceAddFunction(HostModCxt, HostFuncName, HostFunc);
    WasmEdge_StringDelete(HostFuncName);

    WasmEdge_VMRegisterModuleFromImport(VMCxt, HostModCxt);

    /* The parameters and returns arrays. */
    WasmEdge_Value Params[2] = {WasmEdge_ValueGenI32(1234),
    WasmEdge_ValueGenI32(5678)};
    WasmEdge_Value Returns[1];
    /* Function name. */
    WasmEdge_String FuncName = WasmEdge_StringCreateByCString("addTwo");
    /* Run the WASM function from buffer. */
    WasmEdge_Result Res = WasmEdge_VMRunWasmFromBuffer(
    VMCxt, WASM, sizeof(WASM), FuncName, Params, 2, Returns, 1);

    if (WasmEdge_ResultOK(Res)) {
    printf("Get the result: %d\n", WasmEdge_ValueGetI32(Returns[0]));
    } else {
    printf("Error message: %s\n", WasmEdge_ResultGetMessage(Res));
    }
    printf("Data value: %d\n", Data);

    /* Resources deallocations. */
    WasmEdge_VMDelete(VMCxt);
    WasmEdge_StringDelete(FuncName);
    WasmEdge_ModuleInstanceDelete(HostModCxt);
    return 0;
    }

    Then you can compile and run: (the result of 1234 + 5678 is 6912)

    $ gcc test.c -lwasmedge
    $ ./a.out
    Host function "Add": 1234 + 5678
    Get the result: 6912
    Data value: 6912

WasmEdge AOT Compiler

In this partition, we will introduce the WasmEdge AOT compiler and the options.

WasmEdge runs the WASM files in interpreter mode, and WasmEdge also supports the AOT (ahead-of-time) mode running without modifying any code. The WasmEdge AOT (ahead-of-time) compiler compiles the WASM files for running in AOT mode which is much faster than interpreter mode. Developers can compile the WASM files into the compiled-WASM files in shared library format for universal WASM format for the AOT mode execution.

Compilation Example

Assume that the WASM file fibonacci.wasm from the text format fibonacci.wat is copied into the current directory, and the C file test.c is as following:

#include <wasmedge/wasmedge.h>
#include <stdio.h>
int main() {
/* Create the configure context. */
WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
/* ... Adjust settings in the configure context. */
/* Result. */
WasmEdge_Result Res;

/* Create the compiler context. The configure context can be NULL. */
WasmEdge_CompilerContext *CompilerCxt = WasmEdge_CompilerCreate(ConfCxt);
/* Compile the WASM file with input and output paths. */
Res = WasmEdge_CompilerCompile(CompilerCxt, "fibonacci.wasm",
"fibonacci-aot.wasm");
if (!WasmEdge_ResultOK(Res)) {
printf("Compilation failed: %s\n", WasmEdge_ResultGetMessage(Res));
return 1;
}

WasmEdge_CompilerDelete(CompilerCxt);
WasmEdge_ConfigureDelete(ConfCxt);
return 0;
}

Then you can compile and run (the output file is "fibonacci-aot.wasm"):

$ gcc test.c -lwasmedge
$ ./a.out
[2021-07-02 11:08:08.651] [info] compile start
[2021-07-02 11:08:08.653] [info] verify start
[2021-07-02 11:08:08.653] [info] optimize start
[2021-07-02 11:08:08.670] [info] codegen start
[2021-07-02 11:08:08.706] [info] compile done

Compiler Options

Developers can set options for AOT compilers such as optimization level and output format:

/// AOT compiler optimization level enumeration.
enum WasmEdge_CompilerOptimizationLevel {
/// Disable as many optimizations as possible.
WasmEdge_CompilerOptimizationLevel_O0 = 0,
/// Optimize quickly without destroying debuggability.
WasmEdge_CompilerOptimizationLevel_O1,
/// Optimize for fast execution as much as possible without triggering
/// significant incremental compile time or code size growth.
WasmEdge_CompilerOptimizationLevel_O2,
/// Optimize for fast execution as much as possible.
WasmEdge_CompilerOptimizationLevel_O3,
/// Optimize for small code size as much as possible without triggering
/// significant incremental compile time or execution time slowdowns.
WasmEdge_CompilerOptimizationLevel_Os,
/// Optimize for small code size as much as possible.
WasmEdge_CompilerOptimizationLevel_Oz
};

/// AOT compiler output binary format enumeration.
enum WasmEdge_CompilerOutputFormat {
/// Native dynamic library format.
WasmEdge_CompilerOutputFormat_Native = 0,
/// WebAssembly with AOT compiled codes in custom sections.
WasmEdge_CompilerOutputFormat_Wasm
};

Please refer to the AOT compiler options configuration for details.