mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove warning about thread support being experimental

Browse Source
This commit is contained in:
Ralf Jung 2022-06-06 18:58:06 -04:00
parent b64c9a0a83
commit bf372a8fbc
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/shims/unix/thread.rs
View File

@ -13,10 +13,6 @@ fn pthread_create(
) -> InterpResult<'tcx, i32> { ) -> InterpResult<'tcx, i32> {
let this = self.eval_context_mut(); let this = self.eval_context_mut();
this.tcx.sess.warn(
"thread support is experimental: the scheduler is not preemptive, and can get stuck in spin loops.\n(see https://github.com/rust-lang/miri/issues/1388)",
);
// Create the new thread // Create the new thread
let new_thread_id = this.create_thread(); let new_thread_id = this.create_thread();

1
tests/pass/concurrency/spin_loop.rs
View File

@ -1,3 +1,4 @@
// ignore-windows: Concurrency on Windows is not supported yet.
use std::thread; use std::thread;
use std::sync::atomic::{AtomicUsize, Ordering}; use std::sync::atomic::{AtomicUsize, Ordering};