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