问题描述
最近我尝试使用尽可能少的助手来试验 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,NULL,0);
}
这是我使用的命令:
emcc converter.c -s STANDALONE_WASM -o converter.wasm --no-entry
但后来我尝试在浏览器中使用 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 模块中不受支持(比如 os 调用?),但我找不到任何关于它们究竟是什么的文档。
所以我的问题是:
- 为什么是这些函数?
- 如果
stb_image
标头应该只是在没有 I/O 的情况下操作 ram 中的位,为什么我需要这些导入的函数? - 如何告诉我的编译器不要使用这些函数(阻止 stdio 库可以工作,但我不知道该怎么做)
- 我必须在“import”变量中放入什么才能使用模拟函数加载模块?
感谢任何指示!
编辑
在尝试编译 c 标准库之后,我明白了这些函数的用途:
-
proc_exit
终止进程并可能引发错误
但我真的不明白为什么在我的情况下需要它们:程序不打印任何内容并且代码中没有“退出”:(
解决方法
首先,我建议使用 -Oz
或至少 -O2
进行构建,以便工具链尽量缩小生成的二进制。
我建议使用 -Oz --profiling-funcs
构建,然后使用 wasm-objdump
或 wasm-decompile
来查看为什么这些导入并最终被使用。
当我这样做时很明显 proc_exit
正在被使用 assert_fail
..确实看起来它们都是由于使用了断言宏并且添加 -DNDEBUG
使所有这些进口消失了。