[E-Lang] Rights Amplification: The Next Layer Up

[Mark S. Miller]

At 08:12 AM 9/6/00 , Tyler Close wrote:
>Markm wrote:
> >  The biggest
> > thing missing from E is persistence, ...
>
>There's another way of looking at this problem. The other way leads to
>a better solution. You can see it in action by playing with the
>Droplets environment. (Hmmm... a persistent capability system, wonder
>if I'd find any clues there?)
>...
>E already has syntax for making selfless objects. This is all the
>syntax it needs. This is an implementation issue. Please don't muck up
>the E language for something that can be solved at the implementation
>level.

Ok.  What should I read first?  From briefly looking again at the Waterken 
site, it seems the relevant thing is Acid rather than Droplets?  Is this 
correct?  Should I be looking at the version on the site, or is there a more 
recent one I should read instead?  After trying to grok the relevant 
Waterken stuff, I'll respond to the rest of your message.

I take that your above point is specific to the serialization question, 
rather than an objection to the getOptMeta rights amplification protocol?  
Even without serialization, we still need such a protocol to enable 
user-written auditors.


         Cheers,
         --MarkM