[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
SASOS
|
From: |
Neal H. Walfield |
|
Subject: |
SASOS |
|
Date: |
Mon, 06 Aug 2007 21:59:14 +0200 |
|
User-agent: |
Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.4 (i386-pc-linux-gnu) MULE/5.0 (SAKAKI) |
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