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

fix comment typos

Browse source
This commit is contained in:
Ralf Jung 2025-04-29 17:24:48 +02:00 • committed by GitHub
parent ef5834968e
commit 76992ce41e
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/src/concurrency/thread.rs
View file

@ -728,7 +728,7 @@ impl<'tcx> ThreadManager<'tcx> {
}
// No callbacks immediately scheduled, pick a regular thread to execute.
// The active thread blocked or yielded. So we go search for another enabled thread.
// We build the list of threads by starting with the thread after the current one, followed by
// We build the list of threads by starting with the threads after the current one, followed by
// the threads before the current one and then the current thread itself (i.e., this iterator acts
// like `threads.rotate_left(self.active_thread.index() + 1)`. This ensures that if we pick the first
// eligible thread, we do regular round-robin scheduling, and all threads get a chance to take a step.
@ -752,7 +752,7 @@ impl<'tcx> ThreadManager<'tcx> {
self.active_thread = id;
}
}
//This completes the `yield`, if any was requested.
// This completes the `yield`, if any was requested.
self.yield_active_thread = false;
if self.threads[self.active_thread].state.is_enabled() {