WasmEdge 0.9.1 C API Documentation
WasmEdge C API denotes an interface to access the WasmEdge runtime at version 0.9.1
. The followings are the guides to working with the C APIs of WasmEdge.
Developers can refer here to upgrade to 0.10.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.9.1
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.
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;
}
Compile the file with
gcc
orclang
.gcc test.c -lwasmedge_c
Run and get the expected output.
$ ./a.out
WasmEdge version: 0.9.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.
Value Types
In WasmEdge, developers should convert the values to WasmEdge_Value
objects through APIs for matching to the WASM value types.
Number types:
i32
,i64
,f32
,f64
, andv128
for theSIMD
proposalWasmEdge_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" */
Reference types:
funcref
andexternref
for theReference-Types
proposalWasmEdge_Value Val;
void *Ptr;
bool IsNull;
uint32_t Num = 10;
/* Genreate 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`. */
/* Genreate a funcref with function index 20. */
Val = WasmEdge_ValueGenFuncRef(20);
uint32_t FuncIdx = WasmEdge_ValueGetFuncIdx(Val);
/* The `FuncIdx` will be 20. */
/* Genreate 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.
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);
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()`. */
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);
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". */
Contexts
The objects, such as VM
, Store
, and Function
, are composed of Context
s. 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.
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;
/// 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 theMin
value. The APIWasmEdge_LimitIsEqual()
is provided to compare with 2WasmEdge_Limit
structs.Function type context
The
Function Type
context is used for theFunction
creation, checking the value types of aFunction
instance, or getting the function type with function name from VM. Developers can use theFunction 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);
Table type context
The
Table Type
context is used forTable
instance creation or getting information fromTable
instances.WasmEdge_Limit TabLim = {.HasMax = true, .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);
Memory type context
The
Memory Type
context is used forMemory
instance creation or getting information fromMemory
instances.WasmEdge_Limit MemLim = {.HasMax = true, .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)
Global type context
The
Global Type
context is used forGlobal
instance creation or getting information fromGlobal
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);
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
, orglobal
), import module name, and external name from anImport Type
context. The details about queryingImport 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. */
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
, orglobal
) and external name from anExport Type
context. The details about queryingExport 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.
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
thourgh theWasmEdge_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);
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 return0
. 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 theWasmEdge_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.
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_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
*/
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);
Host registrations
This configuration is used for the
VM
context to turn on theWASI
orwasmedge_process
supports and only effective inVM
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);
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
andVM
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);
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);
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
, andExecutor
contexts.WasmEdge_ConfigureContext *ConfCxt = WasmEdge_ConfigureCreate();
/* By default, the intruction 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.
Instruction counter
The instruction counter can help developers to profile the performance of WASM running. Developers can retrieve the
Statistics
context from theVM
context, or create a new one for theExecutor
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);
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 thecost 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);
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 fibonacci.wasm, and the corresponding WAT file is at fibonacci.wat.
(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)))
)
)
)
)
Run WASM functions rapidly
Assume that the WASM file fibonacci.wasm 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 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_c
$ ./a.out
Get the result: 8
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_c
$ ./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 beInited
when created. After loading WASM successfully, the status will beLoaded
. After validating WASM successfully, the status will beValidated
. After instantiating WASM successfully, the status will beInstantiated
, and developers can invoke functions. Developers can register WASM or import objects 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 theInstantiated
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.
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 import objects from the VM context. */
/* This API will return `NULL` if the corresponding pre-registration is not set into the configuration. */
WasmEdge_ImportObjectContext *WasiObject =
WasmEdge_VMGetImportModuleContext(VMCxt, WasmEdge_HostRegistration_Wasi);
/* Initialize the WASI. */
WasmEdge_ImportObjectInitWASI(WasiObject, /* ... ignored */ );
WasmEdge_VMDelete(VMCxt);
WasmEdge_ConfigureDelete(ConfCxt);
And also can create the WASI import object from API. The details will be introduced in the Host Functions and the Host Module Registrations.
-
This pre-registration is for the process interface for WasmEdge on
Rust
sources. After turning on this pre-registration, the VM will support thewasmedge_process
host functions.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 import objects from the VM context. */
/* This API will return `NULL` if the corresponding pre-registration is not set into the configuration. */
WasmEdge_ImportObjectContext *ProcObject =
WasmEdge_VMGetImportModuleContext(VMCxt, WasmEdge_HostRegistration_WasmEdge_Process);
/* Initialize the WasmEdge_Process. */
WasmEdge_ImportObjectInitWasmEdgeProcess(ProcObject, /* ... ignored */ );
WasmEdge_VMDelete(VMCxt);
WasmEdge_ConfigureDelete(ConfCxt);
And also can create the WasmEdge_Process import object 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_ImportObjectContext
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_ImportObjectContext *WasiObject =
WasmEdge_ImportObjectCreateWASI( /* ... ignored ... */ );
/* You can also create and register the WASI host modules by this API. */
WasmEdge_Result Res = WasmEdge_VMRegisterModuleFromImport(VMCxt, WasiObject);
/* The result status should be checked. */
WasmEdge_ImportObjectDelete(WasiObject);
/* The created import objects should be deleted. */
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.
Register the WASM modules with exported module names
Unless the import objects have already contained the module names, every WASM module should be named uniquely when registering. Assume that the WASM file fibonacci.wasm 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);
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_c
$ ./a.out
Get the result: 10946
Asynchronous Execution
Asynchronously run WASM functions rapidly
Assume that the WASM file fibonacci.wasm 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_c
$ ./a.out
Get the result: 10946
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_c
$ ./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.
Store
If the
VM
context is created without assigning aStore
context, theVM
context will allocate and own aStore
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 aStore
context. In this case, developers should guarantee the life cycle of theStore
context. Please refer to the Store Contexts for the details about theStore
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);
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 is copied into the current directory, and the C filetest.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.
*/
}
return 0;
}
Then you can compile and run: (the only exported function in
fibonacci.wasm
isfib
)$ gcc test.c -lwasmedge_c
$ ./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 theVM
context and refer to the APIs of Store Contexts to list the registered functions by the module name.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);
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 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 WASM runtime structure core. */
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. */
Res = WasmEdge_ExecutorInstantiate(ExecCxt, 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_StoreListFunctionLength(StoreCxt);
/* 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_StoreListFunction(StoreCxt, 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");
/* Invoke the WASM fnction. */
Res = WasmEdge_ExecutorInvoke(ExecCxt, StoreCxt, 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_StringDelete(FuncName);
WasmEdge_ASTModuleDelete(ASTCxt);
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_c
$ ./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.
Register modules
As the same of registering host modules or importing WASM modules in
VM
context, developers can registerImport Object
orAST module
contexts into theStore
context by theExecutor
APIs. For the details of import objects, 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 WASM runtime structure core. */
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
/* Result. */
WasmEdge_Result Res;
/* Register the WASM module into store with the export module name "mod". */
WasmEdge_String ModName = WasmEdge_StringCreateByCString("mod");
Res = WasmEdge_ExecutorRegisterModule(ExecCxt, StoreCxt, ASTCxt, ModName);
if (!WasmEdge_ResultOK(Res)) {
printf("WASM registration failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
WasmEdge_StringDelete(ModName);
/*
* Assume that the `ImpCxt` is the import object context for host functions.
*/
WasmEdge_ImportObjectContext *ImpCxt = ...;
/* The import module context has already contained the export module name. */
Res = WasmEdge_ExecutorRegisterImport(ExecCxt, StoreCxt, ImpCxt);
if (!WasmEdge_ResultOK(Res)) {
printf("Import object registration failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
WasmEdge_ImportObjectDelete(ImpCxt);
WasmEdge_ExecutorDelete(ExecCxt);
WasmEdge_StatisticsDelete(StatCxt);
WasmEdge_StoreDelete(StoreCxt);
Instantiate modules
WASM or compiled-WASM modules should be instantiated before the function invocation. Note that developers can only instantiate one module into the
Store
context, and in that case, the old instantiated module will be cleaned. Before instantiating a WASM module, please check the import section for ensuring the imports are registered into theStore
context./*
* ...
* 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 WASM runtime structure core. */
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
/* Instantiate the WASM module. */
WasmEdge_Result Res = WasmEdge_ExecutorInstantiate(ExecCxt, StoreCxt, ASTCxt);
if (!WasmEdge_ResultOK(Res)) {
printf("WASM instantiation failed: %s\n", WasmEdge_ResultGetMessage(Res));
}
WasmEdge_ExecutorDelete(ExecCxt);
WasmEdge_StatisticsDelete(StatCxt);
WasmEdge_StoreDelete(StoreCxt);
Invoke functions
As the same as function invocation via the
VM
context, developers can invoke the functions of the instantiated or registered modules. The APIs,WasmEdge_ExecutorInvoke()
andWasmEdge_ExecutorInvokeRegistered()
, are similar as the APIs of theVM
context. Please refer to the VM context workflows for details.
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 instances of Function
s, Table
s, Memory
s, and Global
s that have been allocated during the lifetime of the abstract machine. The Store
context in WasmEdge provides APIs to list the exported instances with their names or find the instances by exported names. For adding instances into Store
contexts, please instantiate or register WASM modules or Import Object
contexts via the Executor
context.
List instances
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
/* ... Instantiate a WASM module via the executor context. */
...
/* Try to list the exported functions of the instantiated WASM module. */
/* Take the function instances for example here. */
uint32_t FuncNum = WasmEdge_StoreListFunctionLength(StoreCxt);
/* 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_StoreListFunction(StoreCxt, 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. */
}
Developers can list the function instance exported names of the registered modules via the
WasmEdge_StoreListFunctionRegisteredLength()
and theWasmEdge_StoreListFunctionRegistered()
APIs with the module name.Find instances
WasmEdge_StoreContext *StoreCxt = WasmEdge_StoreCreate();
/* ... Instantiate a WASM module via the executor context. */
...
/* 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_StoreFindFunction(StoreCxt, FuncName);
/* `FuncCxt` will be `NULL` if the function not found. */
/* The returned instance is owned by the store context and should __NOT__ be destroyed. */
WasmEdge_StringDelete(FuncName);
Developers can retrieve the exported function instances of the registered modules via the
WasmEdge_StoreFindFunctionRegistered()
API with the module name.List registered modules
With the module names, developers can list the exported instances of the registered modules with their names.
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. */
}
Instances
The instances are the runtime structures of WASM. Developers can retrieve the instances from the Store
contexts. The Store
contexts will allocate instances when a WASM module or Import Object
is registered or instantiated through the Executor
. A single instance can be allocated by its creation function. Developers can construct instances into an Import Object
for registration. Please refer to the Host Functions for details. The instances created by their creation functions should be destroyed, EXCEPT they are added into an Import Object
context.
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 anImport Object
context for registering into aVM
or aStore
. For both host functions and the functions get fromStore
, developers can retrieve theFunction Type
from theFunction
contexts. For the details of theHost Function
guide, please refer to the next chapter./* Retrieve the function instance from the store context. */
WasmEdge_FunctionInstanceContext *FuncCxt = ...;
WasmEdge_FunctionTypeContext *FuncTypeCxt = WasmEdge_FunctionInstanceGetFunctionType(FuncCxt);
/* The `FuncTypeCxt` is owned by the `FuncCxt` and should __NOT__ be destroyed. */
Table instance
In WasmEdge, developers can create the
Table
contexts and add them into anImport Object
context for registering into aVM
or aStore
. TheTable
contexts supply APIs to control the data in table instances.WasmEdge_Limit TabLimit = {.HasMax = true, .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);
Memory instance
In WasmEdge, developers can create the
Memory
contexts and add them into anImport Object
context for registering into aVM
or aStore
. TheMemory
contexts supply APIs to control the data in memory instances.WasmEdge_Limit MemLimit = {.HasMax = true, .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);
Global instance
In WasmEdge, developers can create the
Global
contexts and add them into anImport Object
context for registering into aVM
or aStore
. TheGlobal
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 Import Object
context for registering into a VM
or a Store
.
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,
WasmEdge_MemoryInstanceContext *MemCxt,
const WasmEdge_Value *Params,
WasmEdge_Value *Returns);
The example of an
add
host function to add 2i32
values:WasmEdge_Result Add(void *, WasmEdge_MemoryInstanceContext *,
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 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}. */
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.
*/
/* If the function instance is not added into an import object context, it should be deleted. */
WasmEdge_FunctionInstanceDelete(HostFunc);
Import object context
The
Import Object
context holds an exporting module name and the instances. Developers can add theFunction
,Memory
,Table
, andGlobal
instances with their exporting names./* Host function body definition. */
WasmEdge_Result Add(void *Data, WasmEdge_MemoryInstanceContext *MemCxt,
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 the import object. */
WasmEdge_String ExportName = WasmEdge_StringCreateByCString("module");
WasmEdge_ImportObjectContext *ImpObj = WasmEdge_ImportObjectCreate(ExportName);
WasmEdge_StringDelete(ExportName);
/* Create and add a function instance into the import object. */
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_ImportObjectAddFunction(ImpObj, FuncName, HostFunc);
WasmEdge_StringDelete(FuncName);
/* Create and add a table instance into the import object. */
WasmEdge_Limit TableLimit = {.HasMax = true, .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_ImportObjectAddTable(ImpObj, TableName, HostTable);
WasmEdge_StringDelete(TableName);
/* Create and add a memory instance into the import object. */
WasmEdge_Limit MemoryLimit = {.HasMax = true, .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_ImportObjectAddMemory(ImpObj, MemoryName, HostMemory);
WasmEdge_StringDelete(MemoryName);
/* Create and add a global instance into the import object. */
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_ImportObjectAddGlobal(ImpObj, GlobalName, HostGlobal);
WasmEdge_StringDelete(GlobalName);
/*
* The import objects should be deleted.
* Developers should __NOT__ destroy the instances added into the import object contexts.
*/
WasmEdge_ImportObjectDelete(ImpObj);
Specified import object
WasmEdge_ImportObjectCreateWASI()
API can create and initialize theWASI
import object.WasmEdge_ImportObjectCreateWasmEdgeProcess()
API can create and initialize thewasmedge_process
import object. Developers can create these import object contexts and register them into theStore
orVM
contexts rather than adjust the settings in theConfigure
contexts.WasmEdge_ImportObjectContext *WasiObj = WasmEdge_ImportObjectCreateWASI( /* ... ignored */ );
WasmEdge_ImportObjectContext *ProcObj = WasmEdge_ImportObjectCreateWasmEdgeProcess( /* ... ignored */ );
WasmEdge_VMContext *VMCxt = WasmEdge_VMCreate(NULL, NULL);
/* Register the WASI and WasmEdge_Process into the VM context. */
WasmEdge_VMRegisterModuleFromImport(VMCxt, WasiObj);
WasmEdge_VMRegisterModuleFromImport(VMCxt, ProcObj);
/* Get the WASI exit code. */
uint32_t ExitCode = WasmEdge_ImportObjectWASIGetExitCode(WasiObj);
/*
* 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 import objects should be deleted. */
WasmEdge_ImportObjectDelete(WasiObj);
WasmEdge_ImportObjectDelete(ProcObj);
Example
Assume that a simple WASM from the WAT 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
as following:#include <wasmedge/wasmedge.h>
#include <stdio.h>
/* Host function body definition. */
WasmEdge_Result Add(void *Data, WasmEdge_MemoryInstanceContext *MemCxt,
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 import object. */
WasmEdge_String ExportName = WasmEdge_StringCreateByCString("extern");
WasmEdge_ImportObjectContext *ImpObj = WasmEdge_ImportObjectCreate(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_ImportObjectAddFunction(ImpObj, HostFuncName, HostFunc);
WasmEdge_StringDelete(HostFuncName);
WasmEdge_VMRegisterModuleFromImport(VMCxt, ImpObj);
/* 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 file. */
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_ImportObjectDelete(ImpObj);
return 0;
}
Then you can compile and run: (the result of 1234 + 5678 is 6912)
$ gcc test.c -lwasmedge_c
$ ./a.out
Host function "Add": 1234 + 5678
Get the result: 6912
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 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
as following:#include <wasmedge/wasmedge.h>
#include <stdio.h>
/* Host function body definition. */
WasmEdge_Result Add(void *Data, WasmEdge_MemoryInstanceContext *MemCxt,
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 import object. */
WasmEdge_String ExportName = WasmEdge_StringCreateByCString("extern");
WasmEdge_ImportObjectContext *ImpObj = WasmEdge_ImportObjectCreate(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_ImportObjectAddFunction(ImpObj, HostFuncName, HostFunc);
WasmEdge_StringDelete(HostFuncName);
WasmEdge_VMRegisterModuleFromImport(VMCxt, ImpObj);
/* 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 file. */
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_ImportObjectDelete(ImpObj);
return 0;
}
Then you can compile and run: (the result of 1234 + 5678 is 6912)
$ gcc test.c -lwasmedge_c
$ ./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 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.wasm.so");
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.wasm.so”):
$ gcc test.c -lwasmedge_c
$ ./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.