Eric Holk
|
3958c72cd8
|
Some cleanup
|
2011-07-07 18:32:45 -07:00 |
|
Eric Holk
|
5d9a5b7d55
|
Tightened up the scoping for our various new operators, which should
make it harder to use the wrong one.
|
2011-07-07 18:22:27 -07:00 |
|
Eric Holk
|
dcd2563a3a
|
Removing the synchronized memory region from tasks.
|
2011-07-07 18:22:27 -07:00 |
|
Eric Holk
|
49a8cb34d2
|
Removed dom_owned, splitting things between task_owned and kernel_owned. Had to re-xfail a few tests brson recently un-xfailed.
|
2011-06-28 16:12:33 -07:00 |
|
Michael Bebenita
|
de611a3090
|
Lots of design changes around proxies and message passing. Made it so that domains can only talk to other domains via handles, and with the help of the rust_kernel.
|
2010-09-07 18:44:12 -07:00 |
|
Michael Bebenita
|
2c1ec6771b
|
Lots of changes around memory managment in the Runtime. Added memory regions and fixed race caused by calling rust_srv::malloc() from multiple threads when sending messages.
|
2010-08-17 23:49:57 -07:00 |
|