Hi,
On Fri, May 08, 2026 at 20:48:15 CEST, Spencer via users wrote:
Is there a formal distinction between a blocking RPC and a non-blocking one, other than the expected time that will be taken?
That's the heart of it. A (remote) procedure call is synchronous and returns only after the called (remote) procedure decides to return. The differentiated consideration of "blocking" vs. "non-blocking" RPCs stems from our experience with services like the timer. Norman mentioned this and it's also documented in Foundations
https://genode.org/documentation/genode-foundations/25.05/architecture/Inter... https://genode.org/documentation/genode-foundations/25.05/architecture/Inter...
The underlying RPC mechanism is the same but the semantics of the service interfaces pledge limited blocking time.
Regards