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



有没有办法访问存在于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();
} 

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

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

但是,最好这样做而不必经历显式间接寻址,可能吗,也许是函数表?

你可以从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>

出于某种原因,表方法对我不起作用,所以我做了相反的方向:我用我的源语言 (D( 实现了一个函数表。

这样,我可以通过将句柄传递给javascript来使其工作:

__gshared ubyte* function(ubyte* args)[] _annonymousFunctionTable;
extern(C) size_t _getFuncAddress(ubyte* fn);
export extern(C) ubyte* __callDFunction(size_t addr, ubyte* args)
{
return _annonymousFunctionTable[addr](args);
}

我在这里不直接调用_getFuncAddress因为还有另一种方式可以发送我为 D 所做的用于参数计数和类型检查的函数。

这样,我就可以调用任何我想要的函数,其中包含我想要的参数数量,而无需依赖 wasm 实现。

当时的问题是 Clang 基本上没有实现call_indirect,并且在代码生成过程中实际上并没有用任何东西填充函数表。

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

相关内容

  • 没有找到相关文章

最新更新