This commit is contained in:
lyj 2022-09-13 17:49:41 +08:00 committed by GitHub
parent beed5eddb0
commit f6cbba12ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -582,7 +582,7 @@ fn schedule(&mut self) -> InterpResult<'tcx, SchedulingAction> {
}
// No callbacks scheduled, pick a regular thread to execute.
// The active thread blocked or yielded. So we go search for another enabled thread.
// Curcially, we start searching at the current active thread ID, rather than at 0, since we
// Crucially, we start searching at the current active thread ID, rather than at 0, since we
// want to avoid always scheduling threads 0 and 1 without ever making progress in thread 2.
//
// `skip(N)` means we start iterating at thread N, so we skip 1 more to start just *after*