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:41:46 -0400
Newsgroups gmane.comp.lang.e.general
Message-ID <CAK5yZYgLLmKgTL8p8W4YgQ3v2FxHsda5cWVdJ+oa3y+Qw3Otkw@mail.gmail.com>
--===============2021526713196197203==
Content-Type: multipart/alternative; boundary=bcaec548a7d919f77e0511dc851e

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

Sorry, I don't know if it is *the* problem in the sense of explaining all
the anomalies. But it is certainly a problem.

On Sun, Mar 22, 2015 at 4:39 AM, Mark Miller <[email protected]> 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/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.
>
>
>


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

  Cheers,
  --MarkM

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

<div dir=3D"ltr">Sorry, I don&#39;t know if it is *the* problem in the sens=
e of explaining all the anomalies. But it is certainly a problem.</div><div=
 class=3D"gmail_extra"><br><div class=3D"gmail_quote">On Sun, Mar 22, 2015 =
at 4:39 AM, Mark Miller <span dir=3D"ltr">&lt;<a href=3D"mailto:erights@gma=
il.com" target=3D"_blank">[email protected]</a>&gt;</span> wrote:<br><block=
quote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc=
 solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">Hi Rob=
, thanks for adding slides. I can now spot the problem -- on your transitio=
n from slide 15 to 16.=C2=A0</div><div class=3D"gmail_extra"><br></div><div=
 class=3D"gmail_extra">The little blue __whenMoreResolved messages shown do=
 not pass through the remote promise in Vat1 on the way to the target in Va=
t2. Rather, as coded at</div><div class=3D"gmail_extra">&lt;<a href=3D"http=
s://github.com/tooantuh/pauwau/blob/f8a49b417a3866b2a3fe9870cc3db82eecf596e=
0/e-jsrc/net/captp/jcomm/RemoteHandler.java#L139" target=3D"_blank">https:/=
/github.com/tooantuh/pauwau/blob/f8a49b417a3866b2a3fe9870cc3db82eecf596e0/e=
-jsrc/net/captp/jcomm/RemoteHandler.java#L139</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>
</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 public domain=
<br><br>=C2=A0 Cheers,<br>=C2=A0 --MarkM</div>
</div>

--bcaec548a7d919f77e0511dc851e--

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

--===============2021526713196197203==--