[E-Lang] Promises, equality and trust

Mark S. Miller markm@caplet.com
Tue, 14 Aug 2001 09:59:24 -0700

At 11:08 PM Monday 8/13/01, Mark S. Miller wrote:
>Ironically, a partition will also cure any attempted denial of wakeups.

Oops, not true.  If the one who would deny service also drops the remote 
reference to the whenMoreResolved argument (the WhenResolvedReactor), then 
the vat-crossing reference to it will be gc'ed, and a subsequent partition 
won't invoke its reactToLostClient method.  This doesn't change any of the 
correctness and incorrectness statements made in the previous email, but we 
do lose a pleasant irony.