[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Just a few questions
From: |
Neal H. Walfield |
Subject: |
Re: Just a few questions |
Date: |
Mon, 24 Oct 2005 14:21:39 +0100 |
User-agent: |
Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.4 (i386-pc-linux-gnu) MULE/5.0 (SAKAKI) |
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