Re: Just a few questions

[Neal H. Walfield]

At Mon, 24 Oct 2005 13:04:32 +0200,
Bernhard Kauer wrote:
> 
> On Sun, Oct 23, 2005 at 01:54:07PM -0400, Jonathan S. Shapiro 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.  You might also look at section
3.4 of his PhD thesis.  As constructors are basically KeyKOS's
factories, [2] should provide additional assistance.

Thanks,
Neal

[1] http://lists.gnu.org/archive/html/l4-hurd/2005-10/msg00157.html
[2] http://www.cap-lore.com/CapTheory/KK/Factory.html