Re: Reliability of RPC services

[Jonathan S. Shapiro]

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