为什么这个 wasm 模块中有 "wasi_snapshot_preview_1" 个导入？

Question

最近我尝试用像 possible 这样少的 helper 来试验 webassembly。

所以我创建了一个 c 项目，包含了一些库 (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'), {});

但是我得到这个错误：

Uncaught (in promise) TypeError: WebAssembly.instantiate(): Import #0 module="wasi_snapshot_preview1" error: module is not an object or function

我检查了 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 模块中不受支持（比如 os 调用可能？）但我找不到任何文档来说明它们到底是什么。

所以我的问题是：

为什么会有这些功能？
如果 stb_image header 支持 os 只是在没有 i/o 的情况下操作 ram 中的位，为什么我需要这些导入函数？
如何告诉我的编译器不要使用这些函数（阻止 stdio 库可以工作，但我不知道该怎么做）
我必须在“导入”变量中输入什么才能使用模拟函数加载模块？

任何标志都值得赞赏！

编辑

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

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

there is also fd_read to read a file but I don't need that in this code

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

但我真的不明白为什么在我的情况下需要它们：程序不打印任何内容并且代码中没有“退出”:(

Answer 1

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

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

当我这样做时，很明显 proc_exit 正在被使用 assert_fail .. 实际上看起来它们都是由于使用了 assert 宏并添加 -DNDEBUG 使得所有这些进口都消失了。

为什么这个 wasm 模块中有 "wasi_snapshot_preview_1" 个导入？

Why are there "wasi_snapshot_preview_1" imports in this wasm module?

c

import

webassembly

emscripten

wasi

编辑