如何在WebAssembly中使用加载和存储

Question

WebAssembly中的大多数演示仍在C/C 中，并且不会显示太多wat。到目前为止，几个示例显示了这样的事情：

;; Convert this to add.wasm by running:
;;
;;   wat2wasm add.wat -o add.wasm
;;
(module
  (func (export "add") (param i32 i32) (result i32)
    get_local 0
    get_local 1
    i32.add))

使用 local 变量并调用本机函数。我知道也有 get_global等。

我想知道如何使用加载和存储来管理全局(？(内存。我很难理解如何使用功能。

作为一个例子，如何将javaScript的字符串加载到WebAssembly中，然后将其打印出来。这样的东西：

const fs = require('fs')
const buf = fs.readFileSync('./add.wasm')
WebAssembly.instantiate(new Uint8Array(buf)).then(function(results){
  var lib = results.instance.exports
  lib.storeArray(['hello', 'world'])
  lib.logArray()
  // hello
  // world
})

沿着：

的线组装

(module
  (func (export "storeArray") (param ?) (result ?)
    iterate and i32.store somehow)
  (func (export "logArray") (param ?) (result ?)
    i32.load ? iterate through something
    console.log(item)))

特别想知道如何引用内存地址(加载/存储值(并使用该功能。

Answer 1

您需要编写大量的WebAssembly代码来实现您的要求。WebAssembly不支持字符串或数组。它只有四种数字类型和线性内存。

为了指向正确的方向，此代码具有 logArray函数，该函数记录了线性内存的前50个字节，向您显示了循环的基础和负载指令：

(import "console" "log" (func $log (param i32)))
(memory (export "memory") 1)
;; utility function for incrementing a value
(func $increment (param $value i32) (result i32)
  (i32.add 
    (get_local $value)
    (i32.const 1)
  )
)
(func $logArray
  (local $x i32)
  (set_local $x (i32.const 0))
  (block 
    (loop 
      (call $log
         ;; load a single unsigned byte from memory location $x
         (i32.load8_u (get_local $x))
      )
      (set_local $x (call $increment (get_local $x)))
      ;; break to a depth of 1 if x equals 50
      (br_if 1 (i32.eq (get_local $x) (i32.const 50)))
      ;; break to a depth of zero, continuing the loop
      (br 0)
    )
  )
)

我会让您弄清楚如何管理内存以存储字符串(例如如何终止它们(