diff options
| author | Luke Wagner <luke@mozilla.com> | 2015-11-09 11:59:17 -0600 |
|---|---|---|
| committer | Luke Wagner <luke@mozilla.com> | 2015-11-09 12:15:23 -0600 |
| commit | c9d9e53362e57d0879df3d6451f51f63b8cd7833 (patch) | |
| tree | a5d840955d4bbf84e096e22ac982f6a15202de48 /Modules.md | |
| parent | 86f942e451a6224ce404793cc1fed959edf12ab6 (diff) | |
| download | nanowasm-design-c9d9e53362e57d0879df3d6451f51f63b8cd7833.tar.gz | |
Refine linear memory aliasing
Diffstat (limited to 'Modules.md')
| -rw-r--r-- | Modules.md | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -140,6 +140,14 @@ The linear memory section may also contain an optional hint declaring the expect maximum heap usage. This hint is not semantically visible but can help a WebAssembly engine to optimize `grow_memory`. +The linear memory section may optionally declare that the instance's +linear memory is *externally aliasable*. How linear memory is aliased is up +to the host environment (as with all module exports). The +[Web](Web.md#aliasing-linear-memory-from-JS) would reflect exported linear +memory to JS as an `ArrayBuffer`. The MVP does not currently provide for +*importing* linear memory though this may be added +[in the future](FutureFeatures.md#importing-linear-memory). + ## Code section The WebAssembly spec defines the code section of a module in terms of an |