[cap-talk] "Same" key

[Charles Landau]

At 11:43 PM -0800 2/1/07, Norman Hardy wrote:
>The operation on a page key to produce a RO page key, issued to the 
>same page key, always produces the same RO key.
>There is only one RO page key to that page.

I think we all know what Norm is saying, but this terminology is 
inconsistent with where we seem to be going.
If two processes perform the operation to produce a RO page 
capability to the same page, they will have two capabilities, one in 
each process. Those two capabilities satisfy the EQ relationship, and 
are distinguished only in where they are stored. Rather than say they 
are "the same" capability, it would be more precise to say they are 
capabilities to the same object (using MarkM's precise definition of 
object).