Re: Challenge: Find potential use cases for non-trivial confinement

[Marcus Brinkmann]

At Mon, 01 May 2006 07:23:23 -0400,
"Jonathan S. Shapiro" <address@hidden> wrote:
> Marcus, my question was not asked for the purpose of confirming that
> "appropriate" IPCs are okay. It was asked for the purpose of
> illustrating that the set of legal operations in your system supports
> *all* of the allegedly immoral scenarios that constructors support.

I am sorry, but I might still not have understood your question
correctly.

I have already conceeded before, in a separate thread, that a user
could build their own meta-constructor and constructor (and even space
bank) that support non-trivial confinement, as long as you are willing
to rely on these implementations.  In the EROS/Coyotos case, the
implementation is provided by the system, so this eliminates one level
of indirection.

Is this what you mean?

I am really confused, because only one of two things can be true:
Operating system is needed to do what you want to do, or it is not.
If it is needed, then why can you do everything in my model that you
can do in your model?  If it is not needed, why should we include it?

There must be something in your question that I do not understand.

Thanks,
Marcus