[e-lang] CapTP in E progress report #4

[Kevin Reid]

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  
table).

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