Re: Using Vine in 3-way interactions (was Re: Question on redirectors/whenMoreResolved in the 3-way case, in the middle vat)

--===============5909897584780975108==
Content-Type: multipart/alternative; boundary=bcaec53968c28ef8090512c1e437

--bcaec53968c28ef8090512c1e437
Content-Type: text/plain; charset=UTF-8

On Wed, Apr 1, 2015 at 8:54 AM, Mark Miller <[email protected]
<https://mail.google.com/mail/?view=cm&fs=1&tf=1&[email protected]>>
wrote:

>
>
> On Sun, Mar 29, 2015 at 9:49 PM, Rob Withers <[email protected]
> <https://mail.google.com/mail/?view=cm&fs=1&tf=1&[email protected]>
> > wrote:
>
>> Hi Mark, please excuse the delay. Among other distractions, I refactored
>> my session layer's use of crypto algorithms and added bouncy castle to gain
>> AES.  This broke much and I have been trying to recover, with mixed
>> results.  Currently, my 3-vat test is still failing so I am unable to
>> reproduce this situation, but I wanted to respond.
>>
>> I think the core issue is that I am not familiar with this notation.  I
>> looked at my code and I have the same code: https://github.com/tooantuh/
>> pauwau/blob/master/src/main/java/cc/ganymede/pauwau/
>> presentation/lib/handlers/RemoteHandler.java#L133.  How should this be
>> notated?
>>
>
> See slides 1-27 at <
> https://docs.google.com/presentation/d/1FWcSJfZITITckrXyfihpuPnX5xf0e4kOhCnsoRFyLfI/edit?usp=sharing>
> .
>
> This is a revised version of the previous document, but I'm still one
> slide short of catching up to where the previous document was -- hence the
> drafty state of slides 28 and 29 which you can ignore.
>



The new slides 26 through 29 (the current end) should complete the story so
far. Everything up to the processing of the "ga" (getAnswer) message by Bob
has quiesced. All garbage is collected. The grey objects and references on
slide 28 are not garbage, but are clearly irrelevant, and so have been
removed on slide 29.

Do all these slides make sense in their current state? Does it agree or
differ from what you think your code does or should be doing? Does it
indeed represent the maximally quiesced state prior to the delivery of "ga"
to Bob?


-- 
  Cheers,
  --MarkM

--bcaec53968c28ef8090512c1e437
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote">On W=
ed, Apr 1, 2015 at 8:54 AM, Mark Miller <span dir=3D"ltr">&lt;<a href=3D"ht=
tps://mail.google.com/mail/?view=3Dcm&amp;fs=3D1&amp;tf=3D1&amp;to=3Deright=
[email protected]" target=3D"_blank">[email protected]</a>&gt;</span> wrote:<br><=
blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px=
 #ccc solid;padding-left:1ex"><div dir=3D"ltr"><br><div class=3D"gmail_extr=
a"><br><div class=3D"gmail_quote"><span class=3D"">On Sun, Mar 29, 2015 at =
9:49 PM, Rob Withers <span dir=3D"ltr">&lt;<a href=3D"https://mail.google.c=
om/mail/?view=3Dcm&amp;fs=3D1&amp;tf=3D1&amp;[email protected]=
m" target=3D"_blank">[email protected]</a>&gt;</span> wrote:<br><b=
lockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-le=
ft-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;pad=
ding-left:1ex">Hi Mark, please excuse the delay. Among other distractions, =
I refactored my session layer&#39;s use of crypto algorithms and added boun=
cy castle to gain AES.=C2=A0 This broke much and I have been trying to reco=
ver, with mixed results.=C2=A0 Currently, my 3-vat test is still failing so=
 I am unable to reproduce this situation, but I wanted to respond.<br>
<br>
I think the core issue is that I am not familiar with this notation.=C2=A0 =
I looked at my code and I have the same code: <a href=3D"https://github.com=
/tooantuh/pauwau/blob/master/src/main/java/cc/ganymede/pauwau/presentation/=
lib/handlers/RemoteHandler.java#L133" target=3D"_blank">https://github.com/=
tooantuh/<u></u>pauwau/blob/master/src/main/<u></u>java/cc/ganymede/pauwau/=
<u></u>presentation/lib/handlers/<u></u>RemoteHandler.java#L133</a>.=C2=A0 =
How should this be notated?<br></blockquote><div><br></div></span><div>See =
slides 1-27 at &lt;<a href=3D"https://docs.google.com/presentation/d/1FWcSJ=
fZITITckrXyfihpuPnX5xf0e4kOhCnsoRFyLfI/edit?usp=3Dsharing" target=3D"_blank=
">https://docs.google.com/presentation/d/1FWcSJfZITITckrXyfihpuPnX5xf0e4kOh=
CnsoRFyLfI/edit?usp=3Dsharing</a>&gt; .</div><div><br></div><div>This is a =
revised version of the previous document, but I&#39;m still one slide short=
 of catching up to where the previous document was -- hence the drafty stat=
e of slides 28 and 29 which you can ignore.</div></div></div></div></blockq=
uote><div><br></div><div>=C2=A0</div></div><div><br></div><div>The new slid=
es 26 through 29 (the current end) should complete the story so far. Everyt=
hing up to the processing of the &quot;ga&quot; (getAnswer) message by Bob =
has quiesced. All garbage is collected. The grey objects and references on =
slide 28 are not garbage, but are clearly irrelevant, and so have been remo=
ved on slide 29.</div><div><br></div><div>Do all these slides make sense in=
 their current state? Does it agree or differ from what you think your code=
 does or should be doing? Does it indeed represent the maximally quiesced s=
tate prior to the delivery of &quot;ga&quot; to Bob?</div><div><br></div><d=
iv><br></div>--=C2=A0<div class=3D"gmail_signature">=C2=A0 Cheers,<br>=C2=
=A0 --MarkM</div>
</div></div>

--bcaec53968c28ef8090512c1e437--

--===============5909897584780975108==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang

--===============5909897584780975108==--