[pull] swiftwasm from main #4643
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![pull[bot]](https://avatars.githubusercontent.com/in/12910?s=60&v=4){kind=small}
In case of a single-block location, the verification of store_borrow locations didn't work in all cases.
…ther instructions.
`syscall` and `read` were missing when `swift-threading-package=none`
As soon as the waiting task is successfully enqueued on the blocking task, both tasks have to be considered invalidated because the blocking task can concurrently complete and resume its waiters: - The waiting task ensures that the blocking task is valid while it's waiting. However, that's measured from the perspective of the waiting task, not from the perspective of the thread that was previously executing it. As soon as the waiting task is resumed, the wait call completes and the validity guarantee on the blocking task disappears, so the blocking task must be treated as invalidated. - The waiting task ensures that it is valid as long as it isn't complete. Since it's trying to wait, it must not be complete. However, as soon we resume it, it can complete, so the waiting task must also be treated as invalidated. This is one of those things that's not really easy to test, and the need for a fix is pretty urgent, so I'm submitting this patch without a test. I'll try to land a race test that demonstrates the bug in the next few days. @kavon deserves all the credit here for some truly heroic debugging and finally recognizing the flaw in the code; I'm just popping in at the last minute to sheepishly patch the bug. Fixes rdar://92666987
Make the following documentation changes: * update last tested version number and emphasize that the process may work for later platform versions, * update required packages to emphasize py3 instead of py2.7, * python3 link is not strictly required to need root. * update the suggested checkout config file to the stable branch used in the "upstream" checkout config file, and * mention some extra flags are now required to properly switch off Dispatch (since without pr swiftlang/swift-corelibs-libdispatch#559 Dispatch won't compile). * reinforce building release by default, since the flags likely needed for debug builds aren't provided in the command snippet.
For some reason the second argument went missing. Fix by adding it back.
…-wait-enqueueing When waiting on a task, escalate it before enqueuing the waiting task
[docs] Update for OpenBSD 7.1.
[Threading][Pthreads] Fix pthread_cond_wait() call.
…blean Fix LoadBorrowImmutabilityChecker to handle reborrows
…gle-threaded-build [stubs] include unistd.h to repair swift-threading-package=none build
…rification Fix store borrow verification
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
See Commits and Changes for more details.
Created by
pull[bot]
Can you help keep this open source service alive? 💖 Please sponsor : )