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?

Benno




More information about the l4-hackers mailing list