Memory protection clarification.

[Daniel Waddington]

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 at ...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 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/20160329/e90cd6ba/attachment.html>