On Sat, 2006-04-22 at 19:55 +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.
But in a scheduler activation design no process is ever waiting in this fashion. How should this be specified in a context of scheduler activations? shap _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
