Skip to content

Commit 0309de7

Browse files
authored
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.
1 parent fa91a89 commit 0309de7

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,11 @@ in your program, and cannot run all programs:
5959
has no access to most platform-specific APIs or FFI. A few APIs have been
6060
implemented (such as printing to stdout) but most have not: for example, Miri
6161
currently does not support SIMD or networking.
62+
* Threading support is not finished yet. E.g. weak memory effects are not
63+
emulated and spin loops (without syscalls) just loop forever. There's no
64+
threading support on Windows.
65+
66+
Consider looking into GitHub isues for more information about the limitations.
6267

6368
[rust]: https://www.rust-lang.org/
6469
[mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md

0 commit comments

Comments
 (0)