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	-3/+3
	domains can only talk to other domains via handles, and with the help of the rust_kernel.
2010-08-17	Fixed deadlock by removing channel flushing.	Michael Bebenita	-7/+6

2010-08-11	Ignore upcall_flush for channels that are disassociated from ports. This ↵	Michael Bebenita	-2/+2
	makes task-comm-10 break a little less hard, but it still leaks because messages pending in the channel are never freed.
2010-08-09	Synthesize a flush_chan upcall right before a channel's ref_count drops to ↵	Michael Bebenita	-3/+21
	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-08-09	Some pretty printing in the runtime.	Michael Bebenita	-0/+16

2010-07-28	Move ports out into their own file, add data_message and make communication ↵	Michael Bebenita	-0/+39
	system use it (and proxies) instead of existing token scheme.