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

Auto merge of #1898 - Kixunil:patch-1, r=RalfJung

Browse source 
Document threading support a bit more

This adds a few known limitations around threading to the README and suggests the users to look into GitHub issues to learn more.

Addresses https://github.com/rust-lang/miri/issues/1388#issuecomment-939317828
This commit is contained in:
bors 2021-10-12 17:58:26 +00:00
commit 315e2b2f8c
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -59,6 +59,9 @@ in your program, and cannot run all programs:
has no access to most platform-specific APIs or FFI. A few APIs have been
implemented (such as printing to stdout) but most have not: for example, Miri
currently does not support SIMD or networking.
* Threading support is not finished yet. E.g., weak memory effects are not
emulated and spin loops (without syscalls) just loop forever. There is no
threading support on Windows.
[rust]: https://www.rust-lang.org/
[mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md