[cap-talk] Petnames versus E-order with ocaps

Bill Frantz frantz at pwpconsult.com
Wed Jan 28 18:05:44 EST 2009

alan.karp at hp.com (Karp, Alan H) on Wednesday, January 28, 2009 wrote:

>> I think, in the case of CapTP (the part of the E implementation which is
>> responsible for transferring capabilities over connections), that the
>> reference to Carol Bob receives from Alice will look different from the one
>> he already has until the three-party handoff completes. Any kind of EQ
>> operation on the capabilities will also have to wait for the three- party
>> handoff. So, Bob will not know they are the same reference until the E
>> ordering guarantee has, in fact, been met.
>What if we're in a single vat?

They go on the vat queue in the order they are generated. Anything Alice
has sent to Carol before passing the reference to Carol to Bob are before
the message passing Carol to Bob in the vat queue. QED.

Cheers - Bill

Bill Frantz        | gets() remains as a monument | Periwinkle
(408)356-8506      | to C's continuing support of | 16345 Englewood Ave
www.pwpconsult.com | buffer overruns.             | Los Gatos, CA 95032

More information about the cap-talk mailing list