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