Hello Jaeyong, > It results in calling l4_task_unmap multiple times with the same > parameters. I'm just concern that this may not cause anything > harmful.
your observation is spot-on. There are indeed redundant unmap operations. Even though they are producing no harm, it would be worthwhile to eliminate them nevertheless. I have just created the following topic at our issue tracker and added my thoughts: https://github.com/genodelabs/genode/issues/595 Thank you very much for sharing your findings! 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 ------------------------------------------------------------------------------ Master Java SE, Java EE, Eclipse, Spring, Hibernate, JavaScript, jQuery and much more. Keep your Java skills current with LearnJavaNow - 200+ hours of step-by-step video tutorials by Java experts. SALE $49.99 this month only -- learn more at: http://p.sf.net/sfu/learnmore_122612 _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
