Design: Доступ к стеку / куче из Javascript

Можно ли получить доступ к куче вызывающего экземпляра WASM в импортированной функции Javascript?

Да, вы можете получить доступ к линейной памяти, если экспортируете ее из модуля. Это будет объект WebAssembly.Memory , а его свойство buffer - это ArrayBuffer с содержимым линейной памяти.

В связи с этим, возможно ли возобновить экземпляр после того, как импортированная функция Javascript вызвала исключение?

Нет, в настоящее время это невозможно. Стек вызовов отбрасывается при возникновении исключения. Для этого вам нужно настроить свой модуль так, чтобы он позволял такое поведение. Вероятно, здесь также помогут некоторые из расширений, обсуждаемых в предложении по обработке исключений .

Куча содержится в буфере памяти? Я не видел упоминания об этом в документации.
Также кажется невозможным получить доступ к стеку вызовов внутри импортированной функции javascript без инструментария модуля WASM.

У модуля WebAssembly нет кучи, у него просто есть память, которая представляет собой плоский вектор байтов. Когда такой язык, как C ++, компилируется в WebAssembly, куча сохраняется в памяти, как и другие данные.

Как правило, стек вызовов WebAssembly (который включает стек вызываемых функций и их локальные переменные) не хранится в памяти и недоступен. Но когда такой язык, как C ++, компилируется в WebAssembly, некоторые элементы стека C ++ могут храниться в памяти. Как правило, это переменные C ++ с адресом и большие массивы.

Ах, понятно, так вот для чего нужна __heap_base!

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

Большое тебе спасибо!

WebAssembly.Memory - это так называемая куча