WASI函数的ABI格式

Question

我正在构建一个组件运行时，目前正在实现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

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

但是，WASM文件中的第四个参数是什么？它收到一些指向内存地址的指针。所以我想我必须将Result<size, errno>写到那个地址，但是如果我这样做并返回0(为了成功)，fd_write会一次又一次地被调用(大概是因为printf函数假定没有写任何东西)。如果我返回所写的字节，程序将正确终止，那么第四个参数是什么呢？此外，我如何返回更复杂的Result，这不适合于一个i32？

Answer 1

在瓦西中，__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指向的位置。