Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 6 additions & 4 deletions Modules.md
Original file line number Diff line number Diff line change
Expand Up @@ -123,10 +123,12 @@ to allow *explicitly* injecting multiple modules into the same instance.

## Initial state of linear memory

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 (see [binary encoding](BinaryEncoding.md#global-structure)).
A module will contain a section requesting an initial linear memory size and
declaring the initial contents of memory, analogous to `.data`, `.rodata`,
`.bss` sections in native executables (see
[binary encoding](BinaryEncoding.md#global-structure)). The initial size of
linear memory is the requested size rounded up to the nearest whole multiple of
`page_size`.

## Code section

Expand Down