Hello Sven,

thank you very much for your bug report and proposed solution, I will soon investigate and integrate it in our next release.

regards Stefan

On Wednesday, 17. February 2010 10:03:20 Sven Fülster wrote:

Hi all,

you have a race condition in oklinux/contrib/arch/l4/kernel/sys_genode.c resp. oklx_genode.patch lines 1894..1905

#ifdef CONFIG_FB_GENODE

•    if(genode_input_initialized())
  

•    {
  

•        /* Put the input events into our framebuffer driver */
  

•        num = genode_input_flush();
  

•        for(i=0;i<num;i++) {
  

•            genode_input_event(i, genode_fb_mouse_event,
  

genode_fb_key_event);

•        }
  

•    }
  

+#endif //CONFIG_FB_GENODE

•    genode_lock(timer_main_kernel_lock);
  
  

which shows up under heavy load (freezing Xfbdev, raising some BUG()s or a pagefault in update_stats_wait_end).

Moving the input polling into the critical section solved the problem here:

•    genode_lock(timer_main_kernel_lock);
  

#ifdef CONFIG_FB_GENODE

•    if(genode_input_initialized())
  

•    {
  

•        /* Put the input events into our framebuffer driver */
  

•        num = genode_input_flush();
  

•        for(i=0;i<num;i++) {
  

•            genode_input_event(i, genode_fb_mouse_event,
  

genode_fb_key_event);

•        }
  

•    }
  

+#endif //CONFIG_FB_GENODE

Cheers

Sven

Sven Fülster

---

--- SOLARIS 10 is the OS for Data Centers - provides features such as DTrace, Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW http://p.sf.net/sfu/solaris-dev2dev _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main