diff options
| author | Michael Bebenita <[email protected]> | 2010-09-07 23:37:51 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-09-07 23:37:51 -0700 |
| commit | 7f6d8b95bd3340ea5fa32874243dac036208105b (patch) | |
| tree | 7010caf355578adc06a0919df97b0418683ba41f /src/rt/rust_kernel.h | |
| parent | Lots of design changes around proxies and message passing. Made it so that do... (diff) | |
| download | rust-7f6d8b95bd3340ea5fa32874243dac036208105b.tar.xz rust-7f6d8b95bd3340ea5fa32874243dac036208105b.zip | |
Fixed race in the rust kernel.
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 902a9a2f..8c599c1f 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -60,6 +60,9 @@ class rust_kernel : public rust_thread { */ spin_lock _message_queues_lock; + void terminate_kernel_loop(); + void pump_message_queues(); + public: /** |