RE: Race condition in interrupt handling

Hi Haohui,

There's no line 423 in api/v4/interrupt.cc in the current HG repo, I am assuming you're referring to line 86.

Anyway,  thanks for the patch. Before we commit the fix, can you elaborate a little bit more on the race condition you're hitting? In particular, I thought APIC redir entries are modified by one dedicated CPU only - the CPU the IRQ is routed to, so races should occur only during IRQ migration. While I can imagine that there might be a race at times, I am also wondering if we can get away without locking every modification of a redirection entry.

Thanks!
-Jan

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