RE: Race condition in interrupt handling

Jan Stoess <[email protected]> Fri, 16 Apr 2010 09:15:59 +0200
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
> Actually I'm hitting this bug once a while under qemu. It seems to me that
> handle_interrupt and irq_thread() are executed on different CPUs.
> 
> What do you need me to do to clarify the problem?

Can you dump the tracebuffer output when the assert hits and send the dump over here?

--
Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608 4056
Fax: +49 (721) 608 7664
http://os.ibds.kit.edu/stoess