l4-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Reliability of RPC services


From: Jonathan S. Shapiro
Subject: Re: Reliability of RPC services
Date: Mon, 24 Apr 2006 00:39:51 -0400

On Sun, 2006-04-23 at 17:18 +0200, Pierre THIERRY wrote:
> That depends on how the capabilities are implemented. I didn't read how
> Coyotos, L4.sec and L4ng do, but if the kernel allocates space when a
> capability is created, and only keeps references of it when it is passed
> between subjects, then the capability structure can't contain that
> information.

In Coyotos, the kernel does NOT allocate space when a capability is
copied. Capabilities are not created, in the same way that the integer
value "1" is not created.

shap





reply via email to

[Prev in Thread] Current Thread [Next in Thread]