1658 Commits

Author	SHA1	Message	Date
liang.he	9cb1cc4af6	fix: cast file descriptor to size_t for comparison in fd_prestats functions (#4582) ... ``` comparison of integer expressions of different signedness: ‘__wasi_fd_t’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Werror=sign-compare] 288 | if (fd >= pt->size) ```	2025-08-27 07:15:08 +08:00
liang.he	0b97d0cb14	Merge dev/zephyr_file_socket into main (#4347) ... zephyr: Enable WASI support for file system and sockets on zephyr (#3633) This work also implements the WASI support on Zephyr. * Added os_is_* methods for stdin/stdout/stderr. Fixed issues in os_renameat * Zephyr platform fixes for WASI sockets Addressed numerous of build warnings on Zephyr * Updated `os_writev` to use `fwrite` for STDOUT/STDERR * Temporarily reverted change to `writev` to work around an issue. * Fixes: fstat, fstatat, and unlink * Add initial support for directories in os_openat. Partial implementation — just avoids a hard fault. * Directory support WIP. readdir works but I think we have a memory leak somewhere * Fix: always use standard stream fds. Fix unlinkat and renameat. fd 0, 1, and 2 will always be supplied for standard streams. Unlinkat and renameat work exclusively based on supplied paths. * Fix: use macro for free() * Added a temporary workaround for issue identified in PR#4377 * Fixed reference to file descriptor and cleaned up dead/commented code. Note that some comments haven't been addressed and will be fixed in the further patches. Signed-off-by: Stephen Berard <stephen.berard@outlook.com> Co-authored-by: Lucas Abad <149054121+lucasAbadFr@users.noreply.github.com> Co-authored-by: Stephen Berard <srberard@users.noreply.github.com> Co-authored-by: Dan Kouba <dan@atym.io>	2025-08-25 16:55:23 +08:00
Marcin Kolny	58fae578e7	Merge pull request #4568 from yamt/nn-51 ... core/iwasm/libraries/wasi-nn/test/build.sh: set -e	2025-08-20 20:53:35 +02:00
James Marsh	9ee44bf2d0	Add Android macro check for indirect mode	2025-08-20 13:13:56 +01:00
YAMAMOTO Takashi	735b510437	core/iwasm/libraries/wasi-nn/test/build.sh: set -e	2025-08-19 14:58:27 +09:00
Liu Jia	b0dae624a1	add comments about AOT crash when calling unlinked import func (#4559)	2025-08-19 08:53:51 +08:00
Zhenwei Jin	be3f1f88fe	remove duplicate parent type index validation (#4556) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:44 +08:00
Zhenwei Jin	ab2ff4a56d	add rec idx and rec count validation in aot loader (#4555) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:37 +08:00
Zhenwei Jin	d0c636bd80	fix integer overflow in gc threshold calculation (#4546) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:28 +08:00
YAMAMOTO Takashi	c661592edd	wasi_nn_onnx.cpp: fix debug build (#4564)	2025-08-19 08:23:00 +08:00
dongsheng28849455	14ced7c86c	Add onnxruntime as wasi-nn backend (#4485) ... * Add onnxruntime as wasi-nn backend * remove global context * put checks under the lock * tensor type will not support legacy wasi-nn abi * Manually set the imported target with name space	2025-08-15 09:48:37 +08:00
Liu Jia	cbb6d03337	add validtion for parent_type_idx (#4550)	2025-08-13 11:05:06 +08:00
Zhenwei Jin	feecaf602e	add bounds checking to prevent ref_type_map_count (#4548) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-13 08:17:42 +08:00
YAMAMOTO Takashi	bbf571e5af	wasi_socket_ext.c: fix a typo in a comment (#4552)	2025-08-13 08:14:58 +08:00
TianlongLiang	d95b0e3d46	add new relocation type (#4500)	2025-08-11 15:09:33 +08:00
Zhenwei Jin	2d05aece1a	add validation for struct field type (#4536)	2025-08-11 15:07:15 +08:00
YAMAMOTO Takashi	6b51c61f5e	wasi-nn: fix set_input memory address validation for the legacy abi (#4534) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3223	2025-08-06 10:40:56 +08:00
YAMAMOTO Takashi	5b63f3526d	core/iwasm/libraries/lib-socket/test/nslookup.c: use gai_strerror (#4532)	2025-08-05 08:39:35 +08:00
YAMAMOTO Takashi	29d465b44e	wasi_nn_tensorflowlite.cpp: make this compatible with wasmedge (#4517) ... for wasi_ephemeral_nn, * implement u8 input * stop dealing with quantization. * wasi-nn doesn't have a concept of quantization or pre/post-processing. i can't think of any ways to make the backend perform zero-point/scale processing without risking to break other applications. * there seems to be applications which just use u8 inputs/outputs for a quantized model. (see [1] for an example.) for certain kinds of inputs/outputs, it usually just works. this commit keeps the legacy wasi_nn logic intact for now. tested with [1] with [2] applied. WAMR with this patch: ``` Read graph weights, size in bytes: 3561598 [wasi_nn.c:297 WARNING] load_by_name_with_config() not found [wasi_nn_tensorflowlite.cpp:272 WARNING] Default encoding is CPU. Loaded graph into wasi-nn with ID: Graph#0 Read input tensor, size in bytes: 150528 1.) [166](198)Aix galericulata 2.) [34](1)Gallus gallus domesticus 3.) [158](1)Coccothraustes coccothraustes 4.) [778](1)Sitta europaea 5.) [819](1)Anas platyrhynchos ``` wasmedge: ``` Read graph weights, size in bytes: 3561598 Loaded graph into wasi-nn with ID: Graph#0 Read input tensor, size in bytes: 150528 1.) [166](198)Aix galericulata 2.) [34](1)Gallus gallus domesticus 3.) [158](1)Coccothraustes coccothraustes 4.) [778](1)Sitta europaea 5.) [819](1)Anas platyrhynchos ``` and "Aix galericulata" seems like a reasonable classification of the image to my eyes. [1] 67f174bab5/tflite-birds_v1-image [2] https://github.com/second-state/WasmEdge-WASINN-examples/pull/204 Related: https://github.com/bytecodealliance/wasm-micro-runtime/issues/3555 https://github.com/bytecodealliance/wasm-micro-runtime/issues/2611	2025-08-01 14:31:02 +08:00
Jaco Kroon	272a41dc80	Avoid executable stack by marking that it's not required. (#4418) ... Also refer to: https://github.com/fluent/fluent-bit/issues/10513 Signed-off-by: Jaco Kroon <jaco@uls.co.za>	2025-08-01 14:30:39 +08:00
Zhenwei Jin	378320b886	loader: add type index checking (#4521)	2025-08-01 08:58:26 +08:00
Zhenwei Jin	33eff933c0	add validation for rec indices in aot loader (#4520)	2025-08-01 08:45:57 +08:00
Zhenwei Jin	aad1866260	add validation for recursive type count in loader (#4522)	2025-07-31 16:19:08 +08:00
YAMAMOTO Takashi	a0de8c7b7d	wasi-nn: fix buffer overruns in load_by_name/load_by_name_with_config (#4491) ... also, ensure NUL terminations here to simplify backend implementations. (note that, although names with '\0' in the middle are usually valid in wasm, wamr doesn't support them in general. we might revisit this later.) also, add a missing address validation in load_by_name_with_config. cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4487	2025-07-30 10:27:20 +08:00
ChenWen	c6afa131a4	feat(core): Support pthread using SPIRAM as stack (#4509) ... Signed-off-by: chenwen@espressif.com <chenwen@espressif.com>	2025-07-30 10:26:41 +08:00
TianlongLiang	b322e297c6	Add CLI option for iwasm to create and attach shared heap to wasm app (#4499)	2025-07-29 11:13:23 +08:00
YAMAMOTO Takashi	f34d28cfbc	lib-socket: implement gai_strerror (#4508) ... cf. https://pubs.opengroup.org/onlinepubs/9799919799/functions/gai_strerror.html	2025-07-29 11:12:27 +08:00
liang.he	b124f70345	Bump version to 2.4.1 (#4513)	2025-07-28 20:49:11 +08:00
YAMAMOTO Takashi	d298a66d38	bump AOT_CURRENT_VERSION for extended-const (#4511) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4504	2025-07-27 14:39:35 +08:00
liang.he	121232a995	Merge commit from fork ... If `--addr-pool=1.2.3.4`, the runtime will return an error. The value must be in the form of ADDRESS/MASK.	2025-07-27 14:38:56 +08:00
YAMAMOTO Takashi	a780ffdc43	lib-socket: make getaddrinfo return EAI_ values (#4498) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4464	2025-07-21 09:21:31 +08:00
YAMAMOTO Takashi	e4d2673a7c	wasi-nn: add a comment on load_by_name_with_config (#4492) ... this api has been introduced by https://github.com/bytecodealliance/wasm-micro-runtime/pull/3709 in which i couldn't find any explanations. this comment is my best guess.	2025-07-17 09:50:49 +08:00
Liu Jia	704aa3e7e5	modify macro related to simde when WASM_OP_SELECT_128 (#4461) ... * remove macro of fast interpreter when WASM_OP_SELECT_128 * Modified some macros related to SIMDE	2025-07-17 08:04:41 +08:00
YAMAMOTO Takashi	46d4e248bb	posix os_socket_accept: stop assuming socklen_t is unsigned int (#4488)	2025-07-17 08:04:13 +08:00
YAMAMOTO Takashi	db942f3aaf	wasi_socket_ext.c: fix error reporting ... do not return __WASI_ERRNO_xxx error code where 0/-1 is more appropriate. most of them were not harmful because the value of __WASI_ERRNO_SUCCESS is 0. the one with __WASI_ERRNO_NOPROTOOPT in socket() is a user-visible bug. tested with wamr-wasi-extensions/samples/socket-tcp-udp. cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4474	2025-07-15 09:23:46 +02:00
YAMAMOTO Takashi	2a952b371a	wasi_socket_ext.c: fix the number of getaddrinfo results (#4466) ... the case of zero results was especially broken.	2025-07-14 13:12:32 +08:00
TianlongLiang	b3158e643c	Fix typos (#4472) ... * leave api name unchanged so don't break API	2025-07-14 13:12:08 +08:00
YAMAMOTO Takashi	2c4a660c4c	posix os_socket_addr_resolve: relax compatibility check (#4469) ... some getaddrinfo implementations sometimes return results with ai_protocol=0. cf. https://github.com/apache/nuttx/issues/16693 standard-wise, i couldn't find anything about ai_protocol in susv4-2018 except the following text: > The fields ai_family, ai_socktype, and ai_protocol shall be usable > as the arguments to the socket() function to create a socket suitable > for use with the returned address. because ai_protocol is usually merely used to feed socket() and socket() usually accepts 0, it's probably standard-wise ok for getaddrinfo to return ai_protocol=0. the major implementations of getaddrinfo (eg. kame) seem to return specific values like ai_protocol=IPPROTO_TCP though. anyway, for the purpose of this function, there is little point to be strict on the host getaddrinfo behavior. this commit just relaxes the check to be friendly to those getaddrinfo implementations.	2025-07-14 13:06:40 +08:00
YAMAMOTO Takashi	53feadc2b0	lib-socket: implement getsockopt(SOL_SOCKET,SO_TYPE) (#4458) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4456	2025-07-14 13:06:33 +08:00
YAMAMOTO Takashi	5d48cfdbc0	introduce wasm_runtime_instantiate_ex2 (#4444) ... * introduce wasm_runtime_instantiate_ex2 at this point, just a slightly inefficiant functionality equivalent of wasm_runtime_instantiate_ex. however, unlike wasm_runtime_instantiate_ex, this one is designed to be extendable without breaking the user-visible ABI. because the definition of InstantiationArgs2 is not exposed to users, we can safely add new members to it. this commit also makes wasm_runtime_instantiate_ex a wrapper of wasm_runtime_instantiate_ex2. if this goes well, maybe it's a good idea to apply a similar pattern to RuntimeInitArgs, LoadArgs, SharedHeapInitArgs, etc. i started with InstantiationArgs just because i happen to have a need to extend it for wasi-nn. cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4364 https://github.com/bytecodealliance/wasm-micro-runtime/issues/4331 * product-mini/platforms/posix: use wasm_runtime_instantiate_ex2	2025-07-14 13:06:23 +08:00
Zhenwei Jin	65d3ffa7a4	add validation for recursive type count in loader (#4440)	2025-07-14 13:06:08 +08:00
liang.he	47c7c85ac2	Bump version to 2.4.0 (#4483)	2025-07-14 11:06:03 +08:00
YAMAMOTO Takashi	17be90d8f0	posix os_socket_addr_resolve: return the consistent max_info_size (#4467) ... return the same value for max_info_size regardless of addr_info_size.	2025-07-10 13:42:57 +08:00
Zhenwei Jin	9e92f5ebe1	fix a wamrc debug mode compile issue (#4470)	2025-07-10 08:29:31 +08:00
YAMAMOTO Takashi	56f87b7ee9	wasi-nn: do not pretend to support legacy abi in openvino and llamacpp (#4468) ... as tested by core/iwasm/libraries/wasi-nn/test/test_tensorflow.c, the legacy "wasi_nn" abi uses the number of fp32 for get_output. because these backends don't implement the abi, bail out explicitly in build time. cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4376	2025-07-10 08:28:08 +08:00
YAMAMOTO Takashi	933e49df18	appease a few compiler warnings (-Wstrict-prototypes) (#4465)	2025-07-10 08:28:00 +08:00
Liu Jia	903a5c1f8c	improve logic of heap_type validation when ref.null (#4372) ... * Follow-up to PR #4300: prevent potential overflow PR #4300 introduced the rationale for validating heap_type. This patch moves the validation before the computation of type1 to prevent potential overflow.	2025-07-10 08:27:11 +08:00
YAMAMOTO Takashi	fbd27e5e03	wasi_nn_llamacpp.c: explicitly reject unimplemented input index (#4446) ... note: wasmedge seems to accept index 1 for metadata. we don't implement it.	2025-07-09 10:35:46 +08:00
YAMAMOTO Takashi	0eceed2ba9	wasi: avoid user-triggerable 0-sized allocations (#4452) ... might fix https://github.com/bytecodealliance/wasm-micro-runtime/issues/4451	2025-07-08 09:25:50 +08:00
TianlongLiang	7d05dbc988	Support extended constant expressions (#4432) ... * implement extended const expr (#4318) * add a toggle to enable extended const on wamrc (#4412)	2025-07-07 13:34:02 +08:00