Skip to content

Concurrency: Async lift/lower/effect type summary - #762

Open
adamrk wants to merge 8 commits into
WebAssembly:mainfrom
adamrk:abk/async-table-summary
Open

adamrk wants to merge 8 commits into
WebAssembly:mainfrom
adamrk:abk/async-table-summary

Conversation

@adamrk

@adamrk adamrk commented Nov 4, 2026

Copy link
Copy Markdown
Contributor

Add as section in the beginning of Concurrency.md which summarizes the meaning of the various combinations of async lift/lower canonopts with the async function type.

Add as section in the beginning of Concurrency.md which summarizes the
meaning of the various combinations of async lift/lower canonopts with
the async function type.

@lukewagner lukewagner left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great idea, thanks! Looks good with these nits:

Comment thread design/mvp/Concurrency.md Resolved
Comment thread design/mvp/Concurrency.md Resolved
Comment thread design/mvp/Concurrency.md Resolved
Comment thread design/mvp/Concurrency.md Resolved
Comment thread design/mvp/Concurrency.md Resolved
Comment thread design/mvp/Concurrency.md Resolved
adamrk and others added 7 commits November 6, 2026 09:40
Co-authored-by: Luke Wagner <mail@lukewagner.name>
Co-authored-by: Luke Wagner <mail@lukewagner.name>
Co-authored-by: Luke Wagner <mail@lukewagner.name>
Co-authored-by: Luke Wagner <mail@lukewagner.name>
Co-authored-by: Luke Wagner <mail@lukewagner.name>
Co-authored-by: Luke Wagner <mail@lukewagner.name>
@adamrk
adamrk requested a review from lukewagner November 6, 2026 14:44
Comment thread design/mvp/Concurrency.md

| Component function type | Lift canonical option | Valid? | Effect of callee blocking | Holds instances's exclusive lock? | Can call while instance lock held? |
| ----------------------- | --------------------- | ------ | ------------------------- | --------------------------------- | ---------------------------------- |
| `sync` | sync | ✅ | Switch to another ready thread in the component instance, trap if there is none | No, but only threads in the same instance and their recursive calls can run until callee returns | Yes |

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since there's also not sync on types, could you also remove backticks in the first column too?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants