RE: Race condition in interrupt handling

> Then it seems that IRQ migration is always turned on when SMP is enabled.
> 
> Then the assertion in api/v4/interrupt.cc seems problematic:
> 
>      // we should only receive irqs if the thread is halted
>      ASSERT(irq_tcb->get_state().is_halted());
> 
> It seems it's not always the case when the machine have multiple CPUs. 

I don't understand. Is this an analysis, speculation, or are you hitting a real bug? Does this have to do with the previous (still not fully clarified) problem?


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