[e-lang] CapTP in E progress report #4
kpreid at mac.com
Thu Aug 2 13:22:10 EDT 2007
NewRemotePromiseDesc has been implemented. I am currently working on
serialization cases; particularly, passing broken references.
I noticed an oddity in the protocol, and discussed it with MarkM:
Since the redirector created by the recipient of NewRemotePromiseDesc
has a swiss number known to the sender, the sender may perform a
lookupSwiss and get a reference to the *same* redirector object via
its Imports table (whereas the original reference is in its Questions
The ideal semantics requires that these two references compare the
same at the sender; however, these redirectors never actually leave
the CapTP subsystem, so it doesn't matter if they don't. I suspect
that implementing this may fall out of getting Far ref identities
right in 3-vat operations.
UnconnectedRefs are Selfish and PassByConstruction: passing them
twice produces two different references.
The action to take upon GCing of a proxy is solely dependent on its
outgoing reference index. For questions, send GCAnswerOp and free the
position in Questions; for imports, send GCExportOp.
Kevin Reid <http://homepage.mac.com/kpreid/>
More information about the e-lang