Session quota yielding

[Charles HH]

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 at ...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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160701/ad5ccfce/attachment.html>