Merge pull request #301 from WebAssembly/add_data_se

Add data segments to binary format
WebAssembly · Aug 18, 2015 · 80378e1 · 80378e1
2 parents 0d148a3 + 5d3dbeb
commit 80378e1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/BinaryEncoding.md b/BinaryEncoding.md
@@ -98,8 +98,12 @@ Yes:
       * Type ID
       * Count of locals
     + The serialized AST
+ * A `data` section contains
+   - A sequence of byte ranges within the binary and corresponding addresses in the linear memory
+
 
 All strings are encoded as null-terminated UTF8.
+Data segments represent initialized data that is loaded directly from the binary into the linear memory when the program starts (see [modules](Modules.md#initial-state-of-linear-memory)).
 
 ## Serialized AST
 

diff --git a/Modules.md b/Modules.md
@@ -109,8 +109,8 @@ to allow *explicitly* sharing linear memory between multiple modules.
 
 A module will contain a section declaring the linear memory size (initial and
 maximum size allowed by [`resize_memory`](AstSemantics.md#resizing) and the
-initial contents of memory (analogous to `.data`, `.rodata`, `.bss` sections in
-native executables).
+initial contents of memory,analogous to `.data`, `.rodata`, `.bss` sections in
+native executables (see [binary encoding](BinaryEncoding.md#global-structure)
 
 ## Code section