user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #4443 from RalfJung/concurrency-ub-detection

Browse source 
declare data race and weak memory support as non-experimental
This commit is contained in:
Ralf Jung 2025-07-04 14:29:11 +00:00 • committed by GitHub
commit 23b3be5ada
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/README.md
View file

@ -11,12 +11,12 @@ instance:
* Not sufficiently aligned memory accesses and references
* Violation of basic type invariants (a `bool` that is not 0 or 1, for example,
or an invalid enum discriminant)
* Data races and emulation of *some* weak memory effects, i.e.,
atomic reads can return outdated values
* **Experimental**: Violations of the [Stacked Borrows] rules governing aliasing
for reference types
* **Experimental**: Violations of the [Tree Borrows] aliasing rules, as an optional
alternative to [Stacked Borrows]
* **Experimental**: Data races and emulation of weak memory effects, i.e.,
atomic reads can return outdated values.
On top of that, Miri will also tell you about memory leaks: when there is memory
still allocated at the end of the execution, and that memory is not reachable