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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
