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'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"><<a href=3D"mailto:erights@gma= il.com" target=3D"_blank">[email protected]</a>></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"><<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>> </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==--