Nick Fitzgerald
Nick Fitzgerald
Before testing that we get the expected result from the following sequence: * initialize+snapshot with Wizer * instantiate the snapshot * call `run` we should test that we get the...
Rather than fully parsing the wasm to validate it via `wasmparser::Validator::validate_all` and then full re-parsing the Wasm *again* inside the `parse` pass when constructing the `ModuleInfo` tree, we should use...
Right now errors are reported with line and column numbers as well as offset, but if one were to implement a Lisp on top of this crate and there were...
This introduces a `DecommitQueue` for batching decommits together in the pooling allocator: * Deallocating a memory/table/stack enqueues their associated regions of memory for decommit; it no longer immediately returns the...
This is the final type system change for Wasm GC: the ability to explicitly declare supertypes and finality. A final type may not be a supertype of another type. A...
Notes...
Useful info: * https://fedoraproject.org/wiki/Packaging:Debuginfo * https://www.technovelty.org/code/separate-debug-info.html * https://sourceware.org/gdb/onlinedocs/gdb/Separate-Debug-Files.html Looks like we want the contents of the `.gnu_debuglink` section, and we probably want to validate the CRC too. It seems like...
Doesn't seem to actually be a win yet, but it adds nice infrastructure and should be a win with a little bit more work. A few things we can do:...
why not. ---- (checklist by @jorendorff) Things we already sort of do, but sloppily: * [ ] check we correctly parse identifiers * [ ] check behavior of `eqv?` and...
Once done, we can finally semi-meaningfully benchmark the GC. * https://github.com/bnoordhuis/suv/blob/master/deps/chibi-scheme/benchmarks/gabriel/earley.sch * https://github.com/bnoordhuis/suv/blob/master/deps/chibi-scheme/benchmarks/gabriel/nboyer.sch TODO: * [x] `(let (( )...)