Stream: git-wasmtime

Topic: wasmtime / issue #9734 winch(x64): Threads


view this post on Zulip Wasmtime GitHub notifications bot (Jan 06 2025 at 15:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 06 2025 at 15:46):

saulecabrera commented on issue #9734:

Sorry it took me a bit to get back to you on this.

I've update the issue to ensure that it accurately reflects:

That said:

we need to add to this macros the list of new instruction from thread proposal

Correct, we need to implement each of the instructions to support the threads proposal. I'd suggest reaching out here or via Zulip so that we can coordinate which instructions you'd like to work on to avoid duplicate effort.

implement the new instructions for the aarch64 and x86_64 backend (in both masm.rs and asm.rs)

I'd suggest working on one backend at a time. To ensure that we can review work for each backend carefully and independently. I've opened similar issues for aarch64 as well (e.g., https://github.com/bytecodealliance/wasmtime/issues/9927), so that we can track each work separately.

probably add a compile time flag, like winch-thread that removes this flag while the feature is being developped

Instead of a compile time flag, I'd recommend: (i) removing the WasmFeatures::THREADS for the x64 backend here (ii) adding WasmFeatures::THREADS for aarch64 (assuming that we start first with x64) (iii) finally updating the list of spec tests that should fail for the threads proposal, initially this list will probably include all the spec tests or most of them and will get smaller over time until the proposal is fully supported (this is similar to what we have for SIMD today, given that Winch has partial support for it).

view this post on Zulip Wasmtime GitHub notifications bot (Jan 07 2025 at 14:56):

MarinPostma commented on issue #9734:

@saulecabrera I'll take the loads and stores to start with

view this post on Zulip Wasmtime GitHub notifications bot (Jan 07 2025 at 19:06):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:02):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2025 at 00:02):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2025 at 12:19):

MarinPostma commented on issue #9734:

I call dibs on add and sub next

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2025 at 12:19):

MarinPostma edited a comment on issue #9734:

I call dibs on add and sub next

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2025 at 21:07):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 13 2025 at 14:18):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 13:54):

MarinPostma commented on issue #9734:

I'll take the rest

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 13:57):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 14:01):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:53):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:53):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:53):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:53):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:53):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 20 2025 at 18:54):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2025 at 01:26):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2025 at 01:27):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2025 at 01:28):

saulecabrera edited issue #9734:

The Wasm Threads proposal is considered Tier 1 according to Wasmtime's Tiers of support.

Winch currently doesn't support this proposal.


Last updated: Jan 24 2025 at 00:11 UTC