wasm_runtime.h 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #ifndef _WASM_RUNTIME_H
  6. #define _WASM_RUNTIME_H
  7. #include "wasm.h"
  8. #include "bh_atomic.h"
  9. #include "bh_bitmap.h"
  10. #include "bh_hashmap.h"
  11. #include "../common/wasm_runtime_common.h"
  12. #include "../common/wasm_exec_env.h"
  13. #ifdef __cplusplus
  14. extern "C" {
  15. #endif
  16. #define EXCEPTION_BUF_LEN 128
  17. typedef struct WASMModuleInstance WASMModuleInstance;
  18. typedef struct WASMFunctionInstance WASMFunctionInstance;
  19. typedef struct WASMMemoryInstance WASMMemoryInstance;
  20. typedef struct WASMTableInstance WASMTableInstance;
  21. typedef struct WASMGlobalInstance WASMGlobalInstance;
  22. #if WASM_ENABLE_TAGS != 0
  23. typedef struct WASMTagInstance WASMTagInstance;
  24. #endif
  25. /**
  26. * When LLVM JIT, WAMR compiler or AOT is enabled, we should ensure that
  27. * some offsets of the same field in the interpreter module instance and
  28. * aot module instance are the same, so that the LLVM JITed/AOTed code
  29. * can smoothly access the interpreter module instance.
  30. * Same for the memory instance and table instance.
  31. * We use the macro DefPointer to define some related pointer fields.
  32. */
  33. #if (WASM_ENABLE_JIT != 0 || WASM_ENABLE_WAMR_COMPILER != 0 \
  34. || WASM_ENABLE_AOT != 0) \
  35. && UINTPTR_MAX == UINT32_MAX
  36. /* Add u32 padding if LLVM JIT, WAMR compiler or AOT is enabled on
  37. 32-bit platform */
  38. #define DefPointer(type, field) \
  39. type field; \
  40. uint32 field##_padding
  41. #else
  42. #define DefPointer(type, field) type field
  43. #endif
  44. typedef enum WASMExceptionID {
  45. EXCE_UNREACHABLE = 0,
  46. EXCE_OUT_OF_MEMORY,
  47. EXCE_OUT_OF_BOUNDS_MEMORY_ACCESS,
  48. EXCE_INTEGER_OVERFLOW,
  49. EXCE_INTEGER_DIVIDE_BY_ZERO,
  50. EXCE_INVALID_CONVERSION_TO_INTEGER,
  51. EXCE_INVALID_FUNCTION_TYPE_INDEX,
  52. EXCE_INVALID_FUNCTION_INDEX,
  53. EXCE_UNDEFINED_ELEMENT,
  54. EXCE_UNINITIALIZED_ELEMENT,
  55. EXCE_CALL_UNLINKED_IMPORT_FUNC,
  56. EXCE_NATIVE_STACK_OVERFLOW,
  57. EXCE_UNALIGNED_ATOMIC,
  58. EXCE_AUX_STACK_OVERFLOW,
  59. EXCE_AUX_STACK_UNDERFLOW,
  60. EXCE_OUT_OF_BOUNDS_TABLE_ACCESS,
  61. EXCE_OPERAND_STACK_OVERFLOW,
  62. EXCE_FAILED_TO_COMPILE_FAST_JIT_FUNC,
  63. /* GC related exceptions */
  64. EXCE_NULL_FUNC_OBJ,
  65. EXCE_NULL_STRUCT_OBJ,
  66. EXCE_NULL_ARRAY_OBJ,
  67. EXCE_NULL_I31_OBJ,
  68. EXCE_NULL_REFERENCE,
  69. EXCE_FAILED_TO_CREATE_RTT_TYPE,
  70. EXCE_FAILED_TO_CREATE_STRUCT_OBJ,
  71. EXCE_FAILED_TO_CREATE_ARRAY_OBJ,
  72. EXCE_FAILED_TO_CREATE_EXTERNREF_OBJ,
  73. EXCE_CAST_FAILURE,
  74. EXCE_ARRAY_IDX_OOB,
  75. EXCE_FAILED_TO_CREATE_STRING,
  76. EXCE_FAILED_TO_CREATE_STRINGREF,
  77. EXCE_FAILED_TO_CREATE_STRINGVIEW,
  78. EXCE_FAILED_TO_ENCODE_STRING,
  79. EXCE_ALREADY_THROWN,
  80. EXCE_NUM,
  81. } WASMExceptionID;
  82. typedef union {
  83. uint64 u64;
  84. uint32 u32[2];
  85. } MemBound;
  86. typedef struct WASMSharedHeap {
  87. /* The global shared heap list maintained in runtime, used for runtime
  88. * destroy */
  89. DefPointer(struct WASMSharedHeap *, next);
  90. /* The logical shared heap chain the shared heap in */
  91. DefPointer(struct WASMSharedHeap *, chain_next);
  92. /* Will be null if shared heap is created from pre allocated memory chunk
  93. * and don't need to dynamic malloc and free */
  94. DefPointer(void *, heap_handle);
  95. DefPointer(uint8 *, base_addr);
  96. uint64 size;
  97. uint64 start_off_mem64;
  98. uint64 start_off_mem32;
  99. /* The number of wasm apps it attached to, for a shared heap chain, only the
  100. * list head need to maintain the valid attached_count */
  101. uint8 attached_count;
  102. } WASMSharedHeap;
  103. struct WASMMemoryInstance {
  104. /* Module type */
  105. uint32 module_type;
  106. /* Whether the memory is shared */
  107. uint8 is_shared_memory;
  108. /* Whether the memory has 64-bit memory addresses */
  109. uint8 is_memory64;
  110. /* Reference count of the memory instance:
  111. 0: non-shared memory, > 0: shared memory */
  112. bh_atomic_16_t ref_count;
  113. /* Four-byte paddings to ensure the layout of WASMMemoryInstance is the same
  114. * in both 64-bit and 32-bit */
  115. uint8 _paddings[4];
  116. /* Number bytes per page */
  117. uint32 num_bytes_per_page;
  118. /* Current page count */
  119. uint32 cur_page_count;
  120. /* Maximum page count */
  121. uint32 max_page_count;
  122. /* Memory data size */
  123. uint64 memory_data_size;
  124. /**
  125. * Memory data begin address, Note:
  126. * the app-heap might be inserted in to the linear memory,
  127. * when memory is re-allocated, the heap data and memory data
  128. * must be copied to new memory also
  129. */
  130. DefPointer(uint8 *, memory_data);
  131. /* Memory data end address */
  132. DefPointer(uint8 *, memory_data_end);
  133. /* Heap data base address */
  134. DefPointer(uint8 *, heap_data);
  135. /* Heap data end address */
  136. DefPointer(uint8 *, heap_data_end);
  137. /* The heap created */
  138. DefPointer(void *, heap_handle);
  139. /* TODO: use it to replace the g_shared_memory_lock */
  140. DefPointer(korp_mutex *, memory_lock);
  141. #if WASM_ENABLE_FAST_JIT != 0 || WASM_ENABLE_JIT != 0 \
  142. || WASM_ENABLE_WAMR_COMPILER != 0 || WASM_ENABLE_AOT != 0
  143. MemBound mem_bound_check_1byte;
  144. MemBound mem_bound_check_2bytes;
  145. MemBound mem_bound_check_4bytes;
  146. MemBound mem_bound_check_8bytes;
  147. MemBound mem_bound_check_16bytes;
  148. #endif
  149. };
  150. /* WASMTableInstance is used to represent table instance in
  151. * runtime, to compute the table element address with index
  152. * we need to know the element type and the element ref type.
  153. * For pointer type, it's 32-bit or 64-bit, align up to 8 bytes
  154. * to simplify the computation.
  155. * And each struct member should be 4-byte or 8-byte aligned.
  156. */
  157. struct WASMTableInstance {
  158. /* The element type */
  159. uint8 elem_type;
  160. uint8 is_table64;
  161. uint8 __padding__[6];
  162. union {
  163. #if WASM_ENABLE_GC != 0
  164. WASMRefType *elem_ref_type;
  165. #endif
  166. uint64 __padding__;
  167. } elem_ref_type;
  168. /* Current size */
  169. uint32 cur_size;
  170. /* Maximum size */
  171. uint32 max_size;
  172. /* Table elements */
  173. table_elem_type_t elems[1];
  174. };
  175. struct WASMGlobalInstance {
  176. /* value type, VALUE_TYPE_I32/I64/F32/F64 */
  177. uint8 type;
  178. /* mutable or constant */
  179. bool is_mutable;
  180. /* data offset to the address of initial_value, started from the end of
  181. * WASMMemoryInstance(start of WASMGlobalInstance)*/
  182. uint32 data_offset;
  183. /* initial value */
  184. WASMValue initial_value;
  185. #if WASM_ENABLE_GC != 0
  186. WASMRefType *ref_type;
  187. #endif
  188. #if WASM_ENABLE_MULTI_MODULE != 0
  189. /* just for import, keep the reference here */
  190. WASMModuleInstance *import_module_inst;
  191. WASMGlobalInstance *import_global_inst;
  192. #endif
  193. };
  194. struct WASMFunctionInstance {
  195. /* whether it is import function or WASM function */
  196. bool is_import_func;
  197. /* parameter count */
  198. uint16 param_count;
  199. /* local variable count, 0 for import function */
  200. uint16 local_count;
  201. /* cell num of parameters */
  202. uint16 param_cell_num;
  203. /* cell num of return type */
  204. uint16 ret_cell_num;
  205. /* cell num of local variables, 0 for import function */
  206. uint16 local_cell_num;
  207. #if WASM_ENABLE_FAST_INTERP != 0
  208. /* cell num of consts */
  209. uint16 const_cell_num;
  210. #endif
  211. uint16 *local_offsets;
  212. /* parameter types */
  213. uint8 *param_types;
  214. /* local types, NULL for import function */
  215. uint8 *local_types;
  216. union {
  217. WASMFunctionImport *func_import;
  218. WASMFunction *func;
  219. } u;
  220. #if WASM_ENABLE_MULTI_MODULE != 0
  221. WASMModuleInstance *import_module_inst;
  222. WASMFunctionInstance *import_func_inst;
  223. #endif
  224. #if WASM_ENABLE_PERF_PROFILING != 0
  225. /* total execution time */
  226. uint64 total_exec_time;
  227. /* total execution count */
  228. uint32 total_exec_cnt;
  229. /* children execution time */
  230. uint64 children_exec_time;
  231. #endif
  232. };
  233. #if WASM_ENABLE_TAGS != 0
  234. struct WASMTagInstance {
  235. bool is_import_tag;
  236. /* tag attribute */
  237. uint8 attribute;
  238. /* tag type index */
  239. uint32 type;
  240. union {
  241. WASMTagImport *tag_import;
  242. WASMTag *tag;
  243. } u;
  244. #if WASM_ENABLE_MULTI_MODULE != 0
  245. WASMModuleInstance *import_module_inst;
  246. WASMTagInstance *import_tag_inst;
  247. #endif
  248. };
  249. #endif
  250. #if WASM_ENABLE_EXCE_HANDLING != 0
  251. #define INVALID_TAGINDEX ((uint32)0xFFFFFFFF)
  252. #define SET_INVALID_TAGINDEX(tag) (tag = INVALID_TAGINDEX)
  253. #define IS_INVALID_TAGINDEX(tag) ((tag & INVALID_TAGINDEX) == INVALID_TAGINDEX)
  254. #endif
  255. typedef struct WASMExportFuncInstance {
  256. char *name;
  257. WASMFunctionInstance *function;
  258. } WASMExportFuncInstance;
  259. typedef struct WASMExportGlobInstance {
  260. char *name;
  261. WASMGlobalInstance *global;
  262. } WASMExportGlobInstance;
  263. typedef struct WASMExportTabInstance {
  264. char *name;
  265. WASMTableInstance *table;
  266. } WASMExportTabInstance;
  267. typedef struct WASMExportMemInstance {
  268. char *name;
  269. WASMMemoryInstance *memory;
  270. } WASMExportMemInstance;
  271. #if WASM_ENABLE_TAGS != 0
  272. typedef struct WASMExportTagInstance {
  273. char *name;
  274. WASMTagInstance *tag;
  275. } WASMExportTagInstance;
  276. #endif
  277. /* wasm-c-api import function info */
  278. typedef struct CApiFuncImport {
  279. /* host func pointer after linked */
  280. void *func_ptr_linked;
  281. /* whether the host func has env argument */
  282. bool with_env_arg;
  283. /* the env argument of the host func */
  284. void *env_arg;
  285. } CApiFuncImport;
  286. /* The common part of WASMModuleInstanceExtra and AOTModuleInstanceExtra */
  287. typedef struct WASMModuleInstanceExtraCommon {
  288. #if WASM_ENABLE_MODULE_INST_CONTEXT != 0
  289. void *contexts[WASM_MAX_INSTANCE_CONTEXTS];
  290. #endif
  291. #if WASM_CONFIGURABLE_BOUNDS_CHECKS != 0
  292. /* Disable bounds checks or not */
  293. bool disable_bounds_checks;
  294. #endif
  295. #if WASM_ENABLE_BULK_MEMORY != 0
  296. bh_bitmap *data_dropped;
  297. #endif
  298. #if WASM_ENABLE_REF_TYPES != 0
  299. bh_bitmap *elem_dropped;
  300. #endif
  301. #if WASM_ENABLE_GC != 0
  302. /* The gc heap memory pool */
  303. uint8 *gc_heap_pool;
  304. /* The gc heap created */
  305. void *gc_heap_handle;
  306. #endif
  307. } WASMModuleInstanceExtraCommon;
  308. /* Extra info of WASM module instance for interpreter/jit mode */
  309. typedef struct WASMModuleInstanceExtra {
  310. WASMModuleInstanceExtraCommon common;
  311. WASMGlobalInstance *globals;
  312. WASMFunctionInstance *functions;
  313. uint32 global_count;
  314. uint32 function_count;
  315. WASMFunctionInstance *start_function;
  316. WASMFunctionInstance *malloc_function;
  317. WASMFunctionInstance *free_function;
  318. WASMFunctionInstance *retain_function;
  319. RunningMode running_mode;
  320. #if WASM_ENABLE_MULTI_MODULE != 0
  321. bh_list sub_module_inst_list_head;
  322. bh_list *sub_module_inst_list;
  323. /* linked table instances of import table instances */
  324. WASMTableInstance **table_insts_linked;
  325. #endif
  326. #if WASM_ENABLE_TAGS != 0
  327. uint32 tag_count;
  328. uint32 export_tag_count;
  329. WASMTagInstance *tags;
  330. WASMExportTagInstance *export_tags;
  331. void **import_tag_ptrs;
  332. #endif
  333. #if WASM_ENABLE_MEMORY_PROFILING != 0
  334. uint32 max_aux_stack_used;
  335. #endif
  336. #if WASM_ENABLE_SHARED_HEAP != 0
  337. /*
  338. * Adjusted shared heap based addr to simple the calculation
  339. * in the aot code. The value is:
  340. * shared_heap->base_addr - shared_heap->start_off
  341. */
  342. uint8 *shared_heap_base_addr_adj;
  343. MemBound shared_heap_start_off;
  344. MemBound shared_heap_end_off;
  345. WASMSharedHeap *shared_heap;
  346. #endif
  347. #if WASM_ENABLE_DEBUG_INTERP != 0 \
  348. || (WASM_ENABLE_FAST_JIT != 0 && WASM_ENABLE_JIT != 0 \
  349. && WASM_ENABLE_LAZY_JIT != 0)
  350. WASMModuleInstance *next;
  351. #endif
  352. } WASMModuleInstanceExtra;
  353. struct AOTFuncPerfProfInfo;
  354. struct WASMModuleInstance {
  355. /* Module instance type, for module instance loaded from
  356. WASM bytecode binary, this field is Wasm_Module_Bytecode;
  357. for module instance loaded from AOT file, this field is
  358. Wasm_Module_AoT, and this structure should be treated as
  359. AOTModuleInstance structure. */
  360. uint32 module_type;
  361. uint32 memory_count;
  362. DefPointer(WASMMemoryInstance **, memories);
  363. /* global and table info */
  364. uint32 global_data_size;
  365. uint32 table_count;
  366. DefPointer(uint8 *, global_data);
  367. /* For AOTModuleInstance, it denotes `AOTTableInstance *` */
  368. DefPointer(WASMTableInstance **, tables);
  369. /* import func ptrs + llvm jit func ptrs */
  370. DefPointer(void **, func_ptrs);
  371. /* function type indexes */
  372. DefPointer(uint32 *, func_type_indexes);
  373. uint32 export_func_count;
  374. uint32 export_global_count;
  375. uint32 export_memory_count;
  376. uint32 export_table_count;
  377. /* For AOTModuleInstance, it denotes `AOTFunctionInstance *` */
  378. DefPointer(WASMExportFuncInstance *, export_functions);
  379. DefPointer(WASMExportGlobInstance *, export_globals);
  380. DefPointer(WASMExportMemInstance *, export_memories);
  381. DefPointer(WASMExportTabInstance *, export_tables);
  382. /* The exception buffer of wasm interpreter for current thread. */
  383. char cur_exception[EXCEPTION_BUF_LEN];
  384. /* The WASM module or AOT module, for AOTModuleInstance,
  385. it denotes `AOTModule *` */
  386. DefPointer(WASMModule *, module);
  387. DefPointer(WASMExecEnv *, exec_env_singleton);
  388. /* Array of function pointers to import functions,
  389. not available in AOTModuleInstance */
  390. DefPointer(void **, import_func_ptrs);
  391. /* Array of function pointers to fast jit functions,
  392. not available in AOTModuleInstance:
  393. Only when the multi-tier JIT macros are all enabled and the running
  394. mode of current module instance is set to Mode_Fast_JIT, runtime
  395. will allocate new memory for it, otherwise it always points to the
  396. module->fast_jit_func_ptrs */
  397. DefPointer(void **, fast_jit_func_ptrs);
  398. /* The custom data that can be set/get by wasm_{get|set}_custom_data */
  399. DefPointer(void *, custom_data);
  400. /* Stack frames, used in call stack dump and perf profiling */
  401. DefPointer(Vector *, frames);
  402. /* Function performance profiling info list, only available
  403. in AOTModuleInstance */
  404. DefPointer(struct AOTFuncPerfProfInfo *, func_perf_profilings);
  405. DefPointer(CApiFuncImport *, c_api_func_imports);
  406. /* Pointer to the exec env currently used */
  407. DefPointer(WASMExecEnv *, cur_exec_env);
  408. /* WASM/AOT module extra info, for AOTModuleInstance,
  409. it denotes `AOTModuleInstanceExtra *` */
  410. DefPointer(WASMModuleInstanceExtra *, e);
  411. /* Default WASM operand stack size */
  412. uint32 default_wasm_stack_size;
  413. uint32 reserved[7];
  414. /*
  415. * +------------------------------+ <-- memories
  416. * | WASMMemoryInstance[mem_count], mem_count is always 1 for LLVM JIT/AOT
  417. * +------------------------------+ <-- global_data
  418. * | global data
  419. * +------------------------------+ <-- tables
  420. * | WASMTableInstance[table_count]
  421. * +------------------------------+ <-- e
  422. * | WASMModuleInstanceExtra
  423. * +------------------------------+
  424. */
  425. union {
  426. uint64 _make_it_8_byte_aligned_;
  427. WASMMemoryInstance memory_instances[1];
  428. uint8 bytes[1];
  429. } global_table_data;
  430. };
  431. struct WASMInterpFrame;
  432. typedef struct WASMInterpFrame WASMRuntimeFrame;
  433. #if WASM_ENABLE_MULTI_MODULE != 0
  434. typedef struct WASMSubModInstNode {
  435. bh_list_link l;
  436. /* point to a string pool */
  437. const char *module_name;
  438. WASMModuleInstance *module_inst;
  439. } WASMSubModInstNode;
  440. #endif
  441. /**
  442. * Return the code block of a function.
  443. *
  444. * @param func the WASM function instance
  445. *
  446. * @return the code block of the function
  447. */
  448. static inline uint8 *
  449. wasm_get_func_code(WASMFunctionInstance *func)
  450. {
  451. #if WASM_ENABLE_FAST_INTERP == 0
  452. return func->is_import_func ? NULL : func->u.func->code;
  453. #else
  454. return func->is_import_func ? NULL : func->u.func->code_compiled;
  455. #endif
  456. }
  457. /**
  458. * Return the code block end of a function.
  459. *
  460. * @param func the WASM function instance
  461. *
  462. * @return the code block end of the function
  463. */
  464. static inline uint8 *
  465. wasm_get_func_code_end(WASMFunctionInstance *func)
  466. {
  467. #if WASM_ENABLE_FAST_INTERP == 0
  468. return func->is_import_func ? NULL
  469. : func->u.func->code + func->u.func->code_size;
  470. #else
  471. return func->is_import_func
  472. ? NULL
  473. : func->u.func->code_compiled + func->u.func->code_compiled_size;
  474. #endif
  475. }
  476. WASMModule *
  477. wasm_load(uint8 *buf, uint32 size,
  478. #if WASM_ENABLE_MULTI_MODULE != 0
  479. bool main_module,
  480. #endif
  481. const LoadArgs *args, char *error_buf, uint32 error_buf_size);
  482. WASMModule *
  483. wasm_load_from_sections(WASMSection *section_list, char *error_buf,
  484. uint32 error_buf_size);
  485. void
  486. wasm_unload(WASMModule *module);
  487. bool
  488. wasm_resolve_symbols(WASMModule *module);
  489. bool
  490. wasm_resolve_import_func(const WASMModule *module,
  491. WASMFunctionImport *function);
  492. WASMModuleInstance *
  493. wasm_instantiate(WASMModule *module, WASMModuleInstance *parent,
  494. WASMExecEnv *exec_env_main, uint32 stack_size,
  495. uint32 heap_size, uint32 max_memory_pages, char *error_buf,
  496. uint32 error_buf_size);
  497. void
  498. wasm_dump_perf_profiling(const WASMModuleInstance *module_inst);
  499. double
  500. wasm_summarize_wasm_execute_time(const WASMModuleInstance *inst);
  501. double
  502. wasm_get_wasm_func_exec_time(const WASMModuleInstance *inst,
  503. const char *func_name);
  504. void
  505. wasm_deinstantiate(WASMModuleInstance *module_inst, bool is_sub_inst);
  506. bool
  507. wasm_set_running_mode(WASMModuleInstance *module_inst,
  508. RunningMode running_mode);
  509. WASMFunctionInstance *
  510. wasm_lookup_function(const WASMModuleInstance *module_inst, const char *name);
  511. WASMMemoryInstance *
  512. wasm_lookup_memory(const WASMModuleInstance *module_inst, const char *name);
  513. #if WASM_ENABLE_MULTI_MODULE != 0
  514. WASMGlobalInstance *
  515. wasm_lookup_global(const WASMModuleInstance *module_inst, const char *name);
  516. WASMTableInstance *
  517. wasm_lookup_table(const WASMModuleInstance *module_inst, const char *name);
  518. #if WASM_ENABLE_TAGS != 0
  519. WASMTagInstance *
  520. wasm_lookup_tag(const WASMModuleInstance *module_inst, const char *name,
  521. const char *signature);
  522. #endif
  523. #endif
  524. bool
  525. wasm_call_function(WASMExecEnv *exec_env, WASMFunctionInstance *function,
  526. unsigned argc, uint32 argv[]);
  527. void
  528. wasm_set_exception(WASMModuleInstance *module, const char *exception);
  529. void
  530. wasm_set_exception_with_id(WASMModuleInstance *module_inst, uint32 id);
  531. const char *
  532. wasm_get_exception(WASMModuleInstance *module);
  533. /**
  534. * @brief Copy exception in buffer passed as parameter. Thread-safe version of
  535. * `wasm_get_exception()`
  536. * @note Buffer size must be no smaller than EXCEPTION_BUF_LEN
  537. * @return true if exception found
  538. */
  539. bool
  540. wasm_copy_exception(WASMModuleInstance *module_inst, char *exception_buf);
  541. uint64
  542. wasm_module_malloc_internal(WASMModuleInstance *module_inst,
  543. WASMExecEnv *exec_env, uint64 size,
  544. void **p_native_addr);
  545. uint64
  546. wasm_module_realloc_internal(WASMModuleInstance *module_inst,
  547. WASMExecEnv *exec_env, uint64 ptr, uint64 size,
  548. void **p_native_addr);
  549. void
  550. wasm_module_free_internal(WASMModuleInstance *module_inst,
  551. WASMExecEnv *exec_env, uint64 ptr);
  552. uint64
  553. wasm_module_malloc(WASMModuleInstance *module_inst, uint64 size,
  554. void **p_native_addr);
  555. uint64
  556. wasm_module_realloc(WASMModuleInstance *module_inst, uint64 ptr, uint64 size,
  557. void **p_native_addr);
  558. void
  559. wasm_module_free(WASMModuleInstance *module_inst, uint64 ptr);
  560. uint64
  561. wasm_module_dup_data(WASMModuleInstance *module_inst, const char *src,
  562. uint64 size);
  563. /**
  564. * Check whether the app address and the buf is inside the linear memory,
  565. * and convert the app address into native address
  566. */
  567. bool
  568. wasm_check_app_addr_and_convert(WASMModuleInstance *module_inst, bool is_str,
  569. uint64 app_buf_addr, uint64 app_buf_size,
  570. void **p_native_addr);
  571. WASMMemoryInstance *
  572. wasm_get_default_memory(WASMModuleInstance *module_inst);
  573. WASMMemoryInstance *
  574. wasm_get_memory_with_idx(WASMModuleInstance *module_inst, uint32 index);
  575. bool
  576. wasm_enlarge_memory(WASMModuleInstance *module_inst, uint32 inc_page_count);
  577. bool
  578. wasm_enlarge_memory_with_idx(WASMModuleInstance *module_inst,
  579. uint32 inc_page_count, uint32 memidx);
  580. bool
  581. wasm_call_indirect(WASMExecEnv *exec_env, uint32 tbl_idx, uint32 elem_idx,
  582. uint32 argc, uint32 argv[]);
  583. #if WASM_ENABLE_THREAD_MGR != 0
  584. bool
  585. wasm_set_aux_stack(WASMExecEnv *exec_env, uint64 start_offset, uint32 size);
  586. bool
  587. wasm_get_aux_stack(WASMExecEnv *exec_env, uint64 *start_offset, uint32 *size);
  588. #endif
  589. void
  590. wasm_get_module_mem_consumption(const WASMModule *module,
  591. WASMModuleMemConsumption *mem_conspn);
  592. void
  593. wasm_get_module_inst_mem_consumption(const WASMModuleInstance *module,
  594. WASMModuleInstMemConsumption *mem_conspn);
  595. #if WASM_ENABLE_REF_TYPES != 0 || WASM_ENABLE_GC != 0
  596. static inline bool
  597. wasm_elem_is_active(uint32 mode)
  598. {
  599. return (mode & 0x1) == 0x0;
  600. }
  601. static inline bool
  602. wasm_elem_is_passive(uint32 mode)
  603. {
  604. return (mode & 0x1) == 0x1;
  605. }
  606. static inline bool
  607. wasm_elem_is_declarative(uint32 mode)
  608. {
  609. return (mode & 0x3) == 0x3;
  610. }
  611. bool
  612. wasm_enlarge_table(WASMModuleInstance *module_inst, uint32 table_idx,
  613. uint32 inc_entries, table_elem_type_t init_val);
  614. #endif /* WASM_ENABLE_REF_TYPES != 0 || WASM_ENABLE_GC != 0 */
  615. #if WASM_ENABLE_GC != 0
  616. void *
  617. wasm_create_func_obj(WASMModuleInstance *module_inst, uint32 func_idx,
  618. bool throw_exce, char *error_buf, uint32 error_buf_size);
  619. bool
  620. wasm_traverse_gc_rootset(WASMExecEnv *exec_env, void *heap);
  621. #endif
  622. static inline WASMTableInstance *
  623. wasm_get_table_inst(const WASMModuleInstance *module_inst, uint32 tbl_idx)
  624. {
  625. /* careful, it might be a table in another module */
  626. WASMTableInstance *tbl_inst = module_inst->tables[tbl_idx];
  627. #if WASM_ENABLE_MULTI_MODULE != 0
  628. if (tbl_idx < module_inst->module->import_table_count
  629. && module_inst->e->table_insts_linked[tbl_idx]) {
  630. tbl_inst = module_inst->e->table_insts_linked[tbl_idx];
  631. }
  632. #endif
  633. bh_assert(tbl_inst);
  634. return tbl_inst;
  635. }
  636. #if WASM_ENABLE_DUMP_CALL_STACK != 0
  637. #if WASM_ENABLE_COPY_CALL_STACK != 0
  638. uint32
  639. wasm_interp_copy_callstack(WASMExecEnv *exec_env, WASMCApiFrame *buffer,
  640. uint32 length, uint32 skip_n, char *error_buf,
  641. uint32_t error_buf_size);
  642. #endif // WASM_ENABLE_COPY_CALL_STACK
  643. bool
  644. wasm_interp_create_call_stack(struct WASMExecEnv *exec_env);
  645. /**
  646. * @brief Dump wasm call stack or get the size
  647. *
  648. * @param exec_env the execution environment
  649. * @param print whether to print to stdout or not
  650. * @param buf buffer to store the dumped content
  651. * @param len length of the buffer
  652. *
  653. * @return when print is true, return the bytes printed out to stdout; when
  654. * print is false and buf is NULL, return the size required to store the
  655. * callstack content; when print is false and buf is not NULL, return the size
  656. * dumped to the buffer, 0 means error and data in buf may be invalid
  657. */
  658. uint32
  659. wasm_interp_dump_call_stack(struct WASMExecEnv *exec_env, bool print, char *buf,
  660. uint32 len);
  661. #endif
  662. const uint8 *
  663. wasm_loader_get_custom_section(WASMModule *module, const char *name,
  664. uint32 *len);
  665. #if WASM_ENABLE_FAST_JIT != 0 || WASM_ENABLE_JIT != 0 \
  666. || WASM_ENABLE_WAMR_COMPILER != 0
  667. void
  668. jit_set_exception_with_id(WASMModuleInstance *module_inst, uint32 id);
  669. /**
  670. * Check whether the app address and the buf is inside the linear memory,
  671. * and convert the app address into native address
  672. */
  673. bool
  674. jit_check_app_addr_and_convert(WASMModuleInstance *module_inst, bool is_str,
  675. uint64 app_buf_addr, uint64 app_buf_size,
  676. void **p_native_addr);
  677. #endif /* end of WASM_ENABLE_FAST_JIT != 0 || WASM_ENABLE_JIT != 0 \
  678. || WASM_ENABLE_WAMR_COMPILER != 0 */
  679. #if WASM_ENABLE_FAST_JIT != 0
  680. bool
  681. fast_jit_call_indirect(WASMExecEnv *exec_env, uint32 tbl_idx, uint32 elem_idx,
  682. uint32 type_idx, uint32 argc, uint32 *argv);
  683. bool
  684. fast_jit_invoke_native(WASMExecEnv *exec_env, uint32 func_idx,
  685. struct WASMInterpFrame *prev_frame);
  686. #endif
  687. #if WASM_ENABLE_JIT != 0 || WASM_ENABLE_WAMR_COMPILER != 0
  688. bool
  689. llvm_jit_call_indirect(WASMExecEnv *exec_env, uint32 tbl_idx, uint32 elem_idx,
  690. uint32 argc, uint32 *argv);
  691. bool
  692. llvm_jit_invoke_native(WASMExecEnv *exec_env, uint32 func_idx, uint32 argc,
  693. uint32 *argv);
  694. #if WASM_ENABLE_BULK_MEMORY != 0
  695. bool
  696. llvm_jit_memory_init(WASMModuleInstance *module_inst, uint32 seg_index,
  697. uint32 offset, uint32 len, size_t dst);
  698. bool
  699. llvm_jit_data_drop(WASMModuleInstance *module_inst, uint32 seg_index);
  700. #endif
  701. #if WASM_ENABLE_REF_TYPES != 0
  702. void
  703. llvm_jit_drop_table_seg(WASMModuleInstance *module_inst, uint32 tbl_seg_idx);
  704. void
  705. llvm_jit_table_init(WASMModuleInstance *module_inst, uint32 tbl_idx,
  706. uint32 tbl_seg_idx, uint32 length, uint32 src_offset,
  707. uint32 dst_offset);
  708. void
  709. llvm_jit_table_copy(WASMModuleInstance *module_inst, uint32 src_tbl_idx,
  710. uint32 dst_tbl_idx, uint32 length, uint32 src_offset,
  711. uint32 dst_offset);
  712. void
  713. llvm_jit_table_fill(WASMModuleInstance *module_inst, uint32 tbl_idx,
  714. uint32 length, uintptr_t val, uint32 data_offset);
  715. uint32
  716. llvm_jit_table_grow(WASMModuleInstance *module_inst, uint32 tbl_idx,
  717. uint32 inc_entries, uintptr_t init_val);
  718. #endif
  719. #if WASM_ENABLE_DUMP_CALL_STACK != 0 || WASM_ENABLE_PERF_PROFILING != 0 \
  720. || WASM_ENABLE_AOT_STACK_FRAME != 0
  721. bool
  722. llvm_jit_alloc_frame(WASMExecEnv *exec_env, uint32 func_index);
  723. void
  724. llvm_jit_free_frame(WASMExecEnv *exec_env);
  725. void
  726. llvm_jit_frame_update_profile_info(WASMExecEnv *exec_env, bool alloc_frame);
  727. #endif
  728. #if WASM_ENABLE_GC != 0
  729. void *
  730. llvm_jit_create_func_obj(WASMModuleInstance *module_inst, uint32 func_idx,
  731. bool throw_exce, char *error_buf,
  732. uint32 error_buf_size);
  733. bool
  734. llvm_jit_obj_is_instance_of(WASMModuleInstance *module_inst,
  735. WASMObjectRef gc_obj, uint32 type_index);
  736. /* Whether func type1 is one of super types of func type2 */
  737. bool
  738. llvm_jit_func_type_is_super_of(WASMModuleInstance *module_inst,
  739. uint32 type_idx1, uint32 type_idx2);
  740. WASMRttTypeRef
  741. llvm_jit_rtt_type_new(WASMModuleInstance *module_inst, uint32 type_index);
  742. bool
  743. llvm_array_init_with_data(WASMModuleInstance *module_inst, uint32 seg_index,
  744. uint32 data_seg_offset, WASMArrayObjectRef array_obj,
  745. uint32 elem_size, uint32 array_len);
  746. #endif
  747. #endif /* end of WASM_ENABLE_JIT != 0 || WASM_ENABLE_WAMR_COMPILER != 0 */
  748. #if WASM_ENABLE_LIBC_WASI != 0 && WASM_ENABLE_MULTI_MODULE != 0
  749. void
  750. wasm_propagate_wasi_args(WASMModule *module);
  751. #endif
  752. #if WASM_ENABLE_THREAD_MGR != 0
  753. void
  754. exception_lock(WASMModuleInstance *module_inst);
  755. void
  756. exception_unlock(WASMModuleInstance *module_inst);
  757. #else
  758. #define exception_lock(module_inst) (void)(module_inst)
  759. #define exception_unlock(module_inst) (void)(module_inst)
  760. #endif
  761. bool
  762. wasm_check_utf8_str(const uint8 *str, uint32 len);
  763. char *
  764. wasm_const_str_list_insert(const uint8 *str, uint32 len, WASMModule *module,
  765. bool is_load_from_file_buf, char *error_buf,
  766. uint32 error_buf_size);
  767. bool
  768. wasm_set_module_name(WASMModule *module, const char *name, char *error_buf,
  769. uint32_t error_buf_size);
  770. const char *
  771. wasm_get_module_name(WASMModule *module);
  772. #ifdef __cplusplus
  773. }
  774. #endif
  775. #endif /* end of _WASM_RUNTIME_H */