aboutsummaryrefslogtreecommitdiff
path: root/src/rt/rust_kernel.h
Commit message (Collapse)AuthorAgeFilesLines
* Fixed deadlock caused by the message pump not being notified of new message ↵Michael Bebenita2010-09-161-0/+11
| | | | sends.
* Added lock_and_signal::signal_all(), and made the rust_kernel::join() use ↵Michael Bebenita2010-09-101-2/+0
| | | | wait instead of yield.
* Tidy up the sync dir, remove dead or mis-designed code in favour of OS ↵Graydon Hoare2010-09-081-8/+2
| | | | primitives, switch rust_kernel to use a lock/signal pair and wait rather than spin.
* Cleaned up locking in the kernel.Michael Bebenita2010-09-081-6/+11
|
* Fixed race in the rust kernel.Michael Bebenita2010-09-071-0/+3
|
* Lots of design changes around proxies and message passing. Made it so that ↵Michael Bebenita2010-09-071-6/+99
| | | | domains can only talk to other domains via handles, and with the help of the rust_kernel.
* Added a few utility classes, cleaned up the include order of .h files, and ↵Michael Bebenita2010-09-071-0/+21
started to make the Rust kernel own domain message queues rather than the Rust domains themselves.