Hi Daniel, > 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?
yes, that would work. The remaining open question is how to detect lifeness. In principle, this could be done by the child providing reports (via a 'Report' session) about its internal state in a periodic fashion - similar to a watchdog timer. If the child stops reporting, or if the reports start to look strange, it may be in trouble. Another principal (yet untested) approach would be the use of core's TRACE mechanism, which allows a trace monitor to dynamically instrument components at interesting points like RPC calls or the reception of signals. If the trace monitor has a model of the component's behavior, it may match the traces against the model. 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
