rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2010-09-07	Lots of design changes around proxies and message passing. Made it so that ↵	Michael Bebenita	-39/+63
	domains can only talk to other domains via handles, and with the help of the rust_kernel.
2010-08-17	Lots of changes around memory managment in the Runtime. Added memory regions ↵	Michael Bebenita	-8/+11
	and fixed race caused by calling rust_srv::malloc() from multiple threads when sending messages.
2010-08-09	Synthesize a flush_chan upcall right before a channel's ref_count drops to ↵	Michael Bebenita	-2/+1
	zero. This should only happen in the Rust code and not in the drop glue, or on the unwind path. This change allows the task owning the channel to block on a flush and delete its own channel. This change also cleans up some code around rust_port and rust_chan.
2010-07-28	Move ports out into their own file, add data_message and make communication ↵	Michael Bebenita	-0/+32
	system use it (and proxies) instead of existing token scheme.
2010-07-28	Move notification-messages out into their own file and unify into ↵	Michael Bebenita	-0/+75
	notify_message, make them use proxies, cache task proxies in dom.