[e-lang] VatTP and Waterken protocols compared

[Marc Stiegler]

Alas, the current thinking is, we don't know. There are reasons for
expecting non-orthogonal persistence to be easier, because you are starting
from a minimum amount of state to do the reconstruction. But the jury is
still out. Non-orthogonal persistence in E is such a pain before you ever
even get to the upgrade problem, it is clear that it too needs more and
better tools and insights, just as the waterken persistence does.

--marcs

On Wed, Sep 24, 2008 at 10:13 AM, Raoul Duke <raould at gmail.com> wrote:

> > The jury is still out on harder scenarios. The only thing for certain is,
> we
> > will need better tools for harder upgrades. The question is, can tools
> good
> > enough be made at all?
>
> what is the current thinking of which theory is appropriate for
> modeling upgrade?
> _______________________________________________
> e-lang mailing list
> e-lang at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/e-lang
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/e-lang/attachments/20080924/5c1c9a1b/attachment.html