diff options
Diffstat (limited to 'src/rt/rust_kernel.cpp')
| -rw-r--r-- | src/rt/rust_kernel.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index 3a28af4473b..a52c2d48eed 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -191,7 +191,9 @@ rust_kernel::release_task_id(rust_task_id id) { void rust_kernel::wakeup_schedulers() { for(size_t i = 0; i < num_threads; ++i) { - threads[i]->lock.signal_all(); + rust_scheduler *sched = threads[i]; + scoped_lock with(sched->lock); + sched->lock.signal_all(); } } |
