Design: Accediendo a la pila / montón desde Javascript

¿Es posible acceder al montón de la instancia de WASM que llama dentro de una función de Javascript importada?

Sí, puede acceder a la memoria lineal si la exporta desde el módulo. Será un objeto WebAssembly.Memory , y su propiedad buffer es una ArrayBuffer con el contenido de la memoria lineal.

Relacionado, ¿es posible reanudar una instancia después de que una función de Javascript importada arrojara una excepción?

No, eso no es posible actualmente. La pila de llamadas se descarta cuando se lanza una excepción. Para hacer esto, tendría que instrumentar su módulo para permitir este comportamiento. Es probable que algunas de las extensiones discutidas en la propuesta de manejo de excepciones también ayuden aquí.

¿El montón está contenido en el búfer de memoria? No lo he visto mencionado en la documentación.
También parece imposible acceder a la pila de llamadas dentro de la función javascript importada sin instrumentar el módulo WASM.

Un módulo WebAssembly no tiene un montón, solo tiene una memoria que es un vector plano de bytes. Cuando se compila un lenguaje como C ++ en WebAssembly, el montón se almacena en la memoria, pero también otros datos.

En general, la pila de llamadas de WebAssembly (que incluye la pila de funciones llamadas y sus locales) no se almacena en la memoria y no es accesible. Pero cuando un lenguaje como C ++ se compila en WebAssembly, algunos elementos de la pila de C ++ pueden almacenarse en la memoria. Generalmente, estas son las variables de C ++ "tomadas por direcciones" y las matrices grandes.

Ah, ya veo, ¡para eso es __heap_base!

Instance {
  exports: 
   { memory: Memory {},
     __heap_base: 66560,
     __data_end: 1024,
     main: [Function: 2],
     fac: [Function: 3] }
}

¡Muchos gracias!

WebAssembly.Memory se denomina montón