[cap-talk] Session failures (was: Re: Persistence as a cap value)

[Jonathan S. Shapiro]

On Thu, 2008-03-13 at 10:38 -0700, Jed Donnelley wrote:
> The above makes sense to me.  However, I wonder that you seem to
> suggest this situation is unique to (or associated with?) the
> distributed capability context?  It seems to me the same
> situation can arise in a local context.  At any time any
> process could fail (e.g. an internal software inconsistency,
> or perhaps due to some externality) and this could result
> in the same sort of 'session' failure.

When a local process fails, it is typically destroyed. This renders the
question of mutual inconsistency moot.

When a remote persistent system recovers, the need to recover mutual
consistency is immediate.

shap