threads: keep track of why we are blocked, and sanity-check that when waking up

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.39k stars 340 forks source link

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

Also remove support for condvars blocked on rwlocks, as that was no longer used.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit baf32fd5c019785c26836145a4b0eca54326217c has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit baf32fd5c019785c26836145a4b0eca54326217c with merge e090ca20c8b492353daad1e890565a57164c06da...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing e090ca20c8b492353daad1e890565a57164c06da to master...