Refactor future features #125
Conversation
| all loaded modules have their own [separate heaps](MVP.md#heap) and cannot share | ||
| [function pointers](MVP.md#function-pointers). Dynamic linking will allow | ||
| developers to share heaps and function pointers between WebAssembly modules, but | ||
| requires an implementation which properly handle ABI compatibility. |
There was a problem hiding this comment.
The end of this sentence is confusing to me. I assume "implementation" means "WebAssembly implementation", but it doesn't care about ABI, that's a user-/compiler-level concept. Or are you talking about the previous idea that wasm modules declare their ABI (as some opaque number) and the wasm engine provides early error checking by throwing if the numbers don't match?
There was a problem hiding this comment.
Yeah I meant user-side implementation. I dropped this part of the paragraph: it's hard to explain concisely. At some point I think dynamic linking will move to its own document, and then we can explain how ABIs work, why they're a user-side thing, etc.
|
|
||
| On a 32-bit system, heaps must still be smaller than 4GiB. All 64-bit pointer | ||
| arithmetic arithmetic (which will be much slower than 32-bit arithmetic) will be | ||
| therefore unnecessary. |
There was a problem hiding this comment.
This para is a bit awkward and could be misread (if you don't catch "pointer") as saying 32-bit doesn't need 64-bit arith. Also "arithmetic" is repeated twice.
| * Call patching to chain JIT-compiled functions together; | ||
| * Temporary halt-insertion within functions, to trap if a function start | ||
| executing while a JIT-compiler's runtime is performing operations | ||
| dangerous to that function. |
There was a problem hiding this comment.
The diff renders weird, but I think the indentation is what I want (it's a sub-list of the above bullet).
|
Got an IRC "THEN FIRE ZE MISILES" from @lukewagner, which is French for "lgtm". |
As discussed in #125: WebAssembly/spec#125 (comment)
This refactoring clarifies points made in #53, #99, #81, #49, and overall tries to make the text more self-consistent, less bullet-pointy.