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

--===============8122123640059179708==
Content-Type: multipart/alternative; boundary=001a11404078c2cd11051147ce55

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

On Wed, Mar 11, 2015 at 10:59 PM, Rob Withers <[email protected]>
wrote:

> Hi Mark,
>
> Thank You! I'll comment on a few slides, relating to my implementation or
> my having forgotten the symbol notation.
>
> Slide 1: Each side of a connection in my comm system uses a Scope object
> as a focal point for inter-object marshalling and tables. I do have one
> NonceLocator and one set of CommTables (imports/exports, questions/answers)
> and one set of gift tables per Scope.  There is one SwissTable per Vat.
>

Possible modulo renaming, this seems compatible with what is shown and
explained.



>
> Slides 6 and 7: Both of these slides have symbols that escape my
> recollection.  IIRC, the large burgundy triangle is a ProxyResolver,


In using different software, I unintentionally deviated from the color
scheme in http://erights.org/elib/distrib/captp/4tables.html . In the
presentation, burgundy is the questions-table color. The r1' burgundy
triangle is an unresolved remote promise entered into Vat3's questions
table for its connection to Vat1.

Likewise on slide 7, the b' burgundy triangle in Vat3's unresolved remote
promise question for the result of the acceptFrom, whose answer will be Bob.


> the yellow diamond is a DelayedRedirector.


Yes, as in http://erights.org/elib/distrib/captp/DeliverOp.html#step7 .



> What is the small blue arrow in the intervat space?


As in http://erights.org/elib/distrib/captp/DeliverOp.html#step2 , it is
the implicit whenMoreResolved message, implicitly packaged together in the
DeliverOp.




>   I believe it is a whenMoreResolved message that carries a farRef to the
> redirector.


Yes. On slide 7, as on
http://erights.org/elib/distrib/captp/DeliverOp.html#step3 , the DeliverOp
gets unserialized into both the message to be delivered to Alice (or Bob,
respectively), and the whenMoreResolved message to be delivered to the
result of that message.




> This is a point of confusion for me.
>

Once these whenMoreResolved messages hit the 3-vat cases, in future slides,
it will gat even more confusing -- sorry. I suspect this will be where we
will find our problem.



>
> Slide 7: when the acceptFrom completes, the result is in the exports table
> of Vat2 pointed by the imports table of Vat1.


Yes.



> The RemotePromise that was in the questions table has been cleaned up with
> a GCQuestion message, while the redirector in the exports <- imports is
> decremented for reuse.
>
> slide 8: This completes step 3 in my list.
>

Excellent.



>
> I am not sure if the vine details will be important to see, when the
> follow on message appears.
>
> Regarding my posts, I've turned off HTML emails.
>

Thanks. http://www.eros-os.org/pipermail/e-lang/2015-March/014186.html
looks fine.

I'm about to be traveling and will return April 1. I don't know how much
time I'll have during my travels to add additional slides.



>
> Thank you,
> Rob
>
>
> On 3/11/2015 11:09 PM, Mark S. Miller wrote:
>
>> Hi Rob,
>>
>> Please look again at the slides together the notes section below each
>> slide where I explain what shortcuts I'm taking.
>>
>>
>> 1) Are the slides accurate up to this point in the scenario (slide 8)?
>>
>> 2) Might any of the shortcuts I'm taking affect the issues we're trying
>> to investigate?
>>
>>
>> In separate news. When I went into the email archive, I found that
>> messages from you, like
>> <http://www.eros-os.org/pipermail/e-lang/2015-March/014176.html>, seem
>> to have the text buried within the scrubbed html attachment but are not
>> otherwise visible.
>>
>


-- 
    Cheers,
    --MarkM

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

<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote">On W=
ed, Mar 11, 2015 at 10:59 PM, Rob Withers <span dir=3D"ltr">&lt;<a href=3D"=
mailto:[email protected]" target=3D"_blank">robert.w.withers@gmail=
.com</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"ma=
rgin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,=
204);border-left-style:solid;padding-left:1ex">Hi Mark,<br>
<br>
Thank You! I&#39;ll comment on a few slides, relating to my implementation =
or my having forgotten the symbol notation.<br>
<br>
Slide 1: Each side of a connection in my comm system uses a Scope object as=
 a focal point for inter-object marshalling and tables. I do have one Nonce=
Locator and one set of CommTables (imports/exports, questions/answers) and =
one set of gift tables per Scope.=C2=A0 There is one SwissTable per Vat.<br=
></blockquote><div><br></div><div>Possible modulo renaming, this seems comp=
atible with what is shown and explained.</div><div><br></div><div>=C2=A0</d=
iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord=
er-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:soli=
d;padding-left:1ex">
<br>
Slides 6 and 7: Both of these slides have symbols that escape my recollecti=
on.=C2=A0 IIRC, the large burgundy triangle is a ProxyResolver,</blockquote=
><div><br></div><div>In using different software, I unintentionally deviate=
d from the color scheme in=C2=A0<a href=3D"http://erights.org/elib/distrib/=
captp/4tables.html">http://erights.org/elib/distrib/captp/4tables.html</a> =
. In the presentation, burgundy is the questions-table color. The r1&#39; b=
urgundy triangle is an unresolved remote promise entered into Vat3&#39;s qu=
estions table for its connection to Vat1.</div><div><br></div><div>Likewise=
 on slide 7, the b&#39; burgundy triangle in Vat3&#39;s unresolved remote p=
