WASM：有人支持多价WASM吗？

Question

将多个值从WebAssembly传递到JavaScript可能比需要的要难。通常，我发现必须：

1. 在JavaScript和WebAssembly之间共享设置内存。
2. 做WASM来产生值。
3. 将值存储在共享内存中。
4. 输出记忆指针到JavaScript。
5. 让JavaScript从共享内存中检索值。

多值是WASM的一个功能，旨在使这一更轻松，其中可以将多个值直接从WASM传递到JavaScript，从而消除了处理指针的需求。步骤变为：

1. 执行WASM工作以产生值。
2. 将值输出到JavaScript。

例如：

(module
  (func $multResult (export "multResult")
    (result f64 f64)
    f64.const 1
    f64.const 2
  )
)

我们直接输出1和2。

我可以使用 rick battagline的帮助功能来自wat（带有a 轻微修复以正确支持多值fall）：

node ./ bin/watwasm bugrepro.wat -o newOutput.wasm -o3 -multi -value

转动结果wasm汇编回到WAT，我们得到：

(module
 (type $none_=>_f64_f64 (func (result f64 f64)))
 (export "multResult" (func $0))
 (func $0 (result f64 f64)
  (tuple.make
   (f64.const 1)
   (f64.const 2)
  )
 )
)

tuple.make 命令是使该功能直接在JavaScript中消耗的秘密调味料。如果我编写此JavaScript：

const fs = require('fs');

const wasmBytes = fs.readFileSync('./newoutput.wasm');

WebAssembly.instantiate(wasmBytes)
    .then(obj => obj.instance.exports)
    .then(exported => exported.multResult())
    .then(res => console.log(res));

我可以看到 [1,2] 由WASM函数返回。了不起。

我希望能够用比WAT更高的语言来执行此操作。是否有任何高级语言产生多价值WASM？

Answer 1

有两个：Rust和C. Rust似乎产生了最小的 .WASM 到目前为止。

tinygo不。 < 谷物不。

对于Rust

以下示例假设您打算在浏览器中使用WebAssembly。为WASI编译（在操作系统中使用WebAssembly）略有不同；参见此评论。 WebAssembly的主要点是在浏览器中提供轻巧的快速代码，以及如何轻/如何取决于WebAssbly目标是否与源语言的优先级保持一致。下面的示例假设您希望您的WebAssembly最大光。 （请参阅在这里有关如何减少<<<的有用信息代码> .wasm 在更复杂的方案中大小。）

1. 安装rust 。
2. 安装节点。或更有可能，
3. 安装二进制： npm install -G binaryen
4. 使用 rustup target添加wastm32 intage 添加目标 wastm32 inscoup noundown 。 （WASI使用不同的目标。）
5. 使用货物新创建一个项目，然后将此代码添加到 cargo.toml ：

[profile.release]
lto = true
opt-level = "z"
strip = "debuginfo"

[lib]
crate-type = ["cdylib"]

6. 编写一个包含旨在用于在中使用的函数的库返回多个值的WebAssembly上下文。制作一个称为 lib.rs 的文件，然后添加以下内容：

#[no_mangle]
fn flip(a: u32, b: u32) -> (u32, u32) {
    (b, a)
}

7. 在您打算在任何地方运行货物构建命令： Rustflags =”，应用以下环境变量。 -ctarget-feature =+Multivalue -clink-args = -zstack-size = 64000“ 。 （实现详细信息取决于您的操作系统和命令行计划。）
   标志的破坏：

   -ctarget-feature =+Multivalue ：告诉Rust启用WASM多值功能

   -clink-args = -zstack-size = 64000 ：告诉Rust使用WASM线性内存的一页。 （Rust默认为16页内存。对于非常简单的用例，例如示例，这是浪费的，因此请重置内存以使用最小设置。浏览器无论如何分配1页。

