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