Skip to content
This repository was archived by the owner on Nov 3, 2021. It is now read-only.

Add a data declaration section to break code validation dependency on data section #30

Conversation

AndrewScheidecker
Copy link
Contributor

As mentioned in #27, this allows streaming validation of mem.init and mem.drop by adding data declaration sections that may occur before the code section, and must be used to declare a passive data segment.

I've uploaded the HTML build of the modified spec here: https://www.scheidecker.net/2018-09-07-data-declaration-section-spec/binary/modules.html#data-declaration-section

I think the \Bdatavec and \Bdata productions are a bit informal, so if folks like the overall direction of this change, I'd appreciate some suggestions on how to write those.

AndrewScheidecker added a commit to WAVM/WAVM that referenced this pull request Sep 8, 2018
This uses the alternative binary serialization I proposed here: WebAssembly/bulk-memory-operations#30.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant