Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Overview] Change wake to use unsigned semantics #110

Merged
merged 3 commits into from
Nov 15, 2018
Merged

Conversation

binji
Copy link
Member

@binji binji commented Nov 15, 2018

Also add a note that we expect engines to trap when there are 4 billion
waiters.

See issue #108.

Also add a note that we expect engines to trap when there are 4 billion
waiters.

See issue #108.
| `wake count` > 0 | Wake min(`wake count`, `num waiters`) waiters |
unsigned `i32`. The operation will wake as many waiters as are waiting on the
same effective address, up to the maximum as specified by `wake count`. The
operator returns the number of waiters that were woken as an `i32`.
Copy link
Member

Choose a reason for hiding this comment

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

Isn't this unsigned i32 too?

Copy link
Member Author

Choose a reason for hiding this comment

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

Fixed, thanks!

@binji binji merged commit b9c176d into master Nov 15, 2018
@binji binji deleted the unsigned-semantics branch November 15, 2018 16:38
llvm-git-migration pushed a commit to llvm-git-prototype/llvm that referenced this pull request Nov 16, 2018
Summary:
We discussed this at the Nov 12th CG meeting, and decided to use the
unsigned semantics for the wake count.
Corresponding spec change:
WebAssembly/threads#110

Reviewers: sbc100

Subscribers: dschuff, jgravelle-google, sunfish, jfb, cfe-commits

Differential Revision: https://reviews.llvm.org/D54572

llvm-svn=347005
bogner pushed a commit to bogner/llvm-zipper-prototype that referenced this pull request Nov 16, 2018
Summary:
We discussed this at the Nov 12th CG meeting, and decided to use the
unsigned semantics for the wake count.
Corresponding spec change:
WebAssembly/threads#110

Reviewers: sbc100

Subscribers: dschuff, jgravelle-google, sunfish, jfb, cfe-commits

Differential Revision: https://reviews.llvm.org/D54572

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@347005 91177308-0d34-0410-b5e6-96231b3b80d8
spurious pushed a commit to spurious/clang-mirror that referenced this pull request Nov 16, 2018
Summary:
We discussed this at the Nov 12th CG meeting, and decided to use the
unsigned semantics for the wake count.
Corresponding spec change:
WebAssembly/threads#110

Reviewers: sbc100

Subscribers: dschuff, jgravelle-google, sunfish, jfb, cfe-commits

Differential Revision: https://reviews.llvm.org/D54572

git-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@347005 91177308-0d34-0410-b5e6-96231b3b80d8
dylanmckay pushed a commit to dylanmckay/clang that referenced this pull request Jan 18, 2019
Summary:
We discussed this at the Nov 12th CG meeting, and decided to use the
unsigned semantics for the wake count.
Corresponding spec change:
WebAssembly/threads#110

Reviewers: sbc100

Subscribers: dschuff, jgravelle-google, sunfish, jfb, cfe-commits

Differential Revision: https://reviews.llvm.org/D54572

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@347005 91177308-0d34-0410-b5e6-96231b3b80d8
conrad-watt added a commit that referenced this pull request Dec 14, 2021
ref: WebAssembly/binaryen#4393

In #110 we changed the `count` argument of `atomic.notify` so that it is treated as an unsigned `i32`. Previous to this change, it was interpreted as a signed `i32`, with negative numbers signalling that all threads should be woken. This part of the overview wasn't fully updated - fixing this now.
conrad-watt added a commit that referenced this pull request Dec 14, 2021
In #110 we changed the `count` argument of `atomic.notify` so that it is treated as an unsigned `i32`. Previous to this change, it was interpreted as a signed `i32`, with negative numbers signalling that all threads should be woken. This part of the overview wasn't fully updated - fixing this now.
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