SASOS

"Neal H. Walfield" <[email protected]> Mon, 06 Aug 2007 21:59:14 +0200

Newsgroups	gmane.os.hurd.l4
Message-ID	<87sl6wjuy5.wl%[email protected]>

At Mon, 6 Aug 2007 16:52:26 -0300 (ART),
Fortes Marcelo wrote:
> 
> A Single address space for a multi server Operating on
> top of a microkernel don looks like a good idea, how
> can i  protect each process server from each other in
> a single adress space ?

You do not necessarily sacrifice page-grain protection.  See Mungi as
an example of an SASOS.

  http://www.ertos.nicta.com.au/research/mungi/

In particular, for instance, this paper:

  Mungi: a distributed single address-space operating system by Gernot
  Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo

  ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9314.pdf