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?

Regards,
Charles

On Thu, Jun 30, 2016 at 5:18 PM, Norman Feske <norman.feske@...1...> wrote:
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

http://www.genode-labs.com · http://genode.org

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.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main