diff options
| author | gahaas <ahaas@google.com> | 2016-12-14 18:39:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-14 18:39:49 +0100 |
| commit | b595bb032b8345056cea55f27633c484823ee2e9 (patch) | |
| tree | 32d0e6ea3b566d4b1396d228e688777e56c22654 /Semantics.md | |
| parent | a87e58c34107a44da2e3c86e3e12de669ee3b30d (diff) | |
| download | nanowasm-design-b595bb032b8345056cea55f27633c484823ee2e9.tar.gz | |
Define the exception type for stack overflows in JS.md
Diffstat (limited to 'Semantics.md')
| -rw-r--r-- | Semantics.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Semantics.md b/Semantics.md index 050dcf2..8203d14 100644 --- a/Semantics.md +++ b/Semantics.md @@ -42,9 +42,13 @@ environment such as a browser, a trap results in throwing a JavaScript exception If developer tools are active, attaching a debugger before the termination would be sensible. +## Stack Overflow + Call stack space is limited by unspecified and dynamically varying constraints and is a source of [nondeterminism](Nondeterminism.md). If program call stack usage -exceeds the available call stack space at any time, a trap occurs. +exceeds the available call stack space at any time, the execution in the +WebAssembly instance is terminated and abnormal termination is reported to the +outside environment. Implementations must have an internal maximum call stack size, and every call must take up some resources toward exhausting that size (of course, dynamic |