8. 您要去想要发布版本，而不是调试版本。在上面的步骤5中， strip =“ debuginfo” 正在删除调试信息。此外，该程序的重​​点是在浏览器的上下文中运行，因此任何调试/测试都应通过将代码嵌入JavaScript中来完成。使用此命令来编译 .wasm 文件：货物构建 - 释放-target = wasm32-inknown-Ingnown

9. 使用 wasm-opt < /code>从binareen到壁画的工具更多： wasm -opt -oz -o [输出文件名] .wasm [输入文件名] .WASM

   


使用此页面将 .wasm 转换为 .wat ，这是整个程序：

(module
  (type $t0 (func (param i32 i32) (result i32 i32)))
  (func $flip (export "flip") (type $t0) (param $p0 i32) (param $p1 i32) (result i32 i32)
    (local.get $p1)
    (local.get $p0))
  (memory $memory (export "memory") 1)
  (global $__data_end (export "__data_end") i32 (i32.const 64000))
  (global $__heap_base (export "__heap_base") i32 (i32.const 64000)))

非常干净。不是完美的，但就在附近。在仅239个字节时， .wasm 文件小于C中生成的文件。

对于C

您必须以特殊方式使用Emscripten编译器。 这仅在

（显然， 例如

typedef struct _nums
{
    int x;
    int y;
} nums;

nums echo(int x, int y)
{
    nums result = {x,y};
    return result;
}

。一个回声发送给它的功能。

它可以与Emscripten一起编译如下：

emcc -mmultivalue -Xclang -target-abi -Xclang experimental-mv -Oz -s STANDALONE_WASM -s EXPORTED_FUNCTIONS="['_echo']" -Wl,--no-entry hello.world.c -o bob.wasm

标志的快速分解：

1. -mmultivalue ：告诉Clang启用多价值支持
2. -XCLANG -TARGEN-ABI ：告诉Clang到Clang定位应用程序二进制接口
3. -xClang实验MV ：启用更多多价值的东西？
4. -oz ：告诉Clang生产代码对大小
5. -s standalone_wasm >：告诉emscripten不要产生通常会产生
6. exported_functions =”的 javascript胶代码。 ['_echo']” ：如果没有找到对它的引用，请告诉emscripten不要优化'echo'函数。这使您可以将代码从WebAssembly导出到JavaScript。
7. -wl， - no-Entry ：告诉Emscripten不要尝试在WebAssembly中进行默认条目
8. Hello.world.c ：输入C文件
9. - o bob.wasm ：输出一个称为“ bob.wasm”的文件，

这会导致此代码：

(module
 (type $none_=>_i32 (func (result i32)))
 (type $i32_=>_none (func (param i32)))
 (type $i32_=>_i32 (func (param i32) (result i32)))
 (type $i32_i32_=>_i32_i32 (func (param i32 i32) (result i32 i32)))
 (memory $0 256 256)
 (table $0 1 1 funcref)
 (global $global$0 (mut i32) (i32.const 5243920))
 (export "memory" (memory $0))
 (export "echo" (func $0))
 (export "__indirect_function_table" (table $0))
 (export "__errno_location" (func $4))
 (export "stackSave" (func $1))
 (export "stackRestore" (func $2))
 (export "stackAlloc" (func $3))
 (func $0 (param $0 i32) (param $1 i32) (result i32 i32)
  (tuple.make
   (local.get $0)
   (local.get $1)
  )
 )
 (func $1 (result i32)
  (global.get $global$0)
 )
 (func $2 (param $0 i32)
  (global.set $global$0
   (local.get $0)
  )
 )
 (func $3 (param $0 i32) (result i32)
  (global.set $global$0
   (local.tee $0
    (i32.and
     (i32.sub
      (global.get $global$0)
      (local.get $0)
     )
     (i32.const -16)
    )
   )
  )
  (local.get $0)
 )
 (func $4 (result i32)
  (i32.const 1024)
 )
)

生成大量样板。重要位：

...
(export "echo" (func $0))
...
(func $0 (param $0 i32) (param $1 i32) (result i32 i32)
  (tuple.make
   (local.get $0)
   (local.get $1)
  )
 )