为什么此 wasm 模块中有“wasi_snapshot_preview_1”导入？

Question

最近，我尝试使用尽可能少的助手来尝试 WebAssembly。

所以我创建了 ac 项目，包含一些库（stb_image.h）并尝试编译它。

这是一个简短的可重现示例：

#include <emscripten.h>
#define STBI_NO_STDIO
#define STBI_NO_FAILURE_STRINGS
#define STB_IMAGE_IMPLEMENTATION

#include "stb_image.h"

EMSCRIPTEN_KEEPALIVE
void test(){
    stbi_load_from_memory(NULL, 0, NULL, NULL, NULL, 0);
}

这是我使用的命令：

emcc converter.c -s STANDALONE_WASM -o converter.wasm --no-entry

这工作正常并给了我一个有效的 wasm 文件。

但后来我尝试使用 javascript 在浏览器中实例化它，而不使用其他任何东西：

let wasm = await Webassembly.instantiateStreaming(fetch('converter.wasm'), {});

但我收到这个错误：

未捕获（承诺中） TypeError: WebAssembly.instantiate(): Import #0 module="wasi_snapshot_preview1" 错误：模块不是对象或函数

我检查了 WebAssembly，确实我的 WebAssembly 需要这些功能：

  (func $wasi_snapshot_preview1.fd_close (;0;) (import "wasi_snapshot_preview1" "fd_close") (param i32) (result i32))
  (func $wasi_snapshot_preview1.fd_seek (;1;) (import "wasi_snapshot_preview1" "fd_seek") (param i32 i64 i32 i32) (result i32))
  (func $wasi_snapshot_preview1.fd_write (;2;) (import "wasi_snapshot_preview1" "fd_write") (param i32 i32 i32 i32) (result i32))
  (func $wasi_snapshot_preview1.proc_exit (;3;) (import "wasi_snapshot_preview1" "proc_exit") (param i32))

我知道这些函数在纯 wasm 模块中不受支持（可能像操作系统调用？），但我找不到任何关于它们到底是什么的文档。

所以我的问题是：

• 这些功能是什么？
• stb_image如果标头只是在没有 i/o 的情况下操作 RAM 中的位，为什么我需要这些导入的函数？
• 我怎样才能告诉我的编译器不要使用这些函数（禁用 stdio 库可以工作，但我不知道该怎么做）

任何标志表示赞赏！

编辑

在尝试编译 C 标准库之后，我明白了这些函数的用途：

• fd_write用于打印（通常到操作系统中的标准输出）
• fd_seek用于fd_close文件操作

还有fd_read读取文件的功能，但我在这段代码中不需要它

• proc_exit终止进程并可能引发错误

Answer 1

首先，我建议使用-Oz或至少进行构建-O2，以便工具链尽力缩小生成的二进制文件。

我建议使用 进行构建-Oz --profiling-funcs，然后使用wasm-objdump或wasm-decompile来查看为什么这些导入并最终被使用。

当我这样做时，很明显proc_exit正在使用assert_fail..确实，看起来它们都是由于使用了断言宏而导致的，并且添加-DNDEBUG使得所有这些导入都消失了。