IPC/Capabilities Overview

Benno 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
>well enough.

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 mailing list