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