diff options
| author | Ralf Jung <post@ralfj.de> | 2025-08-26 18:12:36 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-09-03 09:14:25 +0200 |
| commit | 39d51d04e706dee462ac4a17508ed87eb52e7715 (patch) | |
| tree | 6a8aaabd8164f0c687d53f9a3b2735c0945873ff /src | |
| parent | 5ab69249f36678c0a770a08d3d1b28a8103349ff (diff) | |
| download | rust-39d51d04e706dee462ac4a17508ed87eb52e7715.tar.gz rust-39d51d04e706dee462ac4a17508ed87eb52e7715.zip | |
thread parking: fix docs and examples
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 7ccd27d7b83..2aa56baddf7 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -600,6 +600,7 @@ Definite bugs found: * [A bug in the new `RwLock::downgrade` implementation](https://rust-lang.zulipchat.com/#narrow/channel/269128-miri/topic/Miri.20error.20library.20test) (caught by Miri before it landed in the Rust repo) * [Mockall reading uninitialized memory when mocking `std::io::Read::read`, even if all expectations are satisfied](https://github.com/asomers/mockall/issues/647) (caught by Miri running Tokio's test suite) * [`ReentrantLock` not correctly dealing with reuse of addresses for TLS storage of different threads](https://github.com/rust-lang/rust/pull/141248) +* [Rare Deadlock in the thread (un)parking example code](https://github.com/rust-lang/rust/issues/145816) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |