Question

有没有办法访问生活在WebAssembly模块中的函数指针？

例如，给定以下编译为WebAssembly的“模块”：

extern void set_callback(void (*callback)(void *arg), void *arg);

static void callback(void *arg)
{
  /* ... */
}

int main() {
  set_callback(&callback, 0);
  return 0;
}

JavaScript中do_callback的实现是否可以调用回调而不必依赖中间C函数导出来进行实际的函数调用？

var instance = new WebAssembly.Instance(module, {
  memory: /* ... */
  env: {
    set_callback: function set_callback(callbackptr, argptr) {
      // We only got the pointer, is there any  
    },
  },
});

通过中间函数导出，我的意思是我可以添加一个具有公共可见性的内部函数。

do_callback(void (*callback)(void *arg), void *arg)
{
  callback();
}

然后JavaScript set_callback函数可以通过委托do_callback函数调用函数指针。

function set_callback(callbackptr, argptr) {
  instance.exports.do_callback(callbackptr, argptr);
}

但是，最好这样做而不必经历那种明确的间接，是否可能，使用函数表？

Answer 1

您可以从Javascript调用函数指针。

函数指针存储在表中。当函数指针传递给Javascript时，您将在表中接收该函数指针的整数索引。将该索引传递给Table.prototype.get()，您可以调用该函数。

...

set_callback: function set_callback(callbackptr, argptr) {
  tbl.get(callbackptr)(argptr);
},

...

您可以在“表格”部分的此MDN页面上阅读有关此内容的更多信息： https://developer.mozilla.org/en-US/docs/WebAssembly/Using_the_JavaScript_API#Tables

编辑：以下是我用来测试此内容的最小示例。

第一个文件fptr.c使用emcc fptr.c -Os -s WASM=1 -s SIDE_MODULE=1 -o fptr.wasm

编译

typedef int (*fptr_type)(void);

extern void pass_fptr_to_js(fptr_type fptr);

static int callback_0(void)
{
    return 26;
}

static int callback_1(void)
{
    return 42;
}

void run_test()
{
    pass_fptr_to_js(callback_0);
    pass_fptr_to_js(callback_1);
}

这里是fptr.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>WebAssembly Experiment</title>
</head>
<body>
    <h3>Check the console.</h3>
    <script type="text/javascript">
        fetch('fptr.wasm').then(function(response) {
            response.arrayBuffer().then(function(buffer) {
                WebAssembly.compile(buffer).then(function(module) {
                    var imports = {};

                    imports.env = {};

                    imports.env.memoryBase = 0;
                    imports.env.memory = new WebAssembly.Memory({ initial: 256 });
                    imports.env.tableBase = 0;
                    imports.env.table = new WebAssembly.Table({ initial: 4, element: 'anyfunc' });

                    imports.env["abort"] = function() {
                        console.error("ABORT");
                    };

                    imports.env["_pass_fptr_to_js"] = function(fptr) {
                        console.log("table index: " + fptr + ", return value: " + imports.env.table.get(fptr)());
                    };

                    WebAssembly.instantiate(module, imports).then(function(instance) {
                        instance.exports["__post_instantiate"]();
                        instance.exports["_run_test"]();
                    });
                });
            });
        });
    </script>
</body>
</html>

Answer 2

当时的问题是Clang基本上没有实现call_indirect，并且在代码生成期间实际上没有用函数表填充函数表。

已在当前版本的LLVM中解决。

从JavaScript调用WebAssembly中的C样式函数指针

2 个答案: