[E-Lang] New Page: Partially Ordered Message Delivery
Mon, 5 Mar 2001 20:01:28 -0000
Ben Laurie wrote:
> > I called it "archash" as an abuse of trig terminology.
> > X == archash(address) iff hash(X) == address
> Ah, OK. And what's the point of using the hash instead of
> the address?
So that you can't overwrite existing caps, and so that the recipient
of a pipelined reference can't sneak his own value in ahead of the
original message sender. (ie: Sender S sends a message to host H and
gives the pipelined return value reference to recipient R. R sends new
message to H with same return value address. If R's message gets to H
before S's, then the reference refers to an object of R's choosing,
not S's. This is defeated by using the archash in the message and only
giving R the hash.)