romise question for the result of the acceptFrom, whose answer will be Bob.=
</div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=3D"margin:0p=
x 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);bo=
rder-left-style:solid;padding-left:1ex"> the yellow diamond is a DelayedRed=
irector.=C2=A0</blockquote><div><br></div><div>Yes, as in=C2=A0<a href=3D"h=
ttp://erights.org/elib/distrib/captp/DeliverOp.html#step7">http://erights.o=
rg/elib/distrib/captp/DeliverOp.html#step7</a> .</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-s=
tyle:solid;padding-left:1ex"> What is the small blue arrow in the intervat =
space?</blockquote><div><br></div><div>As in=C2=A0<a href=3D"http://erights=
.org/elib/distrib/captp/DeliverOp.html#step2">http://erights.org/elib/distr=
ib/captp/DeliverOp.html#step2</a> , it is the implicit whenMoreResolved mes=
sage, implicitly packaged together in the DeliverOp.</div><div><br></div><d=
iv><br></div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=3D"ma=
rgin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,=
204);border-left-style:solid;padding-left:1ex">=C2=A0 I believe it is a whe=
nMoreResolved message that carries a farRef to the redirector.</blockquote>=
<div><br></div><div>Yes. On slide 7, as on=C2=A0<a href=3D"http://erights.o=
rg/elib/distrib/captp/DeliverOp.html#step3">http://erights.org/elib/distrib=
/captp/DeliverOp.html#step3</a> , the DeliverOp gets unserialized into both=
 the message to be delivered to Alice (or Bob, respectively), and the whenM=
oreResolved message to be delivered to the result of that message.</div><di=
v><br></div><div><br></div><div>=C2=A0</div><blockquote class=3D"gmail_quot=
e" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-colo=
r:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> This is a poi=
nt of confusion for me.<br></blockquote><div><br></div><div>Once these when=
MoreResolved messages hit the 3-vat cases, in future slides, it will gat ev=
en more confusing -- sorry. I suspect this will be where we will find our p=
roblem.</div><div><br></div><div>=C2=A0</div><blockquote class=3D"gmail_quo=
te" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-col=
or:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<br>
Slide 7: when the acceptFrom completes, the result is in the exports table =
of Vat2 pointed by the imports table of Vat1.</blockquote><div><br></div><d=
iv>Yes.</div><div><br></div><div>=C2=A0</div><blockquote class=3D"gmail_quo=
te" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-col=
or:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> The RemotePr=
omise that was in the questions table has been cleaned up with a GCQuestion=
 message, while the redirector in the exports &lt;- imports is decremented =
for reuse.<br>
<br>
slide 8: This completes step 3 in my list.<br></blockquote><div><br></div><=
div>Excellent.</div><div><br></div><div>=C2=A0</div><blockquote class=3D"gm=
ail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-l=
eft-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<br>
I am not sure if the vine details will be important to see, when the follow=
 on message appears.<br>
<br>
Regarding my posts, I&#39;ve turned off HTML emails.<br></blockquote><div><=
br></div><div>Thanks. <a href=3D"http://www.eros-os.org/pipermail/e-lang/20=
15-March/014186.html">http://www.eros-os.org/pipermail/e-lang/2015-March/01=
4186.html</a> looks fine.</div><div><br></div><div>I&#39;m about to be trav=
eling and will return April 1. I don&#39;t know how much time I&#39;ll have=
 during my travels to add additional slides.</div><div>=C2=A0</div><div>=C2=
=A0</div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8e=
x;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-styl=
e:solid;padding-left:1ex">
<br>
Thank you,<br>
Rob<div><div><br>
<br>
On 3/11/2015 11:09 PM, Mark S. 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>
Hi Rob,<br>
<br>
Please look again at the slides together the notes section below each<br>
slide where I explain what shortcuts I&#39;m taking.<br>
<br>
<br>
1) Are the slides accurate up to this point in the scenario (slide 8)?<br>
<br>
2) Might any of the shortcuts I&#39;m taking affect the issues we&#39;re tr=
ying<br>
to investigate?<br>
<br>
<br>
In separate news. When I went into the email archive, I found that<br>
messages from you, like<br>
&lt;<a href=3D"http://www.eros-os.org/pipermail/e-lang/2015-March/014176.ht=
ml" target=3D"_blank">http://www.eros-os.org/<u></u>pipermail/e-lang/2015-M=
arch/<u></u>014176.html</a>&gt;, seem<br>
to have the text buried within the scrubbed html attachment but are not<br>
otherwise visible.<br></div></div></blockquote></blockquote></div><div><br>=
</div><div><br></div><div><br></div>-- <br><div>=C2=A0 =C2=A0 Cheers,<br>=
=C2=A0 =C2=A0 --MarkM</div>
</div></div>

--001a11404078c2cd11051147ce55--

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

--===============8122123640059179708==--