0

我正在构建一个 Webassembly 运行时，目前正在实现 WASI API。根据这份文档，我想知道 ABI 的外观如何：https ://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md

为了进行测试，我使用 emscripten 将这个 C 应用程序编译为一个独立的 WASM 模块。

#include <stdio.h>

int main() {
    printf("Hello, World!\n");
    return 0;
}

使用 wasm-objdump 检查后，我可以看到以下函数导入：

Import[2]:
 - func[0] sig=2 <__wasi_proc_exit> <- wasi_snapshot_preview1.proc_exit
 - func[1] sig=11 <__wasi_fd_write> <- wasi_snapshot_preview1.fd_write

带有类型签名：

 - type[2] (i32) -> nil
 - type[11] (i32, i32, i32, i32) -> i32

根据规范，该函数具有映射到 POSIX 系统调用fd_write的签名。 fd_write(fd: fd, iovs: ciovec_array) -> Result<size, errno>ssize_t writev(int fd, const struct iovec *iov, int iovcnt);

但是 WASM 文件中的第四个参数是什么？它接收一些指向内存地址的指针。所以我想我必须写到Result<size, errno>那个地址，但是如果我这样做并返回 0（表示成功），fd_write就会一遍又一遍地调用（大概是因为 printf 函数假定没有写入任何内容）。如果我返回写入的字节，程序会正确终止，但是第四个参数是什么？另外，我怎样才能返回Result不适合 i32 的更复杂的 s？

4

1 回答 1

1

在wasi-libc中，函数签名__wasi_fd_read是：

__wasi_errno_t __wasi_fd_read( __wasi_fd_t fd, const __wasi_iovec_t *iovs, size_t iovs_len, __wasi_size_t *retptr0 )

根据 的某些实现fd_write，最后一个参数是返回写入字节数的指针，返回值始终为 0（就像您所做的那样）。

所以我想你还应该将已读取的字节数设置为retptr0指向的位置。

于 2021-12-12T14:15:41.687 回答