[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Constructor v. Trivial Confinment
From: |
Jonathan S. Shapiro |
Subject: |
Re: Constructor v. Trivial Confinment |
Date: |
Mon, 01 May 2006 14:26:13 -0400 |
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