So in a "resilient" system the parent would need to have the responsibility of checking the liveness (e.g., in event of fault) of the child to see if the resources should be taken back?
Daniel
On Tue, Mar 29, 2016 at 9:53 AM, Norman Feske <norman.feske@...1...> wrote:
Hi Daniel,
thanks for taking the time for further investigation and for the nice words about the book. :-)
One thing though that is not clear to me, is that if a child dies and is not cleanly destroyed, do the resources get lost?
A child is destroyed by the parent by closing all open sessions of the child in the reverse order of the session creation. At the very end, the parent closes the child's RAM session, which has the effect of transferring the child's remaining RAM quota to the registered reference account (which is usually the parent's RAM session). In other words: Regardless of how the child behaves, the parent is always able to regain the resources by closing the child's sessions and transferring the session quotas to itself.
Does that answer you question?
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
Transform Data into Opportunity. Accelerate data analysis in your applications with Intel Data Analytics Acceleration Library. Click to learn more. http://pubads.g.doubleclick.net/gampad/clk?id=278785471&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main