Re: Race condition in interrupt handling

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?

By the way, do you have any idea about another problem related to sigma0 
/ ipc I reported a few days ago?

Thanks.

Cheers,
Haohui

On 04/15/2010 02:37 AM, Jan Stoess wrote:
>> 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
>
>