Re: Reliability of RPC services

[Tom Bachmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Marcus Brinkmann wrote:
> At Sat, 22 Apr 2006 19:00:54 +0200,
> Marcus Brinkmann wrote:
> Here is, in an informal manner, one of the invariants I mean: When a
> process is in a call, and waiting on a reply (send-once) capability,
> from a global system perspective one can identify a process "on which"
> the caller is waiting: Namely the process holding the reply
> capability.  This is true of course because the reply capability can
> only be moved around (or invalidated by generating a message on it via
> invocation or implicitely by dropping it).
> 
> This sounds like a useful property to have, because now one can, in
> principle, always find a task responsible for another task waiting on
> a call.

I think I understand this. But what can we gain from it? I mean, in
practice, we do not have a global view of the system.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)

iD8DBQFES9I8vD/ijq9JWhsRAs6NAJ0W/NnySbtlaMlZkKoVHLAcMnJGywCfZEme
yo+uM2ql6tqYZaiSSw+OHRg=
=hUvf
-----END PGP SIGNATURE-----