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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
