aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDan Gohman <sunfish@mozilla.com>2015-06-10 09:48:07 -0700
committerDan Gohman <sunfish@mozilla.com>2015-06-10 09:48:07 -0700
commit2c740481c4862fc58b9e99e16652c2e1dccbf786 (patch)
tree9aca4b4f9b95548d572a4957067d150e1b903f53
parent6525f08e1c9a3a7905b60d83616c3e0e80dabe30 (diff)
downloadnanowasm-design-2c740481c4862fc58b9e99e16652c2e1dccbf786.tar.gz
Clarify that implementations don't actually need to make 4 GiB of memory available.
And that >4GiB heaps will be a feature-tested feature.
-rw-r--r--Portability.md9
1 files changed, 6 insertions, 3 deletions
diff --git a/Portability.md b/Portability.md
index 9b4387b..7a116f3 100644
--- a/Portability.md
+++ b/Portability.md
@@ -24,9 +24,12 @@ characteristics:
* Support unaligned memory accesses or reliable trapping that allows software
emulation thereof.
* Little-endian byte ordering.
-* Up to 4GiB of addressable memory in a 32-bit address space. Heaps bigger than
- 4GiB in a 64-bit address space
- [may be added later](FutureFeatures.md#Heaps-bigger-than-4GiB).
+* Memory regions which can be efficiently addressed with 32-bit
+ pointers or indices.
+* Heaps bigger than 4GiB with 64-bit addressing
+ [may be added later](FutureFeatures.md#Heaps-bigger-than-4GiB), though it will
+ be done under a [feature test](FeatureTest.md) so it won't be required for all
+ WebAssembly implementations.
* Enforce secure isolation between WebAssembly modules and other modules or
processes executing on the same machine.
* An execution environment which offers forward progress guarantees to all