wasm_exec_env.h 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #ifndef _WASM_EXEC_ENV_H
  6. #define _WASM_EXEC_ENV_H
  7. #include "bh_assert.h"
  8. #if WASM_ENABLE_INTERP != 0
  9. #include "../interpreter/wasm.h"
  10. #endif
  11. #ifdef __cplusplus
  12. extern "C" {
  13. #endif
  14. struct WASMModuleInstanceCommon;
  15. struct WASMInterpFrame;
  16. #if WASM_ENABLE_THREAD_MGR != 0
  17. typedef struct WASMCluster WASMCluster;
  18. #if WASM_ENABLE_DEBUG_INTERP != 0
  19. typedef struct WASMCurrentEnvStatus WASMCurrentEnvStatus;
  20. #endif
  21. #endif
  22. #ifdef OS_ENABLE_HW_BOUND_CHECK
  23. typedef struct WASMJmpBuf {
  24. struct WASMJmpBuf *prev;
  25. korp_jmpbuf jmpbuf;
  26. } WASMJmpBuf;
  27. #endif
  28. /* Execution environment */
  29. typedef struct WASMExecEnv {
  30. /* Next thread's exec env of a WASM module instance. */
  31. struct WASMExecEnv *next;
  32. /* Previous thread's exec env of a WASM module instance. */
  33. struct WASMExecEnv *prev;
  34. /* Note: field module_inst, argv_buf, native_stack_boundary,
  35. suspend_flags, aux_stack_boundary, aux_stack_bottom, and
  36. native_symbol are used by AOTed code, don't change the
  37. places of them */
  38. /* The WASM module instance of current thread */
  39. struct WASMModuleInstanceCommon *module_inst;
  40. #if WASM_ENABLE_AOT != 0
  41. uint32 *argv_buf;
  42. #endif
  43. /* The boundary of native stack. When runtime detects that native
  44. frame may overrun this boundary, it throws stack overflow
  45. exception. */
  46. uint8 *native_stack_boundary;
  47. /* Used to terminate or suspend current thread
  48. bit 0: need to terminate
  49. bit 1: need to suspend
  50. bit 2: need to go into breakpoint
  51. bit 3: return from pthread_exit */
  52. union {
  53. uint32 flags;
  54. uintptr_t __padding__;
  55. } suspend_flags;
  56. /* Auxiliary stack boundary */
  57. union {
  58. uint32 boundary;
  59. uintptr_t __padding__;
  60. } aux_stack_boundary;
  61. /* Auxiliary stack bottom */
  62. union {
  63. uint32 bottom;
  64. uintptr_t __padding__;
  65. } aux_stack_bottom;
  66. #if WASM_ENABLE_AOT != 0
  67. /* Native symbol list, reserved */
  68. void **native_symbol;
  69. #endif
  70. #if WASM_ENABLE_FAST_JIT != 0
  71. /**
  72. * Cache for
  73. * - jit native operations in 32-bit target which hasn't 64-bit
  74. * int/float registers, mainly for the operations of double and int64,
  75. * such as F64TOI64, F32TOI64, I64 MUL/REM, and so on.
  76. * - SSE instructions.
  77. **/
  78. uint64 jit_cache[2];
  79. #endif
  80. #if WASM_ENABLE_THREAD_MGR != 0
  81. /* thread return value */
  82. void *thread_ret_value;
  83. /* Must be provided by thread library */
  84. void *(*thread_start_routine)(void *);
  85. void *thread_arg;
  86. /* pointer to the cluster */
  87. WASMCluster *cluster;
  88. /* used to support debugger */
  89. korp_mutex wait_lock;
  90. korp_cond wait_cond;
  91. /* the count of threads which are joining current thread */
  92. uint32 wait_count;
  93. /* whether current thread is detached */
  94. bool thread_is_detached;
  95. #endif
  96. #if WASM_ENABLE_DEBUG_INTERP != 0
  97. WASMCurrentEnvStatus *current_status;
  98. #endif
  99. /* attachment for native function */
  100. void *attachment;
  101. void *user_data;
  102. /* Current interpreter frame of current thread */
  103. struct WASMInterpFrame *cur_frame;
  104. /* The native thread handle of current thread */
  105. korp_tid handle;
  106. #if WASM_ENABLE_INTERP != 0 && WASM_ENABLE_FAST_INTERP == 0
  107. BlockAddr block_addr_cache[BLOCK_ADDR_CACHE_SIZE][BLOCK_ADDR_CONFLICT_SIZE];
  108. #endif
  109. #ifdef OS_ENABLE_HW_BOUND_CHECK
  110. WASMJmpBuf *jmpbuf_stack_top;
  111. #endif
  112. #if WASM_ENABLE_MEMORY_PROFILING != 0
  113. uint32 max_wasm_stack_used;
  114. #endif
  115. /* The WASM stack size */
  116. uint32 wasm_stack_size;
  117. /* The WASM stack of current thread */
  118. union {
  119. uint64 __make_it_8_byte_aligned_;
  120. struct {
  121. /* The top boundary of the stack. */
  122. uint8 *top_boundary;
  123. /* Top cell index which is free. */
  124. uint8 *top;
  125. /* The WASM stack. */
  126. uint8 bottom[1];
  127. } s;
  128. } wasm_stack;
  129. } WASMExecEnv;
  130. WASMExecEnv *
  131. wasm_exec_env_create_internal(struct WASMModuleInstanceCommon *module_inst,
  132. uint32 stack_size);
  133. void
  134. wasm_exec_env_destroy_internal(WASMExecEnv *exec_env);
  135. WASMExecEnv *
  136. wasm_exec_env_create(struct WASMModuleInstanceCommon *module_inst,
  137. uint32 stack_size);
  138. void
  139. wasm_exec_env_destroy(WASMExecEnv *exec_env);
  140. /**
  141. * Allocate a WASM frame from the WASM stack.
  142. *
  143. * @param exec_env the current execution environment
  144. * @param size size of the WASM frame, it must be a multiple of 4
  145. *
  146. * @return the WASM frame if there is enough space in the stack area
  147. * with a protection area, NULL otherwise
  148. */
  149. static inline void *
  150. wasm_exec_env_alloc_wasm_frame(WASMExecEnv *exec_env, unsigned size)
  151. {
  152. uint8 *addr = exec_env->wasm_stack.s.top;
  153. bh_assert(!(size & 3));
  154. /* For classic interpreter, the outs area doesn't contain the const cells,
  155. its size cannot be larger than the frame size, so here checking stack
  156. overflow with multiplying by 2 is enough. For fast interpreter, since
  157. the outs area contains const cells, its size may be larger than current
  158. frame size, we should check again before putting the function arguments
  159. into the outs area. */
  160. if (addr + size * 2 > exec_env->wasm_stack.s.top_boundary) {
  161. /* WASM stack overflow. */
  162. return NULL;
  163. }
  164. exec_env->wasm_stack.s.top += size;
  165. #if WASM_ENABLE_MEMORY_PROFILING != 0
  166. {
  167. uint32 wasm_stack_used =
  168. exec_env->wasm_stack.s.top - exec_env->wasm_stack.s.bottom;
  169. if (wasm_stack_used > exec_env->max_wasm_stack_used)
  170. exec_env->max_wasm_stack_used = wasm_stack_used;
  171. }
  172. #endif
  173. return addr;
  174. }
  175. static inline void
  176. wasm_exec_env_free_wasm_frame(WASMExecEnv *exec_env, void *prev_top)
  177. {
  178. bh_assert((uint8 *)prev_top >= exec_env->wasm_stack.s.bottom);
  179. exec_env->wasm_stack.s.top = (uint8 *)prev_top;
  180. }
  181. /**
  182. * Get the current WASM stack top pointer.
  183. *
  184. * @param exec_env the current execution environment
  185. *
  186. * @return the current WASM stack top pointer
  187. */
  188. static inline void *
  189. wasm_exec_env_wasm_stack_top(WASMExecEnv *exec_env)
  190. {
  191. return exec_env->wasm_stack.s.top;
  192. }
  193. /**
  194. * Set the current frame pointer.
  195. *
  196. * @param exec_env the current execution environment
  197. * @param frame the WASM frame to be set for the current exec env
  198. */
  199. static inline void
  200. wasm_exec_env_set_cur_frame(WASMExecEnv *exec_env,
  201. struct WASMInterpFrame *frame)
  202. {
  203. exec_env->cur_frame = frame;
  204. }
  205. /**
  206. * Get the current frame pointer.
  207. *
  208. * @param exec_env the current execution environment
  209. *
  210. * @return the current frame pointer
  211. */
  212. static inline struct WASMInterpFrame *
  213. wasm_exec_env_get_cur_frame(WASMExecEnv *exec_env)
  214. {
  215. return exec_env->cur_frame;
  216. }
  217. struct WASMModuleInstanceCommon *
  218. wasm_exec_env_get_module_inst(WASMExecEnv *exec_env);
  219. void
  220. wasm_exec_env_set_module_inst(
  221. WASMExecEnv *exec_env, struct WASMModuleInstanceCommon *const module_inst);
  222. void
  223. wasm_exec_env_set_thread_info(WASMExecEnv *exec_env);
  224. #if WASM_ENABLE_THREAD_MGR != 0
  225. void *
  226. wasm_exec_env_get_thread_arg(WASMExecEnv *exec_env);
  227. void
  228. wasm_exec_env_set_thread_arg(WASMExecEnv *exec_env, void *thread_arg);
  229. #endif
  230. #ifdef OS_ENABLE_HW_BOUND_CHECK
  231. void
  232. wasm_exec_env_push_jmpbuf(WASMExecEnv *exec_env, WASMJmpBuf *jmpbuf);
  233. WASMJmpBuf *
  234. wasm_exec_env_pop_jmpbuf(WASMExecEnv *exec_env);
  235. #endif
  236. #ifdef __cplusplus
  237. }
  238. #endif
  239. #endif /* end of _WASM_EXEC_ENV_H */