wasm_native.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #include "wasm_native.h"
  6. #include "wasm_runtime_common.h"
  7. #include "bh_log.h"
  8. #if !defined(BH_PLATFORM_ZEPHYR) && !defined(BH_PLATFORM_ALIOS_THINGS) \
  9. && !defined(BH_PLATFORM_OPENRTOS) && !defined(BH_PLATFORM_ESP_IDF)
  10. #define ENABLE_QUICKSORT 1
  11. #else
  12. #define ENABLE_QUICKSORT 0
  13. #endif
  14. #define ENABLE_SORT_DEBUG 0
  15. #if ENABLE_SORT_DEBUG != 0
  16. #include <sys/time.h>
  17. #endif
  18. static NativeSymbolsList g_native_symbols_list = NULL;
  19. uint32
  20. get_libc_builtin_export_apis(NativeSymbol **p_libc_builtin_apis);
  21. #if WASM_ENABLE_SPEC_TEST != 0
  22. uint32
  23. get_spectest_export_apis(NativeSymbol **p_libc_builtin_apis);
  24. #endif
  25. uint32
  26. get_libc_wasi_export_apis(NativeSymbol **p_libc_wasi_apis);
  27. uint32
  28. get_base_lib_export_apis(NativeSymbol **p_base_lib_apis);
  29. uint32
  30. get_ext_lib_export_apis(NativeSymbol **p_ext_lib_apis);
  31. #if WASM_ENABLE_LIB_PTHREAD != 0
  32. bool
  33. lib_pthread_init();
  34. void
  35. lib_pthread_destroy();
  36. uint32
  37. get_lib_pthread_export_apis(NativeSymbol **p_lib_pthread_apis);
  38. #endif
  39. uint32
  40. get_libc_emcc_export_apis(NativeSymbol **p_libc_emcc_apis);
  41. static bool
  42. compare_type_with_signautre(uint8 type, const char signature)
  43. {
  44. const char num_sig_map[] = { 'F', 'f', 'I', 'i' };
  45. if (VALUE_TYPE_F64 <= type && type <= VALUE_TYPE_I32
  46. && signature == num_sig_map[type - VALUE_TYPE_F64]) {
  47. return true;
  48. }
  49. #if WASM_ENABLE_REF_TYPES != 0
  50. if ('r' == signature && type == VALUE_TYPE_EXTERNREF)
  51. return true;
  52. #endif
  53. /* TODO: a v128 parameter */
  54. return false;
  55. }
  56. static bool
  57. check_symbol_signature(const WASMType *type, const char *signature)
  58. {
  59. const char *p = signature, *p_end;
  60. char sig;
  61. uint32 i = 0;
  62. if (!p || strlen(p) < 2)
  63. return false;
  64. p_end = p + strlen(signature);
  65. if (*p++ != '(')
  66. return false;
  67. if ((uint32)(p_end - p) < (uint32)(type->param_count + 1))
  68. /* signatures of parameters, and ')' */
  69. return false;
  70. for (i = 0; i < type->param_count; i++) {
  71. sig = *p++;
  72. /* a f64/f32/i64/i32/externref parameter */
  73. if (compare_type_with_signautre(type->types[i], sig))
  74. continue;
  75. /* a pointer/string paramter */
  76. if (type->types[i] != VALUE_TYPE_I32)
  77. /* pointer and string must be i32 type */
  78. return false;
  79. if (sig == '*') {
  80. /* it is a pointer */
  81. if (i + 1 < type->param_count
  82. && type->types[i + 1] == VALUE_TYPE_I32 && *p == '~') {
  83. /* pointer length followed */
  84. i++;
  85. p++;
  86. }
  87. }
  88. else if (sig == '$') {
  89. /* it is a string */
  90. }
  91. else {
  92. /* invalid signature */
  93. return false;
  94. }
  95. }
  96. if (*p++ != ')')
  97. return false;
  98. if (type->result_count) {
  99. if (p >= p_end)
  100. return false;
  101. /* result types includes: f64,f32,i64,i32,externref */
  102. if (!compare_type_with_signautre(type->types[i], *p))
  103. return false;
  104. p++;
  105. }
  106. if (*p != '\0')
  107. return false;
  108. return true;
  109. }
  110. #if ENABLE_QUICKSORT == 0
  111. static void
  112. sort_symbol_ptr(NativeSymbol *native_symbols, uint32 n_native_symbols)
  113. {
  114. uint32 i, j;
  115. NativeSymbol temp;
  116. for (i = 0; i < n_native_symbols - 1; i++) {
  117. for (j = i + 1; j < n_native_symbols; j++) {
  118. if (strcmp(native_symbols[i].symbol, native_symbols[j].symbol)
  119. > 0) {
  120. temp = native_symbols[i];
  121. native_symbols[i] = native_symbols[j];
  122. native_symbols[j] = temp;
  123. }
  124. }
  125. }
  126. }
  127. #else
  128. static void
  129. swap_symbol(NativeSymbol *left, NativeSymbol *right)
  130. {
  131. NativeSymbol temp = *left;
  132. *left = *right;
  133. *right = temp;
  134. }
  135. static void
  136. quick_sort_symbols(NativeSymbol *native_symbols, int left, int right)
  137. {
  138. NativeSymbol base_symbol;
  139. int pin_left = left;
  140. int pin_right = right;
  141. if (left >= right) {
  142. return;
  143. }
  144. base_symbol = native_symbols[left];
  145. while (left < right) {
  146. while (left < right
  147. && strcmp(native_symbols[right].symbol, base_symbol.symbol)
  148. > 0) {
  149. right--;
  150. }
  151. if (left < right) {
  152. swap_symbol(&native_symbols[left], &native_symbols[right]);
  153. left++;
  154. }
  155. while (left < right
  156. && strcmp(native_symbols[left].symbol, base_symbol.symbol) < 0) {
  157. left++;
  158. }
  159. if (left < right) {
  160. swap_symbol(&native_symbols[left], &native_symbols[right]);
  161. right--;
  162. }
  163. }
  164. native_symbols[left] = base_symbol;
  165. quick_sort_symbols(native_symbols, pin_left, left - 1);
  166. quick_sort_symbols(native_symbols, left + 1, pin_right);
  167. }
  168. #endif /* end of ENABLE_QUICKSORT */
  169. static void *
  170. lookup_symbol(NativeSymbol *native_symbols, uint32 n_native_symbols,
  171. const char *symbol, const char **p_signature, void **p_attachment)
  172. {
  173. int low = 0, mid, ret;
  174. int high = (int32)n_native_symbols - 1;
  175. while (low <= high) {
  176. mid = (low + high) / 2;
  177. ret = strcmp(symbol, native_symbols[mid].symbol);
  178. if (ret == 0) {
  179. *p_signature = native_symbols[mid].signature;
  180. *p_attachment = native_symbols[mid].attachment;
  181. return native_symbols[mid].func_ptr;
  182. }
  183. else if (ret < 0)
  184. high = mid - 1;
  185. else
  186. low = mid + 1;
  187. }
  188. return NULL;
  189. }
  190. void *
  191. wasm_native_resolve_symbol(const char *module_name, const char *field_name,
  192. const WASMType *func_type, const char **p_signature,
  193. void **p_attachment, bool *p_call_conv_raw)
  194. {
  195. NativeSymbolsNode *node, *node_next;
  196. const char *signature = NULL;
  197. void *func_ptr = NULL, *attachment;
  198. node = g_native_symbols_list;
  199. while (node) {
  200. node_next = node->next;
  201. if (!strcmp(node->module_name, module_name)) {
  202. if ((func_ptr =
  203. lookup_symbol(node->native_symbols, node->n_native_symbols,
  204. field_name, &signature, &attachment))
  205. || (field_name[0] == '_'
  206. && (func_ptr = lookup_symbol(
  207. node->native_symbols, node->n_native_symbols,
  208. field_name + 1, &signature, &attachment))))
  209. break;
  210. }
  211. node = node_next;
  212. }
  213. if (func_ptr) {
  214. if (signature && signature[0] != '\0') {
  215. /* signature is not empty, check its format */
  216. if (!check_symbol_signature(func_type, signature)) {
  217. #if WASM_ENABLE_WAMR_COMPILER == 0
  218. /* Output warning except running aot compiler */
  219. LOG_WARNING("failed to check signature '%s' and resolve "
  220. "pointer params for import function (%s %s)\n",
  221. signature, module_name, field_name);
  222. #endif
  223. return NULL;
  224. }
  225. else
  226. /* Save signature for runtime to do pointer check and
  227. address conversion */
  228. *p_signature = signature;
  229. }
  230. else
  231. /* signature is empty */
  232. *p_signature = NULL;
  233. *p_attachment = attachment;
  234. *p_call_conv_raw = node->call_conv_raw;
  235. }
  236. return func_ptr;
  237. }
  238. static bool
  239. register_natives(const char *module_name, NativeSymbol *native_symbols,
  240. uint32 n_native_symbols, bool call_conv_raw)
  241. {
  242. NativeSymbolsNode *node;
  243. #if ENABLE_SORT_DEBUG != 0
  244. struct timeval start;
  245. struct timeval end;
  246. unsigned long timer;
  247. #endif
  248. if (!(node = wasm_runtime_malloc(sizeof(NativeSymbolsNode))))
  249. return false;
  250. #if WASM_ENABLE_MEMORY_TRACING != 0
  251. os_printf("Register native, size: %u\n", sizeof(NativeSymbolsNode));
  252. #endif
  253. node->module_name = module_name;
  254. node->native_symbols = native_symbols;
  255. node->n_native_symbols = n_native_symbols;
  256. node->call_conv_raw = call_conv_raw;
  257. /* Add to list head */
  258. node->next = g_native_symbols_list;
  259. g_native_symbols_list = node;
  260. #if ENABLE_SORT_DEBUG != 0
  261. gettimeofday(&start, NULL);
  262. #endif
  263. #if ENABLE_QUICKSORT == 0
  264. sort_symbol_ptr(native_symbols, n_native_symbols);
  265. #else
  266. quick_sort_symbols(native_symbols, 0, (int)(n_native_symbols - 1));
  267. #endif
  268. #if ENABLE_SORT_DEBUG != 0
  269. gettimeofday(&end, NULL);
  270. timer =
  271. 1000000 * (end.tv_sec - start.tv_sec) + (end.tv_usec - start.tv_usec);
  272. LOG_ERROR("module_name: %s, nums: %d, sorted used: %ld us", module_name,
  273. n_native_symbols, timer);
  274. #endif
  275. return true;
  276. }
  277. bool
  278. wasm_native_register_natives(const char *module_name,
  279. NativeSymbol *native_symbols,
  280. uint32 n_native_symbols)
  281. {
  282. return register_natives(module_name, native_symbols, n_native_symbols,
  283. false);
  284. }
  285. bool
  286. wasm_native_register_natives_raw(const char *module_name,
  287. NativeSymbol *native_symbols,
  288. uint32 n_native_symbols)
  289. {
  290. return register_natives(module_name, native_symbols, n_native_symbols,
  291. true);
  292. }
  293. bool
  294. wasm_native_init()
  295. {
  296. NativeSymbol *native_symbols;
  297. uint32 n_native_symbols;
  298. #if WASM_ENABLE_LIBC_BUILTIN != 0
  299. n_native_symbols = get_libc_builtin_export_apis(&native_symbols);
  300. if (!wasm_native_register_natives("env", native_symbols, n_native_symbols))
  301. return false;
  302. #endif /* WASM_ENABLE_LIBC_BUILTIN */
  303. #if WASM_ENABLE_SPEC_TEST
  304. n_native_symbols = get_spectest_export_apis(&native_symbols);
  305. if (!wasm_native_register_natives("spectest", native_symbols,
  306. n_native_symbols))
  307. return false;
  308. #endif /* WASM_ENABLE_SPEC_TEST */
  309. #if WASM_ENABLE_LIBC_WASI != 0
  310. n_native_symbols = get_libc_wasi_export_apis(&native_symbols);
  311. if (!wasm_native_register_natives("wasi_unstable", native_symbols,
  312. n_native_symbols))
  313. return false;
  314. if (!wasm_native_register_natives("wasi_snapshot_preview1", native_symbols,
  315. n_native_symbols))
  316. return false;
  317. #endif
  318. #if WASM_ENABLE_BASE_LIB != 0
  319. n_native_symbols = get_base_lib_export_apis(&native_symbols);
  320. if (n_native_symbols > 0
  321. && !wasm_native_register_natives("env", native_symbols,
  322. n_native_symbols))
  323. return false;
  324. #endif
  325. #if WASM_ENABLE_APP_FRAMEWORK != 0
  326. n_native_symbols = get_ext_lib_export_apis(&native_symbols);
  327. if (n_native_symbols > 0
  328. && !wasm_native_register_natives("env", native_symbols,
  329. n_native_symbols))
  330. return false;
  331. #endif
  332. #if WASM_ENABLE_LIB_PTHREAD != 0
  333. if (!lib_pthread_init())
  334. return false;
  335. n_native_symbols = get_lib_pthread_export_apis(&native_symbols);
  336. if (n_native_symbols > 0
  337. && !wasm_native_register_natives("env", native_symbols,
  338. n_native_symbols))
  339. return false;
  340. #endif
  341. #if WASM_ENABLE_LIBC_EMCC != 0
  342. n_native_symbols = get_libc_emcc_export_apis(&native_symbols);
  343. if (n_native_symbols > 0
  344. && !wasm_native_register_natives("env", native_symbols,
  345. n_native_symbols))
  346. return false;
  347. #endif /* WASM_ENABLE_LIBC_EMCC */
  348. return true;
  349. }
  350. void
  351. wasm_native_destroy()
  352. {
  353. NativeSymbolsNode *node, *node_next;
  354. #if WASM_ENABLE_LIB_PTHREAD != 0
  355. lib_pthread_destroy();
  356. #endif
  357. node = g_native_symbols_list;
  358. while (node) {
  359. node_next = node->next;
  360. wasm_runtime_free(node);
  361. node = node_next;
  362. }
  363. g_native_symbols_list = NULL;
  364. }