Stream: wasmtime

Topic: 0.19.0


view this post on Zulip Peter Huene (Jul 15 2020 at 19:32):

Thoughts on a release soon? We've had reference types go in, an important fix for Windows (crash on some trap unwinds), and other work. The krustlet folks would like to remove a pin to a wasi-common fix commit in their Cargo.toml too.

view this post on Zulip Chris Fallin (Jul 15 2020 at 19:35):

If it can wait until tomorrow, we have a bugfix for aarch64 / regalloc.rs reftypes that should go in tomorrow once we bump regalloc.rs (SpiderMonkey vendors a pinned git rev so it doesn't matter there, just considering commandline wasmtime)

view this post on Zulip Chris Fallin (Jul 15 2020 at 19:35):

If not, it's no big deal

view this post on Zulip Chris Fallin (Jul 15 2020 at 19:36):

... actually we haven't verified all the bits needed for commandline wasmtime to use reftypes on aarch64 anyway, so scratch that. No objections from me :-)

view this post on Zulip Peter Huene (Jul 15 2020 at 19:39):

i think the krustlet people are just looking for a timeline as they're blocked on publishing a new version until we do, so if there's important stuff on the horizon that should get in, let's do so

view this post on Zulip Alex Crichton (Jul 15 2020 at 19:39):

I'll write up some release notes!

view this post on Zulip Dan Gohman (Jul 15 2020 at 19:41):

A release soon would be great

view this post on Zulip Dan Gohman (Jul 15 2020 at 19:42):

I haven't found time to work on the cargo publish scripts yet; would anyone be interested in helping with that?

view this post on Zulip Alex Crichton (Jul 15 2020 at 19:56):

I'd also be down to help with that!

view this post on Zulip Andrew Brown (Jul 15 2020 at 21:08):

@Alex Crichton, the SIMD support on x86 might be worth mentioning, even if it is in the old backend.

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:09):

certainly!

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:18):

https://github.com/bytecodealliance/wasmtime/pull/2027

This commit updates Wasmtime's version to 0.19.0, Cranelift's version to 0.66.0, and updates the release notes as well.

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:23):

currently I'm thinking we can merge that and publish it tomorrow

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:37):

Re: above regalloc version bump, it should happen tomorrow morning (PDT) but if it doesn't, don't let me block the release!

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:38):

@Chris Fallin is it expected that it will enable all reference types tests on aarch64?

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:40):

Ah, so, interesting, I have not removed the ignore-directive for those reftypes tests. I've relied on the SpiderMonkey-side tests to drive my impl (along with regalloc-side tests and fuzzing).

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:40):

So, I don't actually know

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:40):

If the answer is yes (I'm about to find out), maybe it makes sense to release tomorrow? If not, don't let me hold you back now

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:43):

... The answer is apparently that yes, reftype tests in wasmtime do work on aarch64. The regalloc bump we're waiting for fixes an incorrect stack map in some corner cases, so we should wait for that before claiming reftypes work on aarch64. In the meantime I'll submit a one-line PR to remove the test-ignore directive :-)

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:45):

wow nice!

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:45):

I'm surprised the stack walking all "just works", that's pretty impressive

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:47):

one thing I think we may want to hold off 0.19.0 for is a prototype of reference types support in the other-language-bindings as well

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:47):

to make sure that we've got all the support needed in the C API

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:48):

@fitzgen (he/him) looking at the Go stuff, one thing we may be missing is a way to go from wasm_func_t to wasm_val_t?

view this post on Zulip fitzgen (he/him) (Jul 15 2020 at 21:48):

yeah, I have that in a local commit

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:48):

ah ok cool

view this post on Zulip fitzgen (he/him) (Jul 15 2020 at 21:49):

was going to make a PR once the wasmtime-py stuff is ready

view this post on Zulip Alex Crichton (Jul 15 2020 at 21:49):

makes sense yeah, no worries

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:59):

Just commented on the PR but: gc smoke-test fails, so cancel the partyhats and allow us new-backend folks to slink back to the laboratory for more work :-)

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:59):

I'm guessing the build.rs tests just hit the opcodes, not the walking?

view this post on Zulip Chris Fallin (Jul 15 2020 at 21:59):

In any case, I can debug this more later; don't hold up the release for us

view this post on Zulip Alex Crichton (Jul 15 2020 at 22:03):

aww

view this post on Zulip Alex Crichton (Jul 15 2020 at 22:03):

it's true though that gc is not required for correct wasm semantics, just for reasonable embedder semantics

view this post on Zulip Chris Fallin (Jul 15 2020 at 22:05):

(FWIW, the signature of the smoke-test failure is an assert in regalloc and makes me think it may be fixed by Julian's fuzzbug fix that will land in regalloc tomorrow; so we may be close)

view this post on Zulip fitzgen (he/him) (Jul 15 2020 at 22:19):

nice! let me know if I can help with debugging at all, since I wrote those tests and the wasmtime GC

view this post on Zulip Alex Crichton (Jul 16 2020 at 16:34):

ok my plan is to do this after lunch now that @fitzgen (he/him)'s reference types updates to the C API are in

view this post on Zulip Alex Crichton (Jul 16 2020 at 16:34):

and after lunch we'll not be in meetings so I can hopefully ping dan if anything goes wrong

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:50):

@Dan Gohman mind adding me to a few more crates?

view this post on Zulip Dan Gohman (Jul 16 2020 at 17:50):

sure, one minute

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:54):

yeah no rush, gonna add some here as I see them too,

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:54):

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:55):

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:55):

view this post on Zulip Dan Gohman (Jul 16 2020 at 17:57):

ok, i just did all of those

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:57):

thanks!

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:57):

gonna try to finish the cranelift script now

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:57):

I added a wasmtime-publish team to the bytecodealliance org too

view this post on Zulip Alex Crichton (Jul 16 2020 at 17:58):

and am adding it to all these crates

view this post on Zulip Dan Gohman (Jul 16 2020 at 17:59):

very cool

view this post on Zulip Alex Crichton (Jul 16 2020 at 18:11):

@Dan Gohman yanix, winx, wiggle-generate, wiggle-macro, wiggle

view this post on Zulip Alex Crichton (Jul 16 2020 at 18:11):

(jeez we have a lot of crates)

view this post on Zulip Alex Crichton (Jul 16 2020 at 18:12):

wasmtime-runtime

view this post on Zulip Alex Crichton (Jul 16 2020 at 18:12):

wasmtime-debug

view this post on Zulip Alex Crichton (Jul 16 2020 at 18:12):

wasmtime-rust-macro, wasmtime-rust

view this post on Zulip Alex Crichton (Jul 16 2020 at 21:05):

@Dan Gohman ping on the crates above

view this post on Zulip Dan Gohman (Jul 16 2020 at 21:06):

doing them now

view this post on Zulip Dan Gohman (Jul 16 2020 at 21:08):

ok, should be good now

view this post on Zulip Alex Crichton (Jul 16 2020 at 21:08):

thanks!

view this post on Zulip Alex Crichton (Jul 16 2020 at 21:35):

ok I think this should be done now

view this post on Zulip Alex Crichton (Jul 16 2020 at 21:35):

and 0.19.0 on crates.io should work

view this post on Zulip Peter Huene (Jul 16 2020 at 22:28):

Thanks, @Alex Crichton !


Last updated: Dec 23 2024 at 13:07 UTC