benjl at cse.unsw.edu.au
Fri Jan 2 01:37:23 CET 2004
On Thu Jan 01, 2004 at 11:27:16 -0500, Jonathan S. Shapiro wrote:
>Personally, I find (2) very ironic. Ultimately, the main justification
>for fast IPC is that it makes decomposed applications easier. I find it
>curious, given this, that L4 adopts an access checking model that
>defeats decomposition. I also find it very curious that no L4-based
>system (at least, none that I know about) has really pushed for
>fine-grain decomposition. Perhaps Mungi did and I do not understand it
In Mungi we are definately pursuing fine-grained decomposition. (At
least I believe we are, others may have a different definition of
fine-grained though ;).
And of course as Volkmar has mentioned that is the aim of the Sawmill
project too. Or are you talking more fine grained than that?
More information about the l4-hackers