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"><<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>> </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==--