Re: Just a few questions

[Bernhard Kauer]

On Mon, Oct 24, 2005 at 02:21:39PM +0100, Neal H. Walfield wrote:
> > > > 3) Will L4 on Hurd be using a constructor capability?
> > > 
> > > I do not know. Unless L4.sec chooses to provide a COPY operation, the
> > > guarantees of the constructor seem impossible to achieve.
> > 
> > This sounds interesting. What are the guarantees of the constructor?
> 
> A constructor contains a program's code and some initial capabilities
> and is able to indicate if instantiations are confined.
>
> Jonathan recently outlined how constructors functions in [1] and I
> think he answers your question there.

Perhaps I should refine my question: What are the guarantees of the
constructor I can not achieve without a COPY?

I took a look at the description of constructors (thanks for the references!)
but I did not found the requirement for a COPY there.


Thanks,

    Bernhard