Re: Constructor v. Trivial Confinment

[Jonathan S. Shapiro]

This is what I thought was intended by your description.  Thank you.

Of course, servers in EROS often implement something similar. Both
systems seem to have this kind of identify operation.

On Mon, 2006-05-01 at 20:01 +0200, Marcus Brinkmann wrote:

> Sorry, that was a typo.  It should be "Z" in both cases (S is a
> capability, not a server).  There is no identity server.
> 
> Let me state it much clearer:
> 
> A server Z that wants to provide an identification mechanism
> implements an object S that provides the following interface:
> 
> bool identify (S, T)
> 
> Returns true if and only if allegedly T is implemented by Z.
> 
> However, note that Z may lie.  This is intentional, because it allows
> for a limited but useful application of proxying/virtualization.
> 
> Thanks,
> Marcus