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

Mark Miller <[email protected]> Sun, 22 Mar 2015 04:39:06 -0400
Newsgroups gmane.comp.lang.e.general
Message-ID <CAK5yZYimRsyCnV7qk-g_Cqz7GWWMybjqXno=6TQka+Nb8c+qMg@mail.gmail.com>
--===============3663606750259120420==
Content-Type: multipart/alternative; boundary=20cf307f37728dc8f80511dc7b1e

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

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/f8a49b417a3866b2a3fe9870cc3db82eecf596e0/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.

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

<div dir=3D"ltr"><div class=3D"gmail_extra">Hi Rob, thanks for adding slide=
s. I can now spot the problem -- on your transition from slide 15 to 16.=C2=
=A0</div><div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">Th=
e little blue __whenMoreResolved messages shown do not pass through the rem=
ote promise in Vat1 on the way to the target in Vat2. Rather, as coded at</=
div><div class=3D"gmail_extra">&lt;<a href=3D"https://github.com/tooantuh/p=
auwau/blob/f8a49b417a3866b2a3fe9870cc3db82eecf596e0/e-jsrc/net/captp/jcomm/=
RemoteHandler.java#L139">https://github.com/tooantuh/pauwau/blob/f8a49b417a=
3866b2a3fe9870cc3db82eecf596e0/e-jsrc/net/captp/jcomm/RemoteHandler.java#L1=
39</a>&gt;
</div><div class=3D"gmail_extra">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 -- sendi=
ng itself to the reactor. This is needed for shortening, and is why the mes=
sage is called __whenMoreResolved rather than __whenResolved.</div><div cla=
ss=3D"gmail_extra"><br></div><div class=3D"gmail_extra"><br></div></div>

--20cf307f37728dc8f80511dc7b1e--

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

--===============3663606750259120420==--