Session quota yielding

Charles HH charleshh.genode at ...9...
Fri Jul 1 10:25:06 CEST 2016

Hi Norman,

My use case is a dynamic system with centralized resource management and
control. I'd like to be able to instantiate specific-purpose subsystems
isolated from each other and from the resource manager. When a subsystem is
created, its launcher has to bargain with the manager (through the loader
and a modified loader session) to obtain resources. It's a sort of fusion
between the cli_monitor and the loader. The subsystems should however be
able to yield back resources when, for example, one of their children exits.

Because of the absence of session quota yield, I was thinking of
implementing some sort of freed resource pool in the loader that would be
used (with validation from the centralized component of course) before
requesting a session upgrade. That approach doesn't seem satisfying though,
because I would have to change the one loader-session per subsystem and
permit potential resource stealing/leaking between them.

As a side question, how is the quota associated with a session registered?
Is every component involved in the session creation responsible for
remembering the quota it transfered?


On Thu, Jun 30, 2016 at 5:18 PM, Norman Feske <norman.feske at ...1...>

> Hello Charles,
> > Is there a way for a server to yield back resources to its clients
> > symmetrically to the upgrading protocol, ideally that doesn't require
> > modifying the parent interface?
> there is currently no inverse operation of a session upgrade. A client
> has to close a session to regain the resources.
> I'd be interested to learn more about your particular use case as the
> parent and root interfaces will undergo a revision soon (turning
> blocking RPC calls into asynchronous interactions). So I wonder if your
> use case may contribute to the new design?
> Cheers
> Norman
> --
> Dr.-Ing. Norman Feske
> Genode Labs
> ·
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> ------------------------------------------------------------------------------
> Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
> Francisco, CA to explore cutting-edge tech and listen to tech luminaries
> present their vision of the future. This family event has something for
> everyone, including kids. Get more information and register today.
> _______________________________________________
> genode-main mailing list
> genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list