有没有办法访问存在于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 中解决。