A question about the softirq implementation in DDE Linux26

Dirk Vogt dvogt at os.inf.tu-dresden.de
Fri Feb 26 14:17:57 CET 2010

  the DDE models a SMP-like setup, whereas each ddekit_thread is
supposed to run on a dedicated CPU.  For each IRQ, there is a dedicated
   As far as I understand it, disabling hard IRQs in any other
ddekit_thread than the IRQ-handler threads has no effect, because they
won't receive IRQs anyway.  For an IRQ handler thread, it also has no
effect, because it only runs when it is handling an interrupt, and won't
receive any further IRQs while handling one.

Best regards,


More information about the l4-hackers mailing list