[E-Lang] New Page: Partially Ordered Message Delivery

[Tyler Close]

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

Tyler