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

--===============1676676328123943167==
Content-Type: multipart/alternative; boundary=bcaec53968c26c8aa70512abbc66

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

On Sun, Mar 29, 2015 at 9:49 PM, Rob Withers <[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.






>
> Thank you,
> Robert
>
>
> On 3/22/2015 2:39 AM, Mark Miller wrote:
>
>> Hi Rob, thanks for adding slides. I can now spot the problem -- on your
>> transition from slide 15 to 16.
>>
>> The little blue __whenMoreResolved messages shown do not pass through
>> the remote promise in Vat1 on the way to the target in Vat2. Rather, as
>> coded at
>> <https://github.com/tooantuh/pauwau/blob/f8a49b417a3866b2a3fe9870cc3db8
>> 2eecf596e0/e-jsrc/net/captp/jcomm/RemoteHandler.java#L139>
>>
>> when a remote reference (either far ref or remote promise) receives a
>> __whenMoreResolved(reactor) message, where the reactor is a remote
>> reference (either far ref or remote promise) to a third vat, the
>> receiving remote reference acts like a local non-promise -- sending
>> itself to the reactor. This is needed for shortening, and is why the
>> message is called __whenMoreResolved rather than __whenResolved.
>>
>>
>>
>>
>> _______________________________________________
>> e-lang mailing list
>> [email protected]
>> http://www.eros-os.org/mailman/listinfo/e-lang
>>
>>  _______________________________________________
> e-lang mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/e-lang
>



-- 
Text by me above is hereby placed in the public domain

  Cheers,
  --MarkM

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Sun, Mar 29, 2015 at 9:49 PM, Rob Withers <span dir=3D"ltr">&lt;<a h=
ref=3D"mailto:[email protected]" target=3D"_blank">robert.w.wither=
[email protected]</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" styl=
e=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(2=
04,204,204);border-left-style:solid;padding-left:1ex">Hi Mark, please excus=
e the delay. Among other distractions, I refactored my session layer&#39;s =
use of crypto algorithms and added bouncy castle to gain AES.=C2=A0 This br=
oke much and I have been trying to recover, with mixed results.=C2=A0 Curre=
ntly, my 3-vat test is still failing so I am unable to reproduce this situa=
tion, 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><div>See slides =
1-27 at &lt;<a href=3D"https://docs.google.com/presentation/d/1FWcSJfZITITc=
krXyfihpuPnX5xf0e4kOhCnsoRFyLfI/edit?usp=3Dsharing">https://docs.google.com=
/presentation/d/1FWcSJfZITITckrXyfihpuPnX5xf0e4kOhCnsoRFyLfI/edit?usp=3Dsha=
ring</a>&gt; .</div><div><br></div><div>This is a revised version of the pr=
evious document, but I&#39;m still one slide short of catching up to where =
the previous document was -- hence the drafty state of slides 28 and 29 whi=
ch you can ignore.</div><div><br></div><div><br></div><div><br></div><div><=
br></div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=3D"margin=
:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204)=
;border-left-style:solid;padding-left:1ex">
<br>
Thank you,<br>
Robert<div><div class=3D"h5"><br>
<br>
On 3/22/2015 2:39 AM, Mark Miller wrote:<br>
</div></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0=
.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-s=
tyle:solid;padding-left:1ex"><div><div class=3D"h5">
Hi Rob, thanks for adding slides. I can now spot the problem -- on your<br>
transition from slide 15 to 16.<br>
<br>
The little blue __whenMoreResolved messages shown do not pass through<br>
the remote promise in Vat1 on the way to the target in Vat2. Rather, as<br>
coded at<br>
&lt;<a href=3D"https://github.com/tooantuh/pauwau/blob/f8a49b417a3866b2a3fe=
9870cc3db82eecf596e0/e-jsrc/net/captp/jcomm/RemoteHandler.java#L139" target=
=3D"_blank">https://github.com/tooantuh/<u></u>pauwau/blob/<u></u>f8a49b417=
a3866b2a3fe9870cc3db8<u></u>2eecf596e0/e-jsrc/net/captp/<u></u>jcomm/Remote=
Handler.java#L139</a>&gt;<br>
<br>
when a remote reference (either far ref or remote promise) receives a<br>
__whenMoreResolved(reactor) message, where the reactor is a remote<br>
reference (either far ref or remote promise) to a third vat, the<br>
receiving remote reference acts like a local non-promise -- sending<br>
itself to the reactor. This is needed for shortening, and is why the<br>
message is called __whenMoreResolved rather than __whenResolved.<br>
<br>
<br>
<br>
<br></div></div><span class=3D"">
______________________________<u></u>_________________<br>
e-lang mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
os-os.org</a><br>
<a href=3D"http://www.eros-os.org/mailman/listinfo/e-lang" target=3D"_blank=
">http://www.eros-os.org/<u></u>mailman/listinfo/e-lang</a><br>
<br>
</span></blockquote><div class=3D""><div class=3D"h5">
______________________________<u></u>_________________<br>
e-lang mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
os-os.org</a><br>
<a href=3D"http://www.eros-os.org/mailman/listinfo/e-lang" target=3D"_blank=
">http://www.eros-os.org/<u></u>mailman/listinfo/e-lang</a><br>
</div></div></blockquote></div><br><br clear=3D"all"><div><br></div>-- <br>=
<div class=3D"gmail_signature">Text by me above is hereby placed in the pub=
lic domain<br><br>=C2=A0 Cheers,<br>=C2=A0 --MarkM</div>
</div></div>

--bcaec53968c26c8aa70512abbc66--

--===============1676676328123943167==
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

--===============1676676328123943167